summaryrefslogtreecommitdiff
path: root/libs/ezsat/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'libs/ezsat/Makefile')
-rw-r--r--libs/ezsat/Makefile4
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