makefile.in

#==========================================================================#
# This is a 'makefile.in' template with '@CXX@' and '@CXXFLAGS@' parameters.
# This makefile requires GNU make.
#==========================================================================#

# The '../scripts/make-build-header.sh' script searches for the next two
# lines to figure out the compiler and compilation flags.  This information
# is then used to generate corresponding macros in 'build.hpp'.

CXX=@CXX@
CXXFLAGS=@CXXFLAGS@

LIBS=@LIBS@
ROOT=@ROOT@
CONTRIB=@CONTRIB@

############################################################################
#    It is usually not necessary to change anything below this line!       #
############################################################################

SRC_APP=src/cadical.cpp src/mobical.cpp
SRC_SOLVER=$(subst $(ROOT)/,,$(sort $(wildcard $(ROOT)/src/*.cpp)))
SRC_CONTRIB=$(subst $(ROOT)/,,$(sort $(wildcard $(ROOT)/contrib/*.cpp)))

FILT_SOLVER=$(filter-out $(SRC_APP),$(SRC_SOLVER))
FILT_CONTRIB=$(if $(filter-out no,$(CONTRIB)),$(SRC_CONTRIB),)
OBJ_SOLVER=$(FILT_SOLVER:.cpp=.o)
OBJ_CONTRIB=$(FILT_CONTRIB:.cpp=.o)

# Include for current build directory is required for including the
# generated build header build.hpp.
DIR=../$(shell pwd|sed -e 's,.*/,,')
COMPILE=$(CXX) $(CXXFLAGS) -I$(DIR) -I$(ROOT)/src

#--------------------------------------------------------------------------#

all: libcadical.a cadical mobical

#--------------------------------------------------------------------------#

.SUFFIXES: .cpp .o

src/%.o: $(ROOT)/src/%.cpp $(ROOT)/src/*.hpp makefile
	@mkdir -p $(dir $@)
	$(COMPILE) -c $< -o $@

contrib/%.o: $(ROOT)/contrib/%.cpp $(ROOT)/contrib/%.hpp $(ROOT)/src/*.hpp makefile
	@mkdir -p $(dir $@)
	$(COMPILE) -c $< -o $@

#--------------------------------------------------------------------------#

# Application binaries (the stand alone solver 'cadical' and the model based
# tester 'mobical') and the library are the main build targets.

cadical: src/cadical.o libcadical.a makefile $(LIBS)
	$(COMPILE) -o $@ $< -L. libcadical.a $(LIBS)

mobical: src/mobical.o libcadical.a makefile $(LIBS)
	$(COMPILE) -o $@ $< -L. libcadical.a $(LIBS)


libcadical.a: $(OBJ_SOLVER) $(OBJ_CONTRIB) makefile
	ar rc $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)

#
# Dynamic libraries
#
libcadical.so: $(OBJ_SOLVER) $(OBJ_CONTRIB)
	$(CXX) -shared -o $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)

libcadical.dylib: $(OBJ_SOLVER) $(OBJ_CONTRIB)
	$(CXX) -shared -o $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)


#--------------------------------------------------------------------------#

# Note that 'build.hpp' is generated and resides in the build directory.

build.hpp: always
	$(ROOT)/scripts/make-build-header.sh > build.hpp

src/version.o: build.hpp

update:
	$(ROOT)/scripts/update-version.sh

#--------------------------------------------------------------------------#

# These two 'C' interfaces include '.h' headers and thus require explicitly
# defined additional dependencies.

ccadical.o: $(ROOT)/src/ccadical.h
ipasir.o: $(ROOT)/src/ipasir.h $(ROOT)/src/ccadical.h

#--------------------------------------------------------------------------#

analyze: all
	$(COMPILE) --analyze $(ROOT)/src/*.cpp
	$(COMPILE) --analyze $(ROOT)/contrib/*.cpp

format:
	clang-format -i $(ROOT)/*/*.[ch]pp
	clang-format -i $(ROOT)/*/*.[ch]
	clang-format -i $(ROOT)/test/*/*.[ch]pp
	clang-format -i $(ROOT)/test/*/*.[ch]

clean:
	rm -f *.o *.a cadical mobical makefile build.hpp
	rm -f *.gcda *.gcno *.gcov gmon.out

test: all
	CADICALBUILD="$(DIR)" $(MAKE) -j1 -C $(ROOT)/test

#--------------------------------------------------------------------------#

.PHONY: all always analyze clean test update format