From 2a35c6b9e1cfac8ce34ef6fa7c264cfea4139002 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 27 Jul 2018 18:56:22 +0100
Subject: clean Makefile target to copy generated LaTeX to cheri-architecture

---
 cheri/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

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 $@ $^
 
-- 
cgit v1.2.3