src/cadical.mk - third_party/github.com/leanprover/lean4 - Git at Google


            
            CXX ?= c++


            %.o: src/%.cpp

            
            	$(CXX) -std=c++11 -O3 -DNDEBUG -DNBUILD $(CXXFLAGS) -c $< -o $@


            ../../cadical$(CMAKE_EXECUTABLE_SUFFIX): $(patsubst src/%.cpp,%.o,$(shell ls src/*.cpp | grep -v mobical))

            
            	$(CXX) -o $@ $^ $(LDFLAGS)
	CXX ?= c++

	%.o: src/%.cpp
	$(CXX) -std=c++11 -O3 -DNDEBUG -DNBUILD $(CXXFLAGS) -c $< -o $@

	../../cadical$(CMAKE_EXECUTABLE_SUFFIX): $(patsubst src/%.cpp,%.o,$(shell ls src/*.cpp \| grep -v mobical))
	$(CXX) -o $@ $^ $(LDFLAGS)