Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
bff9ba1f
Commit
bff9ba1f
authored
Dec 08, 2016
by
Kim Nguyen
Browse files
[trywhy3] Properly set the path of embedded files in the pseudo-filesystem.
parent
b8216311
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.in
View file @
bff9ba1f
...
...
@@ -1501,11 +1501,11 @@ trywhy3_package: trywhy3
trywhy3
:
src/trywhy3/trywhy3.js src/trywhy3/why3_worker.js src/trywhy3/alt_ergo_worker.js
src/trywhy3/trywhy3.js
:
src/trywhy3/trywhy3.byte src/trywhy3/why3_worker.js src/trywhy3/alt_ergo_worker.js src/trywhy3/examples/*.mlw
js_of_ocaml
$(JSOO_DEBUG)
-I
src/trywhy3
\
js_of_ocaml
--extern-fs
$(JSOO_DEBUG)
-I
src/trywhy3
\
--file
=
why3_worker.js:/
\
--file
=
alt_ergo_worker.js:/
\
--file
=
examples/index.txt:/
\
`
find src/trywhy3/examples
\(
-name
"*.mlw"
-o
-name
"*.why"
\)
-printf
" --file=examples/%P:/"
`
\
--file
=
examples/index.txt:/
examples/index.txt
\
`
find src/trywhy3/examples
\(
-name
"*.mlw"
-o
-name
"*.why"
\)
-printf
" --file=examples/%P:/
examples/%P
"
`
\
+weak.js +nat.js
$<
src/trywhy3/trywhy3.byte
:
src/trywhy3/worker_proto.cmo src/trywhy3/trywhy3.cmo
...
...
@@ -1515,7 +1515,7 @@ src/trywhy3/trywhy3.byte: src/trywhy3/worker_proto.cmo src/trywhy3/trywhy3.cmo
src/trywhy3/why3_worker.js
:
src/trywhy3/why3_worker.byte
js_of_ocaml
$(JSOO_DEBUG)
--extern-fs
-I
.
-I
src/trywhy3
--file
=
trywhy3.conf:/
\
--file
=
try_alt_ergo.drv:/
\
`
find theories modules
\(
-name
"*.mlw"
-o
-name
"*.why"
\)
-printf
" --file=%p:/"
`
\
`
find theories modules
\(
-name
"*.mlw"
-o
-name
"*.why"
\)
-printf
" --file=%p:/
%p
"
`
\
+weak.js +nat.js
$<
src/trywhy3/why3_worker.byte
:
$(TRYWHY3CMO) src/trywhy3/worker_proto.cmo src/trywhy3/why3_worker.cmo
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment