diff options
| author | Robert Norton | 2016-01-20 13:07:10 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-20 13:08:08 +0000 |
| commit | 00734d027ab9913c0cf89104ea3690662a5f4908 (patch) | |
| tree | cd515e62c18ea9f79304e9411ee4f5e43e37875d | |
| parent | b7b7ed8ffbb957e9597bf0a02e988ea18e2b7a2f (diff) | |
build all mips stuff in _build. Still hacky and might be preferable to use ocamlbuild but works OK and shouldn't have to call sanitize.
| -rw-r--r-- | src/Makefile | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/src/Makefile b/src/Makefile index 39fc6acf..46405620 100644 --- a/src/Makefile +++ b/src/Makefile @@ -79,14 +79,28 @@ 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 -mips.lem: ../mips/mips.sail sail - ./sail.native -lem_ast $< +_build/mips_extras.lem: ../mips/mips_extras.lem + mkdir -p _build + cp $< $@ + +_build/mips.sail: ../mips/mips.sail + mkdir -p _build + cp $< $@ + +_build/run_with_elf.ml: lem_interp/run_with_elf.ml + mkdir -p _build + cp $< $@ + +_build/mips.lem: _build/mips.sail sail + mkdir -p _build + cd _build ;\ + ../sail.native -lem_ast $(notdir $<) %.ml: %.lem - $(LEM) -ocaml -only_changed_output -lib lem_interp/ $< + $(LEM) -ocaml -lib lem_interp/ $< -run_mips.native: mips.ml ../mips/mips_extras.ml interpreter - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -package zarith -package num -package batteries -package uint -I $(LEMLIBOCAML) -I _build/lem_interp/ -I $(ELFDIR)/src -I $(ELFDIR)/src/adaptors -I $(ELFDIR)/src/abis/mips64 -I ../mips -linkpkg $(LEMLIBOCAML)extract.cmxa $(ELFDIR)/src/linksem.cmxa _build/pprint/src/PPrintLib.cmxa _build/lem_interp/extract.cmxa mips.ml ../mips/mips_extras.ml lem_interp/run_with_elf.ml -o run_mips.native +run_mips.native: _build/mips.ml _build/mips_extras.ml _build/run_with_elf.ml interpreter + env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -package zarith -package num -package batteries -package uint -I $(LEMLIBOCAML) -I _build/lem_interp/ -I $(ELFDIR)/src -I $(ELFDIR)/src/adaptors -I $(ELFDIR)/src/abis/mips64 -I _build -linkpkg $(LEMLIBOCAML)extract.cmxa $(ELFDIR)/src/linksem.cmxa _build/pprint/src/PPrintLib.cmxa _build/lem_interp/extract.cmxa _build/mips.ml _build/mips_extras.ml _build/run_with_elf.ml -o run_mips.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 |