Makefile
###################################################################################################
.PHONY: r d p lr ld lp config all install install-bin clean distclean
all: r lr
## Load Previous Configuration ####################################################################
-include config.mk
## Configurable options ###########################################################################
# Directory to store object files, libraries, executables, and dependencies:
BUILD_DIR ?= build
# Include debug-symbols in release builds
CMP_RELSYM ?= -g
# Sets of compile flags for different build types
CMP_REL ?= -O3 -D NDEBUG
CMP_DEB ?= -O0 -D DEBUG
CMP_PRF ?= -O2 -D NDEBUG
# GNU Standard Install Prefix
prefix ?= /usr/local
## Write Configuration ###########################################################################
config:
@( echo 'BUILD_DIR?=$(BUILD_DIR)' ; \
echo 'CMP_RELSYM?=$(CMP_RELSYM)' ; \
echo 'CMP_REL?=$(CMP_REL)' ; \
echo 'CMP_DEB?=$(CMP_DEB)' ; \
echo 'CMP_PRF?=$(CMP_PRF)' ; \
echo 'prefix?=$(prefix)' ) > config.mk
## Configurable options end #######################################################################
INSTALL ?= install
# GNU Standard Install Variables
exec_prefix ?= $(prefix)
includedir ?= $(prefix)/include
bindir ?= $(exec_prefix)/bin
libdir ?= $(exec_prefix)/lib
datarootdir ?= $(prefix)/share
mandir ?= $(datarootdir)/man
# Target file names
CMP = cmp# Name of CMP main executable.
CMP_SLIB = lib$(CMP).a# Name of CMP static library.
CMP_CXXFLAGS = -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -Wno-unused-parameter -Wno-literal-suffix -Wno-class-memaccess -Wno-misleading-indentation -Wno-shift-negative-value -Wno-unused-but-set-variable -Wno-sign-compare -Wno-reorder
CMP_LDFLAGS = -Wall -lz
ECHO=@echo
ifeq ($(VERB),)
VERB=@
else
VERB=
endif
SRCS = $(wildcard minisat/core/*.cc) $(wildcard minisat/simp/*.cc) $(wildcard minisat/utils/*.cc) \
$(wildcard glucose/core/*.cc) $(wildcard glucose/simp/*.cc) $(wildcard glucose/utils/*.cc) \
$(wildcard cmp/core/*.cc) $(wildcard cmp/enum/*.cc) $(wildcard cmp/approx/*.cc) \
$(wildcard cmp/ifaces/*.cc) $(wildcard cmp/utils/*.cc)
MINISAT_HDRS = $(wildcard minisat/mtl/*.h) $(wildcard minisat/core/*.h) $(wildcard minisat/simp/*.h) $(wildcard minisat/utils/*.h)
GLUCOSE_HDRS = $(wildcard glucose/mtl/*.h) $(wildcard glucose/core/*.h) $(wildcard glucose/simp/*.h) $(wildcard glucose/utils/*.h)
CMP_HDRS = $(wildcard cmp/utils/*.h) $(wildcard cmp/ifaces/*.h) $(wildcard cmp/core/*.h) $(wildcard cmp/enum/*.h) $(wildcard cmp/approx/*.h)
OBJS = $(filter-out %Main.o, $(SRCS:.cc=.o))
r: $(BUILD_DIR)/release/bin/$(CMP)
d: $(BUILD_DIR)/debug/bin/$(CMP)
p: $(BUILD_DIR)/profile/bin/$(CMP)
lr: $(BUILD_DIR)/release/lib/$(CMP_SLIB)
ld: $(BUILD_DIR)/debug/lib/$(CMP_SLIB)
lp: $(BUILD_DIR)/profile/lib/$(CMP_SLIB)
## Build-type Compile-flags:
$(BUILD_DIR)/release/%.o: CMP_CXXFLAGS +=$(CMP_REL) $(CMP_RELSYM)
$(BUILD_DIR)/debug/%.o: CMP_CXXFLAGS +=$(CMP_DEB) -g
$(BUILD_DIR)/profile/%.o: CMP_CXXFLAGS +=$(CMP_PRF) -pg
## Build-type Link-flags:
$(BUILD_DIR)/profile/bin/$(CMP): CMP_LDFLAGS += -pg
$(BUILD_DIR)/release/bin/$(CMP): CMP_LDFLAGS += $(CMP_RELSYM)
## Executable dependencies
$(BUILD_DIR)/release/bin/$(CMP): $(BUILD_DIR)/release/cmp/core/Main.o $(BUILD_DIR)/release/lib/$(CMP_SLIB)
$(BUILD_DIR)/debug/bin/$(CMP): $(BUILD_DIR)/debug/cmp/core/Main.o $(BUILD_DIR)/debug/lib/$(CMP_SLIB)
$(BUILD_DIR)/profile/bin/$(CMP): $(BUILD_DIR)/profile/cmp/core/Main.o $(BUILD_DIR)/profile/lib/$(CMP_SLIB)
## Library dependencies
$(BUILD_DIR)/release/lib/$(CMP_SLIB): $(foreach o,$(OBJS),$(BUILD_DIR)/release/$(o))
$(BUILD_DIR)/debug/lib/$(CMP_SLIB): $(foreach o,$(OBJS),$(BUILD_DIR)/debug/$(o))
$(BUILD_DIR)/profile/lib/$(CMP_SLIB): $(foreach o,$(OBJS),$(BUILD_DIR)/profile/$(o))
## Compile rules (these should be unified, buit I have not yet found a way which works in GNU Make)
$(BUILD_DIR)/release/%.o: %.cc
$(ECHO) Compiling: $@
$(VERB) mkdir -p $(dir $@)
$(VERB) $(CXX) $(CMP_CXXFLAGS) $(CXXFLAGS) -c -o $@ $< -MMD -MF $(BUILD_DIR)/release/$*.d
$(BUILD_DIR)/profile/%.o: %.cc
$(ECHO) Compiling: $@
$(VERB) mkdir -p $(dir $@)
$(VERB) $(CXX) $(CMP_CXXFLAGS) $(CXXFLAGS) -c -o $@ $< -MMD -MF $(BUILD_DIR)/profile/$*.d
$(BUILD_DIR)/debug/%.o: %.cc
$(ECHO) Compiling: $@
$(VERB) mkdir -p $(dir $@)
$(VERB) $(CXX) $(CMP_CXXFLAGS) $(CXXFLAGS) -c -o $@ $< -MMD -MF $(BUILD_DIR)/debug/$*.d
## Linking rule
$(BUILD_DIR)/release/bin/$(CMP) $(BUILD_DIR)/debug/bin/$(CMP) $(BUILD_DIR)/profile/bin/$(CMP):
$(ECHO) Linking Binary: $@
$(VERB) mkdir -p $(dir $@)
$(VERB) $(CXX) $^ $(CMP_LDFLAGS) $(LDFLAGS) -o $@
## Static Library rule
%/lib/$(CMP_SLIB):
$(ECHO) Linking Static Library: $@
$(VERB) mkdir -p $(dir $@)
$(VERB) $(AR) -rcs $@ $^
install: install-headers install-lib install-bin
install-debug: install-headers install-lib-debug
install-headers:
# Create directories
$(INSTALL) -d $(DESTDIR)$(includedir)/cmp
$(INSTALL) -d $(DESTDIR)$(includedir)/minisat
$(INSTALL) -d $(DESTDIR)$(includedir)/glucose
#
for dir in cmp/utils cmp/ifaces cmp/core cmp/enum cmp/approx; do \
$(INSTALL) -d $(DESTDIR)$(includedir)/cmp/$$dir ; \
done
for dir in minisat/mtl minisat/utils minisat/core minisat/simp; do \
$(INSTALL) -d $(DESTDIR)$(includedir)/minisat/$$dir ; \
done
for dir in glucose/mtl glucose/utils glucose/core glucose/simp; do \
$(INSTALL) -d $(DESTDIR)$(includedir)/glucose/$$dir ; \
done
# Install headers
for h in $(MINISAT_HDRS) ; do \
$(INSTALL) -m 644 $$h $(DESTDIR)$(includedir)/$$h ; \
done
for h in $(GLUCOSE_HDRS) ; do \
$(INSTALL) -m 644 $$h $(DESTDIR)$(includedir)/$$h ; \
done
for h in $(CMP_HDRS) ; do \
$(INSTALL) -m 644 $$h $(DESTDIR)$(includedir)/$$h ; \
done
install-lib-debug: $(BUILD_DIR)/debug/lib/$(CMP_SLIB)
$(INSTALL) -d $(DESTDIR)$(libdir)
$(INSTALL) -m 644 $(BUILD_DIR)/debug/lib/$(CMP_SLIB) $(DESTDIR)$(libdir)
install-lib: $(BUILD_DIR)/release/lib/$(CMP_SLIB)
$(INSTALL) -d $(DESTDIR)$(libdir)
$(INSTALL) -m 644 $(BUILD_DIR)/release/lib/$(CMP_SLIB) $(DESTDIR)$(libdir)
install-bin: $(BUILD_DIR)/release/bin/$(CMP)
$(INSTALL) -d $(DESTDIR)$(bindir)
$(INSTALL) -m 755 $(BUILD_DIR)/release/bin/$(CMP) $(DESTDIR)$(bindir)
clean:
rm -f $(foreach t, release debug profile, $(foreach o, $(SRCS:.cc=.o), $(BUILD_DIR)/$t/$o)) \
$(foreach t, release debug profile, $(foreach d, $(SRCS:.cc=.d), $(BUILD_DIR)/$t/$d)) \
$(foreach t, release debug profile, $(BUILD_DIR)/$t/bin/$(CMP)) \
$(foreach t, release debug profile, $(BUILD_DIR)/$t/lib/$(CMP_SLIB))
distclean: clean
rm -f config.mk
## Include generated dependencies
-include $(foreach s, $(SRCS:.cc=.d), $(BUILD_DIR)/release/$s)
-include $(foreach s, $(SRCS:.cc=.d), $(BUILD_DIR)/debug/$s)
-include $(foreach s, $(SRCS:.cc=.d), $(BUILD_DIR)/profile/$s)
