added ocamlfind library checks to configure.ac

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 02686b0fb1d0ff97879a106261539b9a4d9ce834..c784b0be698f86fb9a5472ec2f8a64d3824e2ab2 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -2,8 +2,8 @@
 OCAMLFIND = @OCAMLFIND@
 CAMLP4O = @CAMLP4O@
 LABLGLADECC = @LABLGLADECC@
+REQUIRES = @FINDLIB_REQUIRES@
 
-REQUIRES = lablgtk2.glade helm-registry
 OCAML_FLAGS = -package "$(REQUIRES)" -pp $(CAMLP4O)
 OCAML_THREADS_FLAGS = -thread
 OCAML_DEBUG_FLAGS =