Skip to content

Commit 1b7f522

Browse files
committed
Use c++14 for make flow so that it works for clang
1 parent 78d3b6b commit 1b7f522

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -177,7 +177,7 @@ cadical-download:
177177
@$(TAR) xfz $(cadical_release).tar.gz
178178
@rm -Rf ../cadical
179179
@mv cadical-$(cadical_release) ../cadical
180-
@cd ../cadical && CXX=$(CXX) ./configure -O3 -s && make -j
180+
@cd ../cadical && CXX=$(CXX) ./configure -O3 -s CXXFLAGS=-std=c++14 && make -j
181181
@$(RM) $(cadical_release).tar.gz
182182

183183
doc :

0 commit comments

Comments
 (0)