config.cryptoms

BUILD_DIR?=build
MAXPRE?=-D MAXPRE
USESCIP?=#-D USE_SCIP -pthread -lmpfr
BIGWEIGHTS?=#-D BIG_WEIGHTS
MINISATP_RELSYM?=
MINISATP_REL?=-std=c++14 -O3 -D NDEBUG -Wno-strict-aliasing -D CRYPTOMS $(USESCIP) $(MAXPRE) $(BIGWEIGHTS)
MINISATP_DEB?=-std=c++14 -O0 -D DEBUG  -Wno-strict-aliasing -D CRYPTOMS $(USESCIP) $(MAXPRE) $(BIGWEIGHTS)
MINISATP_PRF?=-std=c++14 -O3 -D NDEBUG -Wno-strict-aliasing -D CRYPTOMS $(USESCIP) $(MAXPRE) $(BIGWEIGHTS)
MINISATP_FPIC?=-fpic
MINISAT_INCLUDE?=-I/include -I/include/minisat -I../cominisatps -I../cryptominisat/build/include
MINISAT_LIB?=-flto -L/lib -L../cryptominisat/build/lib -lcryptominisat5 -L/usr/lib/x86_64-linux-gnu -lpthread -L../m4ri-20200125/myinstall/lib -lm4ri -L../breakid/build/lib -lbreakid
ifneq ($(MAXPRE),)
MCL_INCLUDE?=-I../maxpre/src
MCL_LIB?=-L../maxpre/src/lib -lmaxpre
else
MCL_INCLUDE?=
MCL_LIB?=
endif
ifneq ($(USESCIP),)
MCL_INCLUDE+=-I../scipoptsuite-10.0.3/scip/src -I../scipoptsuite-10.0.3/build/scip
MCL_LIB+=-L../scipoptsuite-10.0.3/build/lib -lscip -lsoplex-pic
endif
prefix?=