diff options
| author | Robert Norton | 2018-04-23 11:58:53 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-23 12:01:17 +0100 |
| commit | 1bceb455686a8e081f35569b1b042ae06eae0983 (patch) | |
| tree | d94cdb485b30f7d01dd56884d02ef4c4cee02db6 /cheri/Makefile | |
| parent | d980ad5da9eb17b1e5ac4ac70de7d31948cb181f (diff) | |
Add a cheri128_trace target.
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 |