diff options
| author | Kathy Gray | 2015-01-23 16:01:41 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-23 16:01:41 +0000 |
| commit | 7b0797336983a442f2d6b792fb12e8dff3f2a2d2 (patch) | |
| tree | a848693cbc39900979ce1a3360f1c208b5b0c326 | |
| parent | 4644535149e8e4063b8162e59eae4eb7e8b9ea94 (diff) | |
remove dependency on having ott in ones path
| -rw-r--r-- | language/Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
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 *~ |