PREDICATES =
INTERFACE_FILES = \
- nCicEnvironment.mli nCicTypeChecker.mli nReference.mli oCicTypeChecker.mli oCic2NCic.mli nUri.mli nCicSubstitution.mli nCicUtils.mli nCicReduction.mli
+ nUri.mli \
+ nReference.mli \
+ oCic2NCic.mli \
+ nCicUtils.mli \
+ nCicSubstitution.mli \
+ nCicEnvironment.mli \
+ nCicPp.mli \
+ nCicReduction.mli \
+ nCicTypeChecker.mli \
+ oCicTypeChecker.mli \
+ nCic2OCic.mli
+
IMPLEMENTATION_FILES = \
nCic.ml $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN =
OCAMLOPTIONS += -w Ae
+all: rt check
+%: %.ml $(PACKAGE).cma
+ $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
+all.opt opt: rt.opt check.opt
+%.opt: %.ml $(PACKAGE).cmxa
+ $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<
+
+
include ../../Makefile.defs
include ../Makefile.common