diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 145 |
1 files changed, 0 insertions, 145 deletions
diff --git a/src/Makefile b/src/Makefile index e68f27d2..cb1a8eb8 100644 --- a/src/Makefile +++ b/src/Makefile @@ -111,147 +111,9 @@ THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST))) SAIL_DIR:=$(realpath $(dir $(THIS_MAKEFILE))..) PROJECT_ROOT=$(realpath $(dir $(THIS_MAKEFILE))../..) -LEM = $(PROJECT_ROOT)/lem/lem -ELFDIR= $(PROJECT_ROOT)/linksem - -SAIL_LIB_DIR:=$(SAIL_DIR)/lib -MIPS_SAIL_DIR:=$(SAIL_DIR)/mips - -MIPS_SAILS_PRE:=$(SAIL_LIB_DIR)/flow.sail $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_ast_decl.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail - -MIPS_SAILS:=$(MIPS_SAILS_PRE) - -MIPS_NOTLB_SAILS_PRE:=$(SAIL_LIB_DIR)/flow.sail $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb_stub.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_ast_decl.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail - -MIPS_NOTLB_SAILS:=$(MIPS_NOTLB_SAILS_PRE) $(SAIL_DIR)/etc/regfp.sail $(MIPS_SAIL_DIR)/mips_regfp.sail - -CHERI_SAIL_DIR:=$(SAIL_DIR)/cheri - -CHERI_NOTLB_SAILS:=$(SAIL_LIB_DIR)/prelude.sail $(SAIL_LIB_DIR)/prelude_wrappers.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb_stub.sail $(CHERI_SAIL_DIR)/cheri_types.sail $(CHERI_SAIL_DIR)/cheri_prelude_256.sail $(CHERI_SAIL_DIR)/cheri_prelude_common.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail - -CHERI_SAILS:=$(SAIL_LIB_DIR)/prelude.sail $(SAIL_LIB_DIR)/prelude_wrappers.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(CHERI_SAIL_DIR)/cheri_types.sail $(CHERI_SAIL_DIR)/cheri_prelude_256.sail $(CHERI_SAIL_DIR)/cheri_prelude_common.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail - -CHERI128_SAILS:=$(SAIL_LIB_DIR)/prelude.sail $(SAIL_LIB_DIR)/prelude_wrappers.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(CHERI_SAIL_DIR)/cheri_types.sail $(CHERI_SAIL_DIR)/cheri_prelude_128.sail $(CHERI_SAIL_DIR)/cheri_prelude_common.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail - -elf: - make -C $(ELFDIR) - -CP_TO_BUILD=mkdir -p _build; cp $< $@ - -_build/mips_extras.lem: ../mips/mips_extras.lem - $(CP_TO_BUILD) - -_build/mips_extras_ml.ml: ../mips/mips_extras_ml.ml - $(CP_TO_BUILD) - _build/sail_values.ml: gen_lib/sail_values.ml $(CP_TO_BUILD) -_build/run_with_elf.ml: lem_interp/run_with_elf.ml - $(CP_TO_BUILD) - -_build/run_with_elf_cheri.ml: lem_interp/run_with_elf_cheri.ml - $(CP_TO_BUILD) - -_build/run_with_elf_cheri128.ml: lem_interp/run_with_elf_cheri128.ml - $(CP_TO_BUILD) - -_build/run_embed.ml: ../mips/run_embed.ml - $(CP_TO_BUILD) - -_build/mips.lem: $(MIPS_SAILS) ./sail.native - mkdir -p _build - cd _build ;\ - ../sail.native -lem_ast -o mips $(MIPS_SAILS) - -_build/mips_types.lem: $(MIPS_NOTLB_SAILS) ./sail.native - mkdir -p _build - cd _build ;\ - ../sail.native -lem_lib "Mips_extras" -lem -lem_mwords -o mips $(MIPS_NOTLB_SAILS) - -_build/Mips.thy: _build/mips_types.lem - cd _build ;\ - lem -isa -outdir . -lib ../lem_interp -lib ../gen_lib $(MIPS_SAIL_DIR)/mips_extras.lem mips_types.lem mips.lem - -_build/mips_notlb.lem: $(MIPS_NOTLB_SAILS) ./sail.native - mkdir -p _build - cd _build ; \ - ../sail.native -lem_ast -o mips_notlb $(MIPS_NOTLB_SAILS_PRE) - -_build/mips_notlb.ml: $(MIPS_NOTLB_SAILS_PRE) ./sail.native - mkdir -p _build - cd _build ; \ - ../sail.native -ocaml -lem -lem_ast -ocaml_lib Mips_extras_ml -o mips_notlb $(MIPS_NOTLB_SAILS_PRE) - -_build/mips.ml: $(MIPS_SAILS_PRE) ./sail.native - mkdir -p _build - cd _build ; \ - ../sail.native -ocaml -lem -lem_ast -ocaml_lib Mips_extras_ml -o mips $(MIPS_SAILS_PRE) - -_build/cheri.ml: $(CHERI_SAILS) ./sail.native - mkdir -p _build - cd _build ; \ - ../sail.native -ocaml -lem -lem_ast -ocaml_lib Mips_extras_ml -o cheri $(CHERI_SAILS) - -_build/cheri128.ml: $(CHERI128_SAILS) ./sail.native - mkdir -p _build - cd _build ; \ - ../sail.native -ocaml -lem -lem_ast -ocaml_lib Mips_extras_ml -o cheri128 $(CHERI128_SAILS) - -_build/cheri.lem: $(CHERI_SAILS) ./sail.native - mkdir -p _build - cd _build ;\ - ../sail.native -lem_ast -o cheri $(CHERI_SAILS) - -_build/cheri128.lem: $(CHERI128_SAILS) ./sail.native - mkdir -p _build - cd _build ;\ - ../sail.native -lem_ast -o cheri128 $(CHERI128_SAILS) - -_build/cheri_notlb.lem: $(CHERI_NOTLB_SAILS) ./sail.native - mkdir -p _build - cd _build ;\ - ../sail.native -lem_ast -o cheri_notlb $(CHERI_NOTLB_SAILS) - -_build/cheri_types.lem: $(CHERI_SAILS) ./sail.native - mkdir -p _build - cd _build ;\ - ../sail.native -lem_lib "Mips_extras" -lem -lem_mwords -o cheri $(CHERI_SAILS) - -_build/Cheri.thy: _build/cheri_types.lem - cd _build ;\ - lem -isa -outdir . -lib ../lem_interp -lib ../gen_lib $(MIPS_SAIL_DIR)/mips_extras.lem cheri_types.lem cheri.lem - -_build/mips_all.sail: $(MIPS_SAILS) - cat $(MIPS_SAILS) > $@ - -_build/cheri_all.sail: $(CHERI_SAILS) - cat $(CHERI_SAILS) > $@ - -_build/%_trimmed.sail: _build/%_all.sail - grep -v -e '^\s*$$' $< > $@ - -count: _build/cheri_trimmed.sail _build/mips_trimmed.sail - wc -l $^ - -# %.ml: %.lem -# $(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 $(OCAML_OPTS) -g -package num -package str -package unix -I $(ELFDIR)/contrib/ocaml-uint/_build/lib -I $(LEMLIBOCAML) -I $(ZARITH_DIR) -I _build/lem_interp/ -I $(ELFDIR)/src -I $(ELFDIR)/src/adaptors -I $(ELFDIR)/src/abis/mips64 -I _build -linkpkg $(ZARITH_LIB) $(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_mips.native: _build/mips.ml _build/mips_extras.ml _build/run_with_elf.ml interpreter - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt $(OCAML_OPTS) -g -package num -package str -package unix -package zarith -package lem -package linksem -linkpkg -I _build/lem_interp/ -I _build _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_cheri.ml interpreter - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt $(OCAML_OPTS) -g -package num -package str -package unix -package zarith -package lem -package linksem -linkpkg -I _build/lem_interp/ -I _build _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 - -run_cheri128.native: _build/cheri128.ml _build/mips_extras.ml _build/run_with_elf_cheri128.ml interpreter - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt $(OCAML_OPTS) -g -package num -package str -package unix -package zarith -package lem -package linksem -linkpkg -I _build/lem_interp/ -I _build _build/pprint/src/PPrintLib.cmxa _build/lem_interp/extract.cmxa _build/cheri128.ml _build/mips_extras.ml _build/run_with_elf_cheri128.ml -o run_cheri128.native - -run_embed.native: _build/sail_values.ml _build/mips_extras_ml.ml _build/mips.ml _build/cheri.ml _build/cheri128.ml _build/run_embed.ml - env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt $(OCAML_OPTS) -g -package zarith -package unix -I _build -linkpkg $^ -o $@ - _build/power.ml: $(SAIL_DIR)/src/test/power.sail sail.native cd _build; \ ./sail.native -lem_ast -ocaml $< -o $(basename $(@)) @@ -266,13 +128,6 @@ _build/armv8_embed.ml: sail.native _build/arm.native: _build/sail_values.ml _build/armv8_embed.ml env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt $(OCAML_OPTS) -g -package zarith -package unix -I _build -linkpkg $^ -o $@ -mips_notlb: _build/mips_notlb.ml _build/mips_types.lem _build/mips_extras.ml - true - -mips: elf run_mips.native - -cheri: elf run_cheri.native - clean: -ocamlbuild -clean -rm -rf _build *.native |