Remove all traces of autoconf/automake/makefile

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

diff --git a/matita/Makefile.defs.in b/matita/Makefile.defs.in
deleted file mode 100644 (file)
index 90a203f..0000000
--- a/matita/Makefile.defs.in
+++ /dev/null
@@ -1,16 +0,0 @@
-OCAMLPATH := @OCAMLPATH@:$(OCAMLPATH)
-OCAMLFIND = OCAMLPATH=$(OCAMLPATH) @OCAMLFIND@
-CAMLP5O = @CAMLP5O@
-LABLGLADECC = @LABLGLADECC@
-HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
-DISTRIBUTED = @DISTRIBUTED@
-ANNOT = @ANNOT@
-
-MATITA_REQUIRES = @FINDLIB_REQUIRES@
-MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
-
-MATITA_VERSION = @MATITA_VERSION@
-
-SRCROOT = @SRCROOT@
-RT_BASE_DIR = @RT_BASE_DIR@
-DBHOST = @DBHOST@