diff options
Diffstat (limited to 'language/Makefile')
| -rw-r--r-- | language/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/language/Makefile b/language/Makefile index f8858e31..f1607d23 100644 --- a/language/Makefile +++ b/language/Makefile @@ -1,4 +1,3 @@ -#OTTLIB=/Users/sowens/ott/hol OTTLIB=$(dir $(shell which ott))../hol all: l2.pdf @@ -11,7 +10,7 @@ l2Theory.uo: l2Script.sml l2.tex ../src/ast.ml l2Script.sml: l2.ott ott -sort false -generate_aux_rules false -o l2.tex -picky_multiple_parses true l2.ott - ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o l2.ml -o l2Script.sml -picky_multiple_parses true l2.ott + ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o ../src/ast.ml -o l2Script.sml -picky_multiple_parses true l2.ott #rm -f ../src/ast.ml # chmod a-w ../src/ast.ml |