X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FMakefile;fp=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FMakefile;h=8612f4bfc93eadbfb0c87adc1ff2b4d8d2c68dbd;hb=ddd751449e73a22af523ce78ce1d8f0bb211e941;hp=0000000000000000000000000000000000000000;hpb=efd683d260c9daefaf9e2c9a437d2aa00e965d89;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/Makefile b/helm/software/components/ng_paramodulation/Makefile
new file mode 100644
index 000000000..8612f4bfc
--- /dev/null
+++ b/helm/software/components/ng_paramodulation/Makefile
@@ -0,0 +1,11 @@
+PACKAGE = ng_paramodulation
+
+INTERFACE_FILES = \
+	terms.mli pp.mli founif.mli index.mli orderings.mli
+
+IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
+
+all:
+
+include ../../Makefile.defs
+include ../Makefile.common