diff options
Diffstat (limited to 'test/isabelle/Makefile')
| -rw-r--r-- | test/isabelle/Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/test/isabelle/Makefile b/test/isabelle/Makefile index c66338ee..43028fed 100644 --- a/test/isabelle/Makefile +++ b/test/isabelle/Makefile @@ -11,17 +11,12 @@ all: $(TGTS) ocamlbuild -use-ocamlfind -pkg lem -pkg linksem -pkg num -pkg unix $@ run_cheri.native: cheri_export.ml -run_cheri_sequential.native: cheri_sequential_export.ml run_aarch64.native: aarch64_export.ml cheri_export.ml: Cheri_code.thy make -C $(CHERI_DIR) Cheri.thy isabelle build -c $(SESSION_DIRS) Sail-CHERI-Code -cheri_sequential_export.ml: Cheri_sequential_code.thy - make -C $(CHERI_DIR) Cheri_sequential.thy - isabelle build -c $(SESSION_DIRS) Sail-CHERI-Sequential-Code - aarch64_export.ml: Aarch64_code.thy make -C $(AARCH64_DIR) Aarch64.thy isabelle build -c $(SESSION_DIRS) Sail-AArch64-Code |