diff options
| author | Peter Sewell | 2018-07-27 18:56:22 +0100 |
|---|---|---|
| committer | Peter Sewell | 2018-07-27 18:56:22 +0100 |
| commit | 2a35c6b9e1cfac8ce34ef6fa7c264cfea4139002 (patch) | |
| tree | 4c2a1bce4309317c90241be51ee139852669f9cf | |
| parent | 34c745ff78a409daeddf4b5a78e28c85c62eb6fd (diff) | |
clean Makefile target to copy generated LaTeX to cheri-architecture
| -rw-r--r-- | cheri/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 0d207391..d1084dc0 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -61,6 +61,14 @@ latex_256: $(CHERI_SAILS) latex: latex_128 latex_256 +# to install latex in the right place - specific to PS checkouts +CHERI_ARCH_PATH=/home/pes20/repos/ctsrd/reports/cheri-architecture +install_latex: + rm -rf $(CHERI_ARCH_PATH)/sail_latex/*.tex + cp sail_latex/*.tex $(CHERI_ARCH_PATH)/sail_latex + rm -rf $(CHERI_ARCH_PATH)/sail_latexcc/*.tex + cp sail_latexcc/*.tex $(CHERI_ARCH_PATH)/sail_latexcc + cheri128: $(CHERI128_SAILS) $(CHERI_MAIN) $(SAIL) -ocaml -o $@ $^ |