From 7b0797336983a442f2d6b792fb12e8dff3f2a2d2 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 23 Jan 2015 16:01:41 +0000
Subject: remove dependency on having ott in ones path

---
 language/Makefile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'language')

diff --git a/language/Makefile b/language/Makefile
index 594432fd..3187aef6 100644
--- a/language/Makefile
+++ b/language/Makefile
@@ -1,3 +1,4 @@
+OTT=~/rsem/ott/bin/ott
 OTTLIB=$(dir $(shell which ott))../hol
 
 .PHONY: all
@@ -14,22 +15,22 @@ manual.pdf: doc_in.tex manual.tex
 	pdflatex manual.tex
 
 l2.tex: l2.ott l2_typ.ott l2_rules.ott
-	ott -sort false -generate_aux_rules false -o $@ -picky_multiple_parses true $^
+	$(OTT) -sort false -generate_aux_rules false -o $@ -picky_multiple_parses true $^
 
 doc_in.tex: l2.ott primitive_doc.ott l2_typ.ott l2_rules.ott
-	ott -sort false -generate_aux_rules false -tex_wrap false -o $@ -picky_multiple_parses true $^
+	$(OTT) -sort false -generate_aux_rules false -tex_wrap false -o $@ -picky_multiple_parses true $^
 
 %.tex: %.ott
-	ott -sort false -generate_aux_rules false -o $@ -picky_multiple_parses true $^
+	$(OTT) -sort false -generate_aux_rules false -o $@ -picky_multiple_parses true $^
 
 %.ml: %.ott
-	ott -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^
+	$(OTT) -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^
 
 %Script.sml: %.ott
-	ott -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^
+	$(OTT) -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^
 
 l2.lem: l2.ott l2_typ.ott
-	ott -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^
+	$(OTT) -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^
 
 clean:
 	rm -rf *~
-- 
cgit v1.2.3