12 nCicSubstitution.mli \
16 IMPLEMENTATION_FILES = \
17 nCic.ml $(INTERFACE_FILES:%.mli=%.ml)
18 EXTRA_OBJECTS_TO_INSTALL =
19 EXTRA_OBJECTS_TO_CLEAN =
23 rt: rt.ml $(PACKAGE).cma
24 $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
27 include ../../Makefile.defs
28 include ../Makefile.common