]> matita.cs.unibo.it Git - helm.git/commitdiff
added -g flag to ocamlc per default
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:29:30 +0000 (12:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:29:30 +0000 (12:29 +0000)
helm/ocaml/Makefile.common.in

index 39c99255bbbcc416f6a37220fcf63b84ecc77f00..cefbf646d19ab6053937eb26d931752086ef51a8 100644 (file)
@@ -13,9 +13,11 @@ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 PREPROCOPTIONS = -pp camlp4o
 PREREQ =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
-OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLDEP = ocamlfind ocamldep $(PREPROCOPTIONS)
+OCAMLDEBUGOPTIONS = -g
+OCAMLFIND = ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)
+OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
+OCAMLDEP = $(OCAMLFIND) ocamldep $(PREPROCOPTIONS)
 OCAMLLEX = ocamllex
 OCAMLYACC = ocamlyacc