makefile.in

# This is a 'makefile.in' template with '@CXX@' and '@CXXFLAGS@' parameters.
# Relies on 'gmake' for dependency handling and '$(shell ...)' commands.
.SUFFIXES: .cpp .o
MAKEFLAGS=-j
OBJ=$(shell ls ../src/*.cpp|sed -e '/main/d' -e '/app/d' -e 's,../src/,,' -e 's,.cpp$$,.o,g')
SRC=$(shell ls ../src/*.cpp ../src/*.hpp)
BUILD=../$(shell pwd|sed -e 's,.*/,,')
CXX=@CXX@
CXXFLAGS=@CXXFLAGS@
COMPILE=$(CXX) $(CXXFLAGS) -I$(BUILD)
all: cadical libcadical.a
%.o: ../src/%.cpp
	$(COMPILE) -c $<
-include dependencies
cadical: main.o app.o libcadical.a makefile
	$(COMPILE) -o $@ main.o app.o -L. -lcadical
libcadical.a: $(OBJ) makefile
	rm -f $@
	ar rc $@ $(OBJ)
	ranlib $@
config.hpp: ../scripts/make-config-header.sh $(SRC) makefile
	../scripts/make-config-header.sh > $@
dependencies: config.hpp ../src/*.cpp makefile
	$(COMPILE) -MM ../src/*.cpp|sed -e 's,:,: makefile,' >$@
clean:
	rm -f *.o *.a cadical makefile config.hpp dependencies
	rm -f *.gcda *.gcno *.gcov gmon.out
test: all
	CADICALBUILD="$(BUILD)" make -C ../test
.PHONY: all clean test