]> matita.cs.unibo.it Git - helm.git/commitdiff
no -rectype passed to ocamldep
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 12:48:03 +0000 (12:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 12:48:03 +0000 (12:48 +0000)
helm/software/matita/Makefile

index 923a0f614acfe169e8e36c385ac3c7f2f657c0ab..e10692b1744d4dce68fe357e2358e911b7dd7f36 100644 (file)
@@ -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