diff options
| author | Kathy Gray | 2013-07-17 13:16:44 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-07-17 13:16:44 +0100 |
| commit | 80fd65368f2769a29ce657aaffef50f3c8f0455f (patch) | |
| tree | fd1d6c9d5040cbd9e55b445710db87c3ee6364f6 /language/Makefile | |
| parent | ed9d7672cd04fbc60ef731996c51a748300dd8f6 (diff) | |
Separated ott file for parsable AST and parser changes
Diffstat (limited to 'language/Makefile')
| -rw-r--r-- | language/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/language/Makefile b/language/Makefile index dcadaff2..2c3d2512 100644 --- a/language/Makefile +++ b/language/Makefile @@ -1,6 +1,6 @@ OTTLIB=$(dir $(shell which ott))../hol -all: l2.pdf +all: l2.pdf parse_ast.ml l2.pdf: l2.tex pdflatex l2.tex @@ -12,7 +12,11 @@ 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 - #rm -f ../src/ast.ml +parse_ast.ml ../src/parse_ast.ml: l2_parse.ott + ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o ../src/parse_ast.ml -picky_multiple_parses true l2_parse.ott + + +# rm -f ../src/ast.ml # chmod a-w ../src/ast.ml l2.lem: l2.ott |