branch for universe

[helm.git] / components / tactics / paramodulation / Makefile

diff --git a/components/tactics/paramodulation/Makefile b/components/tactics/paramodulation/Makefile
new file mode 100644 (file)
index 0000000..2f3afa5
--- /dev/null
+++ b/components/tactics/paramodulation/Makefile
@@ -0,0 +1,6 @@
+all:
+       @make -C .. $@
+
+%:
+       @make -C .. $@
+