From aeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 24 May 2005 14:14:28 +0000 Subject: [PATCH] fixed missing -syntax when using ocamlopt --- helm/ocaml/cic_notation/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2