Incremental frontend for glucose solver

[satlib.git] / glucose-syrup / incremental / Makefile

diff --git a/glucose-syrup/incremental/Makefile b/glucose-syrup/incremental/Makefile
new file mode 100644 (file)
index 0000000..bcb46fa
--- /dev/null
+++ b/glucose-syrup/incremental/Makefile
@@ -0,0 +1,5 @@
+EXEC = glucose
+DEPDIR    = mtl utils core
+MROOT = $(PWD)/..
+CFLAGS = -I ../..
+include $(MROOT)/mtl/template.mk