diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-08 12:14:20 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-08 12:14:20 +0200 |
| commit | 25ae2d4df0cf9fcd4069e66d260c207300415af9 (patch) | |
| tree | 9980c73b1a9c1ffffbc9bc9a0f732474d3cb32ff /libs/ezsat/Makefile | |
| parent | c681c17038acb5f60d5abcf58f20d6a8d2bdffef (diff) | |
| download | yosys-25ae2d4df0cf9fcd4069e66d260c207300415af9.tar.gz yosys-25ae2d4df0cf9fcd4069e66d260c207300415af9.tar.bz2 yosys-25ae2d4df0cf9fcd4069e66d260c207300415af9.zip | |
Fixes and improvements in ezSAT library
Diffstat (limited to 'libs/ezsat/Makefile')
| -rw-r--r-- | libs/ezsat/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libs/ezsat/Makefile b/libs/ezsat/Makefile index 7a5d5fae4..da2355a9b 100644 --- a/libs/ezsat/Makefile +++ b/libs/ezsat/Makefile @@ -5,10 +5,11 @@ CXXFLAGS = -MD -Wall -Wextra -ggdb CXXFLAGS += -std=c++11 -O0 LDLIBS = -lminisat -lstdc++ -all: demo_vec demo_bit testbench puzzle3d +all: demo_vec demo_bit demo_cmp testbench puzzle3d demo_vec: demo_vec.o ezsat.o ezminisat.o demo_bit: demo_bit.o ezsat.o ezminisat.o +demo_cmp: demo_cmp.o ezsat.o ezminisat.o testbench: testbench.o ezsat.o ezminisat.o puzzle3d: puzzle3d.o ezsat.o ezminisat.o @@ -16,6 +17,7 @@ test: all ./testbench ./demo_bit ./demo_vec + ./demo_cmp clean: rm -f demo_bit demo_vec testbench puzzle3d *.o *.d |