diff options
Diffstat (limited to 'language/Makefile')
| -rw-r--r-- | language/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/Makefile b/language/Makefile index f1607d23..595a09e8 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 +l2.tex ../src/ast.ml l2Script.sml: l2.ott ../../../rsem/ott/src/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 @@ -21,6 +21,6 @@ l2.lem: l2.ott clean: rm -rf *~ - -rm -rf *.uo *.ui l2Theory.sig l2Theory.sml l2.tex l2Script.sml l2.aux l2.log l2.dvi l2.ps l2_unwrapped.tex .HOLMK + -rm -rf *.uo *.ui l2Theory.sig l2Theory.sml l2.tex l2Script.sml l2.aux l2.log l2.dvi l2.ps l2_unwrapped.tex .HOLMK l2.ml #l2.sys l2 library/lib_cache |