]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/grafite_parser/Makefile
removed no longer used METAs
[helm.git] / helm / ocaml / grafite_parser / Makefile
index 25896da87d32039ba5c95774d3a89af9d8e85840..8482825a605b4f3e467743be33d3208ec0ce4000 100644 (file)
@@ -42,4 +42,5 @@ test_dep: test_dep.ml $(PACKAGE).cma
        @echo "  OCAMLC $<"
        @$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
 
+include ../../Makefile.defs
 include ../Makefile.common