diff options
| author | Robert Norton | 2016-01-21 11:33:42 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-21 11:33:42 +0000 |
| commit | 6728534f7561c93a97063e3ac4f6e3c1bc7cfdee (patch) | |
| tree | 3e32dfce34f2e15b9684dac7fe2a99d4756d3edd | |
| parent | ef2f10c5933cc83b81fc14e14dc0da2dc6e3bff6 (diff) | |
build mips interpreter with -g
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index b5f5302d..c7b4134f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -43,7 +43,7 @@ _build/mips.lem: _build/mips.sail sail $(LEM) -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 -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 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 mips: elf run_mips.native |