diff options
Diffstat (limited to 'language/Makefile')
| -rw-r--r-- | language/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/Makefile b/language/Makefile index 595a09e8..dcadaff2 100644 --- a/language/Makefile +++ b/language/Makefile @@ -8,7 +8,7 @@ l2.pdf: l2.tex l2Theory.uo: l2Script.sml Holmake --qof -I $(OTTLIB) l2Theory.uo -l2.tex ../src/ast.ml l2Script.sml: l2.ott ../../../rsem/ott/src/ott +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 ../src/ast.ml -o l2Script.sml -picky_multiple_parses true l2.ott |