]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/Makefile.in
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / lablgtkmathview / test / Makefile.in
diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile.in b/helm/DEVEL/lablgtkmathview/test/Makefile.in
deleted file mode 100644 (file)
index 29ab71f..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-PACKAGE = @PACKAGE@
-MLFLAGS = -predicates "init"
-OCAMLC = ocamlfind ocamlc $(MLFLAGS)
-OCAMLOPT = ocamlfind ocamlopt $(MLFLAGS)
-TMPDIR = .test
-
-all: test
-opt: test.opt
-
-test: test.ml
-       $(OCAMLC) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
-
-test.opt: test.ml
-       $(OCAMLOPT) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
-
-clean:
-       rm -f *.cm[iox] *.o test test.opt t1lib.log test.ps
-
-distclean:
-       rm Makefile