]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/grafite_parser/Makefile
basic support for imposed flavour in procedural object rendering
[helm.git] / helm / software / components / grafite_parser / Makefile
index eb2f1b1eba2adc4196591163299a2ed86203a71e..3df8517a9207db32cab36d2ff90863680e532e7b 100644 (file)
@@ -8,10 +8,11 @@ INTERFACE_FILES =                     \
        grafiteDisambiguator.mli        \
        grafiteDisambiguate.mli         \
        grafiteWalker.mli               \
+       print_grammar.mli               \
        $(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
-all: test_parser print_grammar test_dep
+all: test_parser test_dep
 clean: clean_tests
 
 # <cross> cross compatibility among ocaml 3.09 and ocaml 3.08, to be removed as