snapshot, notably:

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 3d76d0d852a9a16eaf6b61eb2fbf16021238c9e3..6a2a88623b5620f4695834c884514fe9fdbc98ec 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -65,7 +65,7 @@ matitac.opt: $(LIBX_DEPS) $(CMXS) matitac.ml
 
 matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
        $(LABLGLADECC) $< > matitaGeneratedGui.ml
-       $(OCAMLC) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
+       $(OCAMLC) $(PKGS) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
 
 %.cmi: %.mli
        $(OCAMLC) $(PKGS) -c $<