diff options
| author | Robert Norton | 2015-11-25 15:36:57 +0000 |
|---|---|---|
| committer | Robert Norton | 2015-11-25 15:37:15 +0000 |
| commit | 2c70d527fa52f8dc629e82323e2d2a4c22ad7e2e (patch) | |
| tree | 963188b05bfa4218816518af64668dec99578765 /src/Makefile | |
| parent | da258def4f0253c218cdcfef7d144bc256bf4ba5 (diff) | |
non-working sail/mips interpreter integration for kathy to look at and example mips elf file.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 3888d0c6..54453e31 100644 --- a/src/Makefile +++ b/src/Makefile @@ -75,6 +75,15 @@ power: sail interpreter elf env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -package num -package bitstring -package batteries -package uint -I $(LEMLIBOCAML) -I ../lem_interp/ -I ../elf_model/ -linkpkg $(LEMLIBOCAML)extract.cmxa ../pprint/src/PPrintLib.cmxa ../lem_interp/extract.cmxa elf_extract.cmxa power.ml run_power.ml -o run_power.native ln -fs _build/test/run_power.native run_power.native +# env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -package num -package bitstring -package batteries -package uint -I $(LEMLIBOCAML) -I ../lem_interp/ -I ../elf_model/ -linkpkg $(LEMLIBOCAML)extract.cmxa ../pprint/src/PPrintLib.cmxa ../lem_interp/extract.cmxa elf_extract.cmxa power.ml run_power.ml -o run_power.native +mips: sail interpreter elf + mkdir -p _build/test + cp -p test/* _build/test/ + cd _build/test ;\ + ../../sail.native -lem_ast mips.sail ;\ + $(LEM) -ocaml -only_changed_output -lib ../lem_interp/ power.lem;\ + ln -fs _build/test/run_power.native run_power.native + test_power: power ./run_power.native --file ../../../rsem/idl/power/binary/main.bin |