clingeling/Makefile at master · afett/clingeling · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
DEBUG_BUILD ?=

CXX ?= g++
CXXFLAGS = -Wall -Wextra -Werror -std=c++17
LDFLAGS = -L.
CPPFLAGS =  -Isrc -Isrc/include

ifeq ($(DEBUG_BUILD),1)
DEBUG_CXXFLAGS += -g -O0
else
DEBUG_CXXFLAGS += -O2
endif

PREFIX ?= /usr/local

DEPS = libudev

CXXFLAGS += $(shell pkg-config --cflags $(DEPS))
LIBS =  -Wl,--as-needed $(shell pkg-config --libs $(DEPS))

TARGET = clingeling
TESTS = test_clingeling

SRC = $(wildcard src/*.cc)
OBJ = $(SRC:%.cc=%.o)
LIB = libclingeling.a
COV_OBJ = $(SRC:%.cc=%.cov.o)

TEST_SRC = $(wildcard src/tests/*.cc)
TEST_OBJ = $(TEST_SRC:%.cc=%.cov.o)
TEST_LIB = libclingeling_test.a
TEST_CXXFLAGS = $(CXXFLAGS) -O0 -g -coverage -fsanitize=address
TEST_LDFLAGS = $(LDFLAGS) -static-libasan

ALL_OBJ = $(OBJ) $(TEST_OBJ) $(COV_OBJ)
GCNO = $(ALL_OBJ:%.o=%.gcno)
GCDA = $(ALL_OBJ:%.o=%.gcda)

TOOLS_SRC = $(wildcard src/tools/*.cc)
TOOLS_OBJ = $(TOOLS_SRC:%.cc=%.o)
TOOLS = $(TOOLS_SRC:%.cc=%)

all: $(TARGET) $(TOOLS) $(TESTS)

$(TARGET): $(LIB)
	$(CXX) -o $@ $(LIB) $(LDFLAGS) $(LIBS)

$(TOOLS): $(LIB) $(TOOLS_OBJ)
	$(CXX) -o $@ $@.o $(LIB) $(LDFLAGS) $(LIBS)

$(LIB): $(OBJ)
	ar rcs $@ $^

$(TEST_LIB): $(COV_OBJ)
	ar rcs $@ $^

%.cov.o : %.cc
	$(CXX) $(TEST_CXXFLAGS) $(CPPFLAGS) -c $< -o $@

%.o : %.cc
	$(CXX) $(CXXFLAGS) $(DEBUG_CXXFLAGS) $(CPPFLAGS) -fPIC -c $< -o $@

$(TESTS): $(TEST_LIB) $(TEST_OBJ)
	$(CXX) $(TEST_CXXFLAGS) -o $@ $(TEST_OBJ) $(TEST_LIB) $(TEST_LDFLAGS) $(LIBS)

run_tests: $(TESTS)
	./$(TESTS)

run_valgrind: $(TESTS)
	LD_LIBRARY_PATH=. valgrind --leak-check=full ./$(TESTS)

run_gdb: $(TESTS)
	LD_LIBRARY_PATH=. gdb ./$(TESTS)

coverage: run_tests
	lcov -c -b . -d src -d src/tests --output-file coverage/lcov.raw; \
	lcov -r coverage/lcov.raw "/usr/include/*" --output-file coverage/lcov.info; \
	genhtml coverage/lcov.info --output-directory coverage

clean:
	rm -rf $(TARGET) $(LIB) $(TESTS) $(TEST_LIB) $(ALL_OBJ) $(GCNO) $(GCDA) coverage/* *.pc $(TOOLS) $(TOOLS_OBJ)

.PHONY: all clean run_tests run_valgrind run_gdb coverage