-
Notifications
You must be signed in to change notification settings - Fork 517
Closed
Description
Charleen@ROY /cygdrive/d/development/ocaml/spec/interpreter
$ make land
echo >_tags "true: bin_annot"
echo >>_tags "true: debug"
echo >>_tags "<{util,syntax,binary,text,valid,runtime,exec,script,host,main}/*.cmx>: for-pack(Wasm)"
ocamlbuild -cflags '-w +a-3-4-27-42-44-45 -warn-error +a' -I util -I syntax -I binary -I text -I valid -I runtime -I exec -I script -I host -I main -libs bigarray -quiet main.byte
mv main.byte wasm.debug
ocamlbuild -cflags '-w +a-3-4-27-42-44-45 -warn-error +a' -I util -I syntax -I binary -I text -I valid -I runtime -I exec -I script -I host -I main -libs bigarray -quiet main.native
mv main.native wasm
ls util/*.ml* syntax/*.ml* binary/*.ml* text/*.ml* valid/*.ml* runtime/*.ml* exec/*.ml* script/*.ml* host/*.ml* main/*.ml* \
| sed 's:\(.*/\)\{0,1\}\(.*\)\.[^\.]*:\2:' \
| grep -v main \
| sort | uniq \
>wasm.mlpack
ocamlbuild -cflags '-w +a-3-4-27-42-44-45 -warn-error +a' -I util -I syntax -I binary -I text -I valid -I runtime -I exec -I script -I host -I main -libs bigarray -quiet wasm.cmo
ocamlbuild -cflags '-w +a-3-4-27-42-44-45 -warn-error +a' -I util -I syntax -I binary -I text -I valid -I runtime -I exec -I script -I host -I main -libs bigarray -quiet wasm.cmx
../test/core/run.py --wasm `pwd`/wasm
Error: The executable '/cygdrive/d/development/ocaml/spec/interpreter/wasm' does not exist.
Provide the correct path with the '--wasm' flag.
usage: run.py [-h] [--wasm <wasm-command>] [--js <js-command>]
[--out <out-dir>]
[file [file ...]]
positional arguments:
file
optional arguments:
-h, --help show this help message and exit
--wasm <wasm-command>
--js <js-command>
--out <out-dir>
make: *** [Makefile:118: test] Fehler 1
rm wasm.mlpack _tags
Charleen@ROY /cygdrive/d/development/ocaml/spec/interpreter
$ /cygdrive/d/development/ocaml/spec/interpreter/wasm
wasm 1.0 reference interpreter
>
BTW, which python version?
I had to change D:\development\ocaml\spec\interpreter\makefile (approx. line 118):
test: $(OPT)
python2.7 ../test/core/run.py --wasm `pwd`/$(OPT) $(if $(JS),--js '$(JS)',)
debugtest: $(UNOPT)
python2.7 ../test/core/run.py --wasm `pwd`/$(UNOPT) $(if $(JS),--js '$(JS)',)
test/%: $(OPT)
python2.7 ../test/core/run.py --wasm `pwd`/$(OPT) $(if $(JS),--js '$(JS)',) $(@:test/%=../test/core/%.wast)
debugtest/%: $(UNOPT)
python2.7 ../test/core/run.py --wasm `pwd`/$(UNOPT) $(if $(JS),--js '$(JS)',) $(@:debugtest/%=../test/core/%.wast)
run/%: $(OPT)
./$(OPT) $(@:run/%=../test/core/%.wast)
debug/%: $(UNOPT)
./$(UNOPT) $(@:debug/%=../test/core/%.wast)
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels