no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / ocaml / metadata / extractor / Makefile

diff --git a/helm/ocaml/metadata/extractor/Makefile b/helm/ocaml/metadata/extractor/Makefile
index 7c2aec0e555e316822d111bf4f3d93cf0a669ff7..579a5655f268e2b60766d7392dbe12edb0599afa 100644 (file)
--- a/helm/ocaml/metadata/extractor/Makefile
+++ b/helm/ocaml/metadata/extractor/Makefile
@@ -1,4 +1,3 @@
-OCAMLFIND=ocamlfind
 
 all: extractor extractor_manager 
        @echo -n
@@ -34,3 +33,4 @@ export: extractor.opt extractor_manager.opt
                ./extractor_manager.opt 1>export.out 2>export.err
        
 include .depend
+include ../../../Makefile.defs