diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-05-06 13:48:25 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-05-06 13:48:25 +0200 |
| commit | 30774ec6bc732478cce1a5ceff5f666893c416a6 (patch) | |
| tree | 2f4773aa1ec15abffd1ebffa1dd0ba0b3c8703a3 /libs/ezsat/Makefile | |
| parent | a5a519a9d15f188b93723c84890d6005d2e9c4be (diff) | |
Improved ezsat stand-alone tests
Diffstat (limited to 'libs/ezsat/Makefile')
| -rw-r--r-- | libs/ezsat/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/ezsat/Makefile b/libs/ezsat/Makefile index da2355a9..e831cc6f 100644 --- a/libs/ezsat/Makefile +++ b/libs/ezsat/Makefile @@ -3,7 +3,7 @@ CC = clang CXX = clang CXXFLAGS = -MD -Wall -Wextra -ggdb CXXFLAGS += -std=c++11 -O0 -LDLIBS = -lminisat -lstdc++ +LDLIBS = -lminisat -lm -lstdc++ all: demo_vec demo_bit demo_cmp testbench puzzle3d @@ -20,7 +20,7 @@ test: all ./demo_cmp clean: - rm -f demo_bit demo_vec testbench puzzle3d *.o *.d + rm -f demo_bit demo_vec demo_cmp testbench puzzle3d *.o *.d .PHONY: all test clean |