summaryrefslogtreecommitdiff
path: root/libs/ezsat/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-06-07 10:38:35 +0200
committerClifford Wolf <clifford@clifford.at>2013-06-07 10:38:35 +0200
commit3371563f2f14ce0d6bc7798d0fc802b54aae93c8 (patch)
treeae171f088f8dcf7760c014bc75f9fae84ee1fa25 /libs/ezsat/Makefile
parentc32b9186815d0f129d923749a3c668c32f343c53 (diff)
Added ezSAT library
Diffstat (limited to 'libs/ezsat/Makefile')
-rw-r--r--libs/ezsat/Makefile26
1 files changed, 26 insertions, 0 deletions
diff --git a/libs/ezsat/Makefile b/libs/ezsat/Makefile
new file mode 100644
index 00000000..7a5d5fae
--- /dev/null
+++ b/libs/ezsat/Makefile
@@ -0,0 +1,26 @@
+
+CC = clang
+CXX = clang
+CXXFLAGS = -MD -Wall -Wextra -ggdb
+CXXFLAGS += -std=c++11 -O0
+LDLIBS = -lminisat -lstdc++
+
+all: demo_vec demo_bit testbench puzzle3d
+
+demo_vec: demo_vec.o ezsat.o ezminisat.o
+demo_bit: demo_bit.o ezsat.o ezminisat.o
+testbench: testbench.o ezsat.o ezminisat.o
+puzzle3d: puzzle3d.o ezsat.o ezminisat.o
+
+test: all
+ ./testbench
+ ./demo_bit
+ ./demo_vec
+
+clean:
+ rm -f demo_bit demo_vec testbench puzzle3d *.o *.d
+
+.PHONY: all test clean
+
+-include *.d
+