X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;h=cfd1ad505d61ec46a0d4bca013ad52b0c4e06056;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=65251b820acab3c18c5a024ab53fb981c2f9f37f;hpb=3e5a3049534e6b5a091598a079b61c91134650f1;p=helm.git diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile index 65251b820..cfd1ad505 100644 --- a/helm/ocaml/cic_notation/Makefile +++ b/helm/ocaml/cic_notation/Makefile @@ -33,7 +33,7 @@ IMPLEMENTATION_FILES = \ $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \ $(NULL) -all: test_lexer test_parser test_dep +all: test_lexer test_parser test_dep print_grammar LOCAL_LINKOPTS = -package helm-cic_notation -linkpkg test: test_lexer test_parser test_dep @@ -44,7 +44,8 @@ test_parser: test_parser.ml $(PACKAGE).cma $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $< test_dep: test_dep.ml $(PACKAGE).cma $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $< - +print_grammar: print_grammar.ml $(PACKAGE).cma + $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $< cicNotationLexer.cmo: OCAMLC = $(OCAMLC_P4) cicNotationParser.cmo: OCAMLC = $(OCAMLC_P4)