]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtkmathview / test / Makefile.in
index 29ab71ffcfad3d7aa07125c8127e09e7aa636ea8..1b4d01991e82e414a94663e3ef92abef2789f1bf 100644 (file)
@@ -1,5 +1,5 @@
-PACKAGE = @PACKAGE@
-MLFLAGS = -predicates "init"
+PACKAGE = @PACKAGE@ lablgtk2.init
+MLFLAGS =
 OCAMLC = ocamlfind ocamlc $(MLFLAGS)
 OCAMLOPT = ocamlfind ocamlopt $(MLFLAGS)
 TMPDIR = .test