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