branch for universe

[helm.git] / components / ng_kernel / Makefile

diff --git a/components/ng_kernel/Makefile b/components/ng_kernel/Makefile
new file mode 100644 (file)
index 0000000..1870f38
--- /dev/null
+++ b/components/ng_kernel/Makefile
@@ -0,0 +1,31 @@
+PACKAGE = ng_kernel
+PREDICATES =
+
+INTERFACE_FILES = \
+       nUri.mli \
+       nReference.mli \
+       nCicUtils.mli \
+       nCicSubstitution.mli \
+       oCic2NCic.mli  \
+       nCicEnvironment.mli \
+       nCicPp.mli \
+       nCicReduction.mli \
+       nCicTypeChecker.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