diff options
| author | Robert Norton | 2018-04-12 14:19:28 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-12 14:19:28 +0100 |
| commit | 7980c236e1212206460af9e56ff21f376628934d (patch) | |
| tree | b39f9e93ae7a481193350b6bd9442d1e8d8ad417 | |
| parent | 71ba9dc5c985d32d8d24803ed528f41beb6133dd (diff) | |
add a cheri_trace target for conveniently building a debug build.
| -rw-r--r-- | cheri/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index fd8a22a9..9f89088d 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -25,6 +25,9 @@ CHERI_MAIN:=$(MIPS_SAIL_DIR)/main.sail cheri: $(CHERI_SAILS) $(CHERI_MAIN) $(SAIL) -ocaml -o $@ $^ +cheri_trace: $(CHERI_SAILS) $(CHERI_MAIN) + $(SAIL) -ocaml_trace -o $@ $^ + cheri.c: $(CHERI_SAILS) $(CHERI_MAIN) $(SAIL) -memo_z3 -c $^ 1> $@ |