Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / components / Makefile

diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile
index b7c105fc01e4dc053b3d69e58b1f9d8a0010d7ae..7035411f3984434a49a7d00fbe4e469515e14509 100644 (file)
--- a/helm/software/components/Makefile
+++ b/helm/software/components/Makefile
@@ -42,6 +42,8 @@ MODULES =                     \
        ng_tactics              \
        grafite_engine          \
        tptp_grafite            \
+       ng_kernel               \
+       ng_refiner              \
        $(NULL)
 
 METAS = $(MODULES:%=METAS/META.helm-%)