diff options
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 9f89088d..21fd1e51 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -37,6 +37,10 @@ latex: $(CHERI_SAILS) cheri128: $(CHERI128_SAILS) $(CHERI_MAIN) $(SAIL) -ocaml -o $@ $^ +cheri128_trace: $(CHERI128_SAILS) $(CHERI_MAIN) + $(SAIL) -ocaml_trace -o $@ $^ + + # TODO Using bit lists for now in Lem generation; for machine words, # monomorphisation is needed due to some variable length bitvectors, e.g. in # CLoad as of commit b34c3fb, in the TLB translation, and in compressed |