PREDICATES =
INTERFACE_FILES = \
- nCic2OCic.mli \
- oCic2NCic.mli \
nCicLibrary.mli
IMPLEMENTATION_FILES = \
%.cmi: OCAMLOPTIONS += -w Ae
%.cmx: OCAMLOPTIONS += -w Ae
-all: rt check
+all:
%: %.ml $(PACKAGE).cma
$(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
-all.opt opt: rt.opt check.opt
+all.opt opt:
%.opt: %.ml $(PACKAGE).cmxa
$(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<