diff options
Diffstat (limited to 'language/Makefile')
| -rw-r--r-- | language/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/language/Makefile b/language/Makefile index 9167d65f..77aa5607 100644 --- a/language/Makefile +++ b/language/Makefile @@ -4,7 +4,7 @@ OTT=../../../github/ott/src/ott OTTLIB=$(dir $(shell which ott))../hol .PHONY: all -all: l2.ml l2_parse.ml l2.lem +all: l2.ml l2_parse.ml l2.lem l2_parse2.ml l2_parse2_parser.mly docs: l2.pdf l2_parse.pdf @@ -36,6 +36,12 @@ doc_in.tex: l2.ott primitive_doc.ott l2_terminals_tt.ott l2_typ.ott l2_rules.ott l2.lem: l2.ott $(OTT) -sort false -generate_aux_rules true -o $@ -picky_multiple_parses true $^ +ROOT=l2_parse2 +# generate the ocaml AST type, ocamllex lexer, menhir parser, and ocaml pretty printers for the AST, all from the Ott soruce +$(ROOT)_ast.ml $(ROOT)_lexer.mll $(ROOT)_parser.mly $(ROOT)_parser_pp.ml $(ROOT)_ast.tex : $(ROOT).ott Makefile + $(OTT) -quotient_rules false -generate_aux_rules false -i $(ROOT).ott -o $(ROOT)_parser.mly -o $(ROOT)_lexer.mll -o $(ROOT)_ast.ml -o $(ROOT).tex + + clean: rm -rf *~ rm -rf *.uo *.ui *.sig *.sml .HOLMK |