From: Enrico Tassi Date: Tue, 24 May 2005 14:14:28 +0000 (+0000) Subject: fixed missing -syntax when using ocamlopt X-Git-Tag: single_binding~11 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62;p=helm.git fixed missing -syntax when using ocamlopt --- diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile index 8a168568f..fcf53edd5 100644 --- a/helm/ocaml/cic_notation/Makefile +++ b/helm/ocaml/cic_notation/Makefile @@ -27,8 +27,8 @@ test_parser: test_parser.ml $(PACKAGE).cma cicNotationLexer.cmo: OCAMLC = $(OCAMLC_P4) cicNotationParser.cmo: OCAMLC = $(OCAMLC_P4) -cicNotationLexer.cmx: OCAMLC = $(OCAMLC_P4) -cicNotationParser.cmx: OCAMLC = $(OCAMLC_P4) +cicNotationLexer.cmx: OCAMLOPT = $(OCAMLOPT_P4) +cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4) clean: extra_clean distclean: extra_clean