]> matita.cs.unibo.it Git - helm.git/commitdiff
Now automatically generated from Makefile.in
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 Nov 2001 12:36:42 +0000 (12:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 Nov 2001 12:36:42 +0000 (12:36 +0000)
helm/DEVEL/lablgtkmathview/test/Makefile [deleted file]

diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile b/helm/DEVEL/lablgtkmathview/test/Makefile
deleted file mode 100644 (file)
index 32f9321..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-# Generated automatically from Makefile.in by configure.
-PACKAGE = lablgtkmathview
-MLFLAGS =
-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