diff options
| author | Robert Norton | 2016-04-13 15:49:06 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-13 16:04:01 +0100 |
| commit | f9345ad67348f715754a8d6aba9510fa55aeb74d (patch) | |
| tree | a9a19a0ee390af03ad6968b37bcd1ce15b338ff0 /src/Makefile | |
| parent | b5b74f9fca5a760cb388b1f9ed7873f73b983c45 (diff) | |
Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index afaf28d3..c010b992 100644 --- a/src/Makefile +++ b/src/Makefile @@ -39,6 +39,9 @@ _build/mips_extras.lem: ../mips/mips_extras.lem _build/run_with_elf.ml: lem_interp/run_with_elf.ml mkdir -p _build cp $< $@ +_build/run_with_elf_cheri.ml: lem_interp/run_with_elf_cheri.ml + mkdir -p _build + cp $< $@ _build/mips.lem: $(MIPS_SAILS) ./sail.native mkdir -p _build @@ -56,8 +59,8 @@ _build/cheri.lem: $(CHERI_SAILS) ./sail.native run_mips.native: _build/mips.ml _build/mips_extras.ml _build/run_with_elf.ml interpreter env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -g -package num -package str -package unix -I $(ELFDIR)/contrib/ocaml-uint/_build/lib -I $(LEMLIBOCAML) -I $(LEMLIBOCAML)/dependencies/zarith -I _build/lem_interp/ -I $(ELFDIR)/src -I $(ELFDIR)/src/adaptors -I $(ELFDIR)/src/abis/mips64 -I _build -linkpkg $(LEMLIBOCAML)/dependencies/zarith/zarith.cmxa $(LEMLIBOCAML)/extract.cmxa $(ELFDIR)/contrib/ocaml-uint/_build/lib/uint.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 -run_cheri.native: _build/cheri.ml _build/mips_extras.ml _build/run_with_elf.ml interpreter - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -g -package num -package str -package unix -I $(ELFDIR)/contrib/ocaml-uint/_build/lib -I $(LEMLIBOCAML) -I $(LEMLIBOCAML)/dependencies/zarith -I _build/lem_interp/ -I $(ELFDIR)/src -I $(ELFDIR)/src/adaptors -I $(ELFDIR)/src/abis/mips64 -I _build -linkpkg $(LEMLIBOCAML)/dependencies/zarith/zarith.cmxa $(LEMLIBOCAML)/extract.cmxa $(ELFDIR)/contrib/ocaml-uint/_build/lib/uint.cmxa $(ELFDIR)/src/linksem.cmxa _build/pprint/src/PPrintLib.cmxa _build/lem_interp/extract.cmxa _build/cheri.ml _build/mips_extras.ml _build/run_with_elf.ml -o run_cheri.native +run_cheri.native: _build/cheri.ml _build/mips_extras.ml _build/run_with_elf_cheri.ml interpreter + env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -g -package num -package str -package unix -I $(ELFDIR)/contrib/ocaml-uint/_build/lib -I $(LEMLIBOCAML) -I $(LEMLIBOCAML)/dependencies/zarith -I _build/lem_interp/ -I $(ELFDIR)/src -I $(ELFDIR)/src/adaptors -I $(ELFDIR)/src/abis/mips64 -I _build -linkpkg $(LEMLIBOCAML)/dependencies/zarith/zarith.cmxa $(LEMLIBOCAML)/extract.cmxa $(ELFDIR)/contrib/ocaml-uint/_build/lib/uint.cmxa $(ELFDIR)/src/linksem.cmxa _build/pprint/src/PPrintLib.cmxa _build/lem_interp/extract.cmxa _build/cheri.ml _build/mips_extras.ml _build/run_with_elf_cheri.ml -o run_cheri.native mips: elf run_mips.native |