LOCAL_LINKOPTS = -package helm-content_pres -linkpkg
test: test_lexer
test_lexer: test_lexer.ml $(PACKAGE).cma
- $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
+ @echo " OCAMLC $<"
+ @$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
clean_tests:
rm -f test_lexer{,.opt}
cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)
cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
+include ../../Makefile.defs
include ../Makefile.common
# <cross> cross compatibility among ocaml 3.09 and ocaml 3.08, to be removed as