diff options
| author | Robert Norton | 2018-05-09 16:30:46 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-09 16:58:19 +0100 |
| commit | 680acef72a84b1d3810ffd88c06639bafd1d4b3a (patch) | |
| tree | 77dbde83be6e172d7167c53634d319cdc041a818 /cheri/Makefile | |
| parent | 3f472931d1f0d003c729d591b13619376ea93cf3 (diff) | |
Add targets for counting lines in mips, cheri and riscv. Can use either sloccount or cloc. sloccount seems to be reliable but lacks a way to tell it that sail files can be treated like ocaml without renaming the files. cloc has a nicer interface is lower quality in other regards like broken ocaml support in versions shipped with Ubuntu (e.g. treats {...} as comment, no nested comments support). For sail2 syntax this is OK because we use the C parser instead which gives the same results as sloccount.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index fb54f103..a5df5f1e 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -40,6 +40,8 @@ cheri128: $(CHERI128_SAILS) $(CHERI_MAIN) cheri128_trace: $(CHERI128_SAILS) $(CHERI_MAIN) $(SAIL) -ocaml_trace -o $@ $^ +LOC_FILES:=$(CHERI_SAILS) $(CHERI_MAIN) +include ../etc/loc.mk # TODO Using bit lists for now in Lem generation; for machine words, # monomorphisation is needed due to some variable length bitvectors, e.g. in |