Include pointer to version of cheri-cap-lib used

Author: PeterRugg

Makefile

@@ -4,7 +4,7 @@ PREVEOUS=../branches/20150624-cheri-architecture-1-13
 
 SAIL_LATEX_RISCV_DIR=sail_latex_riscv
 
-SOURCES=$(wildcard *.tex insn-riscv/*.tex $(SAIL_LATEX_RISCV_DIR)/*.tex cheri_concentrate_listings/*.bsv) cheri.bib LICENSE LICENSE-sail-cheri-riscv LICENSE-sail-riscv
+SOURCES=$(wildcard *.tex insn-riscv/*.tex $(SAIL_LATEX_RISCV_DIR)/*.tex cheri_concentrate_listings/*.bsv cheri_concentrate_listings/*.tex) cheri.bib LICENSE LICENSE-sail-cheri-riscv LICENSE-sail-riscv
 DIFFDIR=diff
 DIFFTEX=$(SOURCES:%=${DIFFDIR}/%)
 DIFFPARAM=--type=UNDERLINE --packages=amsmath,hyperref --math-markup=1

app-cheri-concentrate-listings.tex

@@ -2,7 +2,7 @@ \chapter{CHERI Concentrate Listings}
 \label{app:cheri-128-listings}
 
 The cheri-cap-lib~\cite{CHERI-cheri-cap-lib} open-source library has been used in all of our open-source~\cite{CHERI-cheri-cpu,CHERI-Piccolo,CHERI-Flute,CHERI-Toooba} implementations and contains certain notable algorithms which have been highly optimised and verified to a significant degree.
-These algorithms are well documented by their contents, so several are reproduced in their current form here to serve as reference to anyone implementing CHERI Concentrate compression in any model or microarchitecture.
+These algorithms are well documented by their contents, so several are reproduced in their current form\footnote{\input{cheri_concentrate_listings/conc_version}} here to serve as reference to anyone implementing CHERI Concentrate compression in any model or microarchitecture.
 
 \section{GetTop}
 \label{sec:cheri-128-listings-gettop}

cheri_concentrate_listings/Makefile

@@ -1,5 +1,6 @@
 .PHONY: all
-all: conc_getTopFat.bsv \
+all: conc_version.tex \
+     conc_getTopFat.bsv \
      conc_capInBounds.bsv \
      conc_incOffsetFat.bsv \
      conc_setAddress.bsv \
@@ -10,9 +11,12 @@ cheri-cap-lib:
 
 cheri-cap-lib/CHERICC_Fat.bsv: cheri-cap-lib
 
+conc_version.tex: cheri-cap-lib
+	echo "\\url{https://github.com/CTSRD-CHERI/cheri-cap-lib/tree/$(shell git -C $< rev-parse --short HEAD)}" > $@
+
 conc_%.bsv: cheri-cap-lib/CHERICC_Fat.bsv
 	sed -n "/^function.*$*/,/^endfunction/p" $^ > $@
 
 .PHONY: clean
 clean:
-	rm -rf *.bsv
+	rm -rf *.bsv conc_version.tex

cheri_concentrate_listings/conc_version.tex

@@ -0,0 +1 @@
+\url{https://github.com/CTSRD-CHERI/cheri-cap-lib/tree/618e844}