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 /etc | |
| 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 'etc')
| -rw-r--r-- | etc/loc.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/etc/loc.mk b/etc/loc.mk new file mode 100644 index 00000000..bf79a723 --- /dev/null +++ b/etc/loc.mk @@ -0,0 +1,13 @@ +TEMPDIR:=sloc_tmp +loc: $(LOC_FILES) + @rm -rf $(TEMPDIR) + @mkdir -p $(TEMPDIR) + @cp $^ $(TEMPDIR) + @for f in $(TEMPDIR)/*.sail; do mv "$$f" "$${f%.sail}.c"; done + @sloccount --details $(TEMPDIR) | grep ansic + @sloccount $(TEMPDIR) | grep ansic + rm -rf $(TEMPDIR) + +cloc: $(LOC_FILES) + cloc --by-file --force-lang C,sail $^ + |