From 0ae702cb60256585aa7c8f57cce11aac0d4793ab Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 26 Oct 2007 12:48:03 +0000 Subject: [PATCH] no -rectype passed to ocamldep --- matita/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/matita/Makefile b/matita/Makefile index 923a0f614..e10692b17 100644 --- a/matita/Makefile +++ b/matita/Makefile @@ -6,6 +6,7 @@ NULL = H=@ OCAML_FLAGS = -pp $(CAMLP5O) -rectypes +OCAMLDEP_FLAGS = -pp $(CAMLP5O) PKGS = -package "$(MATITA_REQUIRES)" CPKGS = -package "$(MATITA_CREQUIRES)" OCAML_THREADS_FLAGS = -thread @@ -15,7 +16,7 @@ OCAML_DEBUG_FLAGS = -g OCAMLC_FLAGS = $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) OCAMLC = $(OCAMLFIND) ocamlc$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) $(OCAMLOPT_DEBUG_FLAGS) -OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS) +OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAMLDEP_FLAGS) INSTALL_PROGRAMS= matita matitac INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean matitaprover matitawiki -- 2.39.2