diff options
| author | Peter Sewell | 2016-02-25 11:56:11 +0000 |
|---|---|---|
| committer | Peter Sewell | 2016-02-25 11:56:11 +0000 |
| commit | 835b289f41e5f55b9c365edc920501290d79b667 (patch) | |
| tree | 5437e416161250bcfcc465e00fcafc9dc1f4b7e9 | |
| parent | 713c429ca2d797df4a7e3dedb02f903b33cdb00e (diff) | |
defunct commit
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 1abb6d00..b67d9f5e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -45,7 +45,9 @@ _build/mips.lem: _build/mips.sail ./sail.native $(LEM) -only_changed_output -ocaml -lib lem_interp/ $< run_mips.native: _build/mips.ml _build/mips_extras.ml _build/run_with_elf.ml interpreter - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -g -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 -g -package zarith -package num -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 + +#-package batteries mips: elf run_mips.native |