- $(OCAMLC) -pp "camlp4o $(LEXER_P4_OPTS)" -c $<
-cicTextualParser2.cmo: cicTextualParser2.ml macro.cmo pa_unicode_macro.cmo
- $(OCAMLC) -pp "camlp4o $(PARSER_P4_OPTS)" -c $<
-
-%_notation.cmo: %_notation.ml cicTextualParser2.cmo
- $(OCAMLC) -pp "camlp4o $(PARSER_P4_OPTS)" -c $<
-
-pa_unicode_macro.cmo: pa_unicode_macro.ml macro.cmo
- $(OCAMLC) -pp "camlp4o $(PA_P4_OPTS)" -c $<
-
-LOCAL_LINKOPTS = -linkpkg $(PACKAGE).cma
+ $(OCAMLC_P4) -c $<
+cicTextualParser2.cmo: cicTextualParser2.ml
+ $(OCAMLC_P4) -c $<
+cicTextualLexer2.cmx: cicTextualLexer2.ml
+ $(OCAMLOPT_P4) -c $<
+cicTextualParser2.cmx: cicTextualParser2.ml
+ $(OCAMLOPT_P4) -c $<
+
+%_notation.cmo: %_notation.ml
+ $(OCAMLC_P4) -c $<
+%_notation.cmx: %_notation.ml
+ $(OCAMLOPT_P4) -c $<
+
+LOCAL_LINKOPTS = -package helm-cic_textual_parser2 -linkpkg