'stdio.h' file not found error when building on OS X

[dfremont]

Hello Mate, I just tried building CMS on my OS X machine for the first time in a while, and am getting a new error during the compilation of the Python library (see log below). I've followed the OS X build instructions exactly (in particular, I'm not trying to set a different compiler, so clang is being used as the default; when I try GCC 9 I get a slew of other errors, but that's another can of worms). The same error appeared in issue #429, and seems to have to do with some compiler misconfiguration, but I can't figure it out - please let me know if you have any ideas. Thanks!

Scanning dependencies of target python_interface
[100%] Generating build/timestamp
running build_ext
building 'pycryptosat' extension
creating build
creating build/temp.macosx-10.9-x86_64-3.8
creating build/temp.macosx-10.9-x86_64-3.8/Users
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -DLIBRARY_VERSION="5.6.8" -I/Library/Frameworks/Python.framework/Versions/3.8/include/python3.8 -c /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src/pycryptosat.cpp -o build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -arch x86_64 -g -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src/pycryptosat.cpp:27:
In file included from /Library/Frameworks/Python.framework/Versions/3.8/include/python3.8/Python.h:25:
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/stdio.h:108:15: fatal error: 
      'stdio.h' file not found
#include_next <stdio.h>
              ^~~~~~~~~
1 error generated.
error: command '/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc' failed with exit status 1
make[2]: *** [pycryptosat/build/timestamp] Error 1
make[1]: *** [pycryptosat/CMakeFiles/python_interface.dir/all] Error 2
make: *** [all] Error 2

[msoos]

Hi! Thanks for letting me know. I had a look -- that bug seemed to have been related to python2 vs python3 setup. We support both. But when the two get mixed, e.g. CFLAGS from python2 and compilation with python3, things go wrong. You didn't actually give the whole build log. Can you please re-clone the whole of cryptominisat, do the cmake, make VERBOSE=1, and paste the output here? I can't debug based on what you wrote above because it doesn't contain all the information. Thanks!

[dfremont]

Yes, sorry, the whole log was long so I didn't include all of it - please see the complete transcript below. By the way, I should have mentioned this is using CMS release 5.6.8 (not cloning the master branch). I do have multiple versions of Python installed, so to attempt to simplify things when doing the second build (from scratch as you suggested), I ran the build inside a virtualenv for Python 3.8. However, I got the same error:

(venv3) eduroam-169-233-154-42:build dfremont$ cmake ..
-- LIB directory is 'lib'
-- BIN directory is 'bin'
-- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel
CMake Warning (dev) at CMakeLists.txt:60 (set):
  implicitly converting 'String' to 'STRING' type.
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Doing a RelWithDebInfo build
-- The C compiler identification is AppleClang 11.0.0.11000033
-- The CXX compiler identification is AppleClang 11.0.0.11000033
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++
-- Check for working CXX compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Looking for pthread.h
-- Looking for pthread.h - found
-- Looking for pthread_create
-- Looking for pthread_create - found
-- Found Threads: TRUE  
-- build type is RelWithDebInfo
-- Performing Test HAVE_FLAG_-mtune=native
-- Performing Test HAVE_FLAG_-mtune=native - Success
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Success
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- Compiling for dynamic library use
-- GIT hash found: GIT-notfound
-- PROJECT_VERSION: 5.6.8
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 6
-- PROJECT_VERSION_PATCH: 8
-- Boost version: 1.70.0
-- Found the following Boost libraries:
--   program_options
-- Not compiling detailed statistics. The system is faster without them
-- Not on Linux, not creating manpage
-- Found ZLIB: /usr/lib/libz.dylib (found version "1.2.11") 
-- OK, Found ZLIB!
-- Valgrind Prefix: 
-- Found VALGRIND: /usr/local/include/valgrind  
-- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined
-- Found PkgConfig: /usr/local/bin/pkg-config (found version "0.29.2") 
-- Found m4ri: /usr/local/lib/libm4ri.dylib  
-- OK, Found M4RI lib at /usr/local/lib/libm4ri.dylib and includes at /usr/local/include
-- All defines at startup:  -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DUSE_M4RI
-- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here'
-- Found PythonInterp: /Users/dfremont/Downloads/venv3/bin/python3 (found suitable version "3.8", minimum required is "3") 
-- Found PythonLibs: /Library/Frameworks/Python.framework/Versions/3.8/lib/libpython3.8.dylib (found suitable version "3.8.0", minimum required is "3") 
-- Python 3 -- PYTHON_EXECUTABLE=/Users/dfremont/Downloads/venv3/bin/python3
-- Python 3 -- PYTHON_LIBRARIES=/Library/Frameworks/Python.framework/Versions/3.8/lib/libpython3.8.dylib
-- Python 3 -- PYTHON_INCLUDE_DIRS=/Library/Frameworks/Python.framework/Versions/3.8/include/python3.8
-- Python 3 -- PYTHONLIBS_VERSION_STRING=3.8.0
-- Boost -- found at library: /usr/local/lib/libboost_program_options-mt.dylib
-- Boost -- adding '/usr/local/lib' to link directories
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Success
-- Performing Test HAVE_FLAG_-Wlogical-op
-- Performing Test HAVE_FLAG_-Wlogical-op - Failed
-- Performing Test HAVE_FLAG_-Wrestrict
-- Performing Test HAVE_FLAG_-Wrestrict - Failed
-- Performing Test HAVE_FLAG_-Wnull-dereference
-- Performing Test HAVE_FLAG_-Wnull-dereference - Success
-- Performing Test HAVE_FLAG_-Wjump-misses-init
-- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed
-- Performing Test HAVE_FLAG_-Wdouble-promotion
-- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
-- Performing Test HAVE_FLAG_-Wshadow
-- Performing Test HAVE_FLAG_-Wshadow - Success
-- Performing Test HAVE_FLAG_-Wformat=2
-- Performing Test HAVE_FLAG_-Wformat=2 - Success
-- Performing Test HAVE_FLAG_-Wextra-semi
-- Performing Test HAVE_FLAG_-Wextra-semi - Success
-- Performing Test HAVE_FLAG_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test HAVE_FLAG_-Wno-class-memaccess
-- Performing Test HAVE_FLAG_-Wno-class-memaccess - Failed
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
CMake Warning at CMakeLists.txt:696 (message):
  Testing is disabled

-- Found python interpreter, libs and header files
-- Building python interface
-- Python CFLAGS:  '-Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -arch x86_64 -g'
-- Python LDFLAGS: '-ldl   -framework CoreFoundation'
-- Python LINKFORSHARED flags: '-Wl,-stack_size,1000000  -framework CoreFoundation Python.framework/Versions/3.8/Python'
-- Python module will be installed to : '/usr/local'
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/dfremont/Downloads/cryptominisat-5.6.8/build
(venv3) eduroam-169-233-154-42:build dfremont$ make VERBOSE=1
/usr/local/Cellar/cmake/3.14.5/bin/cmake -S/Users/dfremont/Downloads/cryptominisat-5.6.8 -B/Users/dfremont/Downloads/cryptominisat-5.6.8/build --check-build-system CMakeFiles/Makefile.cmake 0
/usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_progress_start /Users/dfremont/Downloads/cryptominisat-5.6.8/build/CMakeFiles /Users/dfremont/Downloads/cryptominisat-5.6.8/build/CMakeFiles/progress.marks
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f CMakeFiles/Makefile2 all
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_depends "Unix Makefiles" /Users/dfremont/Downloads/cryptominisat-5.6.8 /Users/dfremont/Downloads/cryptominisat-5.6.8/src /Users/dfremont/Downloads/cryptominisat-5.6.8/build /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color=
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal".
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal".
Scanning dependencies of target cryptominisat5
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build
[  2%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/cnf.cpp
[  4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/propengine.cpp
[  6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/varreplacer.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/varreplacer.cpp:1166:52: warning: declaration
      shadows a field of 'CMSat::VarReplacer' [-Wshadow]
void VarReplacer::Stats::print_short(const Solver* solver) const
                                                   ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/varreplacer.h:112:17: note: previous
      declaration is here
        Solver* solver;
                ^
1 warning generated.
[  8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/clausecleaner.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/clausecleaner.cpp:232:63: warning: 
      declaration shadows a field of 'CMSat::ClauseCleaner' [-Wshadow]
void ClauseCleaner::ImplicitData::update_solver_stats(Solver* solver)
                                                              ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/clausecleaner.h:84:17: note: previous
      declaration is here
        Solver* solver;
                ^
1 warning generated.
[ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/clauseusagestats.cpp
[ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/prober.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/prober.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/prober.cpp:917:47: warning: declaration
      shadows a field of 'CMSat::Prober' [-Wshadow]
void Prober::Stats::print_short(const Solver* solver, const bool time_out, const double ...
                                              ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/prober.h:218:17: note: previous declaration is
      here
        Solver* solver; ///<The solver we are updating&working with
                ^
1 warning generated.
[ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/occsimplifier.cpp
[ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/subsumestrengthen.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/subsumestrengthen.cpp:809:58: warning: 
      declaration shadows a field of 'CMSat::SubsumeStrengthen' [-Wshadow]
void SubsumeStrengthen::Stats::print_short(const Solver* solver) const
                                                         ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/subsumestrengthen.h:112:13: note: previous
      declaration is here
    Solver* solver;
            ^
1 warning generated.
[ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/clauseallocator.cpp
[ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/sccfinder.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/sccfinder.cpp:198:44: warning: declaration
      shadows a field of 'CMSat::SCCFinder' [-Wshadow]
void SCCFinder::Stats::print_short(Solver* solver) const
                                           ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/sccfinder.h:118:17: note: previous declaration
      is here
        Solver* solver;
                ^
1 warning generated.
[ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/solverconf.cpp
[ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/distillerlong.cpp
[ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/distillerlongwithimpl.cpp
[ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/str_impl_w_impl_stamp.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/str_impl_w_impl_stamp.cpp:205:21: warning: 
      declaration shadows a field of 'CMSat::StrImplWImplStamp' [-Wshadow]
    , const int64_t timeAvailable
                    ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/str_impl_w_impl_stamp.h:87:13: note: previous
      declaration is here
    int64_t timeAvailable;
            ^
1 warning generated.
[ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/solutionextender.cpp
[ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/completedetachreattacher.cpp
[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/searcher.cpp
[ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/solver.cpp
[ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/sqlstats.cpp
[ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/implcache.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/implcache.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/implcache.cpp
[ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/stamp.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/stamp.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/stamp.cpp
[ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/compfinder.cpp
[ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/comphandler.cpp
[ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/hyperengine.cpp
[ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/subsumeimplicit.cpp
[ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/datasync.cpp
[ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/reducedb.cpp
[ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/clausedumper.cpp
[ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/bva.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/bva.cpp:583:54: warning: declaration shadows a
      field of 'CMSat::BVA' [-Wshadow]
string BVA::PotentialClause::to_string(const Solver* solver) const
                                                     ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/bva.h:63:13: note: previous declaration is
      here
    Solver* solver;
            ^
1 warning generated.
[ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/intree.cpp
[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_calc.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/features_calc.cpp
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/features_to_reconf.cpp
[ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/solvefeatures.cpp
[ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/searchstats.cpp
[ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/xorfinder.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/xorfinder.cpp:837:50: warning: declaration
      shadows a field of 'CMSat::XorFinder' [-Wshadow]
void XorFinder::Stats::print_short(const Solver* solver, double time_remain) const
                                                 ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/xorfinder.h:200:13: note: previous declaration
      is here
    Solver *solver;
            ^
1 warning generated.
[ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/cryptominisat_c.cpp
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/src/cryptominisat_c.cpp:25:
/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/cryptominisat5/cryptominisat.h:42:5: warning: 
      'SATSolver' defined as a class here but previously declared as a struct; this is valid,
      but may result in linker errors under the Microsoft C++ ABI [-Wmismatched-tags]
    class SATSolver
    ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/cryptominisat5/cryptominisat_c.h:35:22: note: 
      did you mean class here?
    namespace CMSat{ struct SATSolver; }
                     ^~~~~~
                     class
1 warning generated.
[ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/walksat.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.cpp:41:36: warning: declaration
      shadows a field of 'CMSat::WalkSAT' [-Wshadow]
uint32_t WalkSAT::RANDMOD(uint32_t x)
                                   ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:148:13: note: previous declaration
      is here
    int64_t x;
            ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:103:15: warning: private field
      'makecount' is not used [-Wunused-private-field]
    uint32_t *makecount;    /* number of clauses that become sat if var if flipped */
              ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:131:9: warning: private field
      'freebienoise' is not used [-Wunused-private-field]
    int freebienoise = 0;
        ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:135:10: warning: private field
      'histtotal' is not used [-Wunused-private-field]
    long histtotal;
         ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:138:9: warning: private field
      'undo_age' is not used [-Wunused-private-field]
    int undo_age = 1;
        ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:143:13: warning: private field
      'flips_this_solution' is not used [-Wunused-private-field]
    int64_t flips_this_solution;
            ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/walksat.h:160:12: warning: private field 'f'
      is not used [-Wunused-private-field]
    double f;
           ^
7 warnings generated.
[ 79%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/GitSHA1.cpp
[ 81%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/toplevelgauss.cpp
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/src/toplevelgauss.cpp:28:
In file included from /usr/local/include/m4ri/m4ri.h:56:
In file included from /usr/local/include/m4ri/mzp.h:31:
/usr/local/include/m4ri/mzd.h:510:14: warning: declaration shadows a local variable [-Wshadow]
        word xor_v = *ptr;
             ^
/usr/local/include/m4ri/mzd.h:484:12: note: previous declaration is here
      word xor_v[4];
           ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/toplevelgauss.cpp:416:54: warning: 
      declaration shadows a field of 'CMSat::TopLevelGauss' [-Wshadow]
void TopLevelGauss::Stats::print_short(const Solver* solver) const
                                                     ^
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/toplevelgauss.h:82:13: note: previous
      declaration is here
    Solver* solver;
            ^
2 warnings generated.
[ 83%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -fPIC   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/cryptominisat.cpp
/Users/dfremont/Downloads/cryptominisat-5.6.8/src/cryptominisat.cpp:599:21: warning: code will
      never be executed [-Wunreachable-code]
    for (size_t i = 0; i < data->solvers.size(); ++i) {
                    ^
1 warning generated.
[ 85%] Linking CXX shared library ../lib/libcryptominisat5.dylib
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -dynamiclib -Wl,-headerpad_max_install_names  -O2 -compatibility_version 5.6.0 -current_version 5.6.0 -o ../lib/libcryptominisat5.5.6.dylib -install_name @rpath/libcryptominisat5.5.6.dylib CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/cryptominisat5.dir/prober.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/implcache.cpp.o CMakeFiles/cryptominisat5.dir/stamp.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o  -L/usr/local/lib -Wl,-rpath,/usr/local/lib /usr/local/lib/libm4ri.dylib 
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.5.6.dylib ../lib/libcryptominisat5.5.6.dylib ../lib/libcryptominisat5.dylib
[ 85%] Built target cryptominisat5
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_depends "Unix Makefiles" /Users/dfremont/Downloads/cryptominisat-5.6.8 /Users/dfremont/Downloads/cryptominisat-5.6.8/src /Users/dfremont/Downloads/cryptominisat-5.6.8/build /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color=
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend.internal".
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend.internal".
Scanning dependencies of target cryptominisat5-bin
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build
[ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main.cpp
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main.cpp:48:
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main.h:37:
In file included from /usr/local/include/boost/program_options.hpp:15:
In file included from /usr/local/include/boost/program_options/options_description.hpp:13:
In file included from /usr/local/include/boost/program_options/value_semantic.hpp:14:
In file included from /usr/local/include/boost/lexical_cast.hpp:32:
In file included from /usr/local/include/boost/lexical_cast/try_lexical_convert.hpp:44:
In file included from /usr/local/include/boost/lexical_cast/detail/converter_lexical.hpp:54:
/usr/local/include/boost/lexical_cast/detail/converter_lexical_streams.hpp:280:46: warning: 
      implicit conversion increases floating-point precision: 'float' to 'const double'
      [-Wdouble-promotion]
                const double val_as_double = val;
                             ~~~~~~~~~~~~~   ^~~
/usr/local/include/boost/lexical_cast/detail/converter_lexical_streams.hpp:321:46: warning: 
      implicit conversion increases floating-point precision: 'float' to 'const double'
      [-Wdouble-promotion]
                const double val_as_double = val;
                             ~~~~~~~~~~~~~   ^~~
2 warnings generated.
[ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main_exe.cpp
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main_exe.cpp:24:
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main.h:37:
In file included from /usr/local/include/boost/program_options.hpp:15:
In file included from /usr/local/include/boost/program_options/options_description.hpp:13:
In file included from /usr/local/include/boost/program_options/value_semantic.hpp:14:
In file included from /usr/local/include/boost/lexical_cast.hpp:32:
In file included from /usr/local/include/boost/lexical_cast/try_lexical_convert.hpp:44:
In file included from /usr/local/include/boost/lexical_cast/detail/converter_lexical.hpp:54:
/usr/local/include/boost/lexical_cast/detail/converter_lexical_streams.hpp:280:46: warning: 
      implicit conversion increases floating-point precision: 'float' to 'const double'
      [-Wdouble-promotion]
                const double val_as_double = val;
                             ~~~~~~~~~~~~~   ^~~
/usr/local/include/boost/lexical_cast/detail/converter_lexical_streams.hpp:321:46: warning: 
      implicit conversion increases floating-point precision: 'float' to 'const double'
      [-Wdouble-promotion]
                const double val_as_double = val;
                             ~~~~~~~~~~~~~   ^~~
2 warnings generated.
[ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/signalcode.cpp
[ 93%] Linking CXX executable ../cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/link.txt --verbose=1
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++   -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -Wl,-search_paths_first -Wl,-headerpad_max_install_names  -O2 CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o  -o ../cryptominisat5  -L/usr/local/lib -Wl,-rpath,/usr/local/lib -Wl,-rpath,/Users/dfremont/Downloads/cryptominisat-5.6.8/build/lib ../lib/libcryptominisat5.5.6.dylib /usr/lib/libz.dylib /usr/local/lib/libboost_program_options-mt.dylib /usr/local/lib/libm4ri.dylib 
[ 93%] Built target cryptominisat5-bin
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_depends "Unix Makefiles" /Users/dfremont/Downloads/cryptominisat-5.6.8 /Users/dfremont/Downloads/cryptominisat-5.6.8/src /Users/dfremont/Downloads/cryptominisat-5.6.8/build /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color=
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal".
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal".
Scanning dependencies of target cryptominisat5_simple-bin
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build
[ 95%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src -I/usr/local/include  -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14   -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /Users/dfremont/Downloads/cryptominisat-5.6.8/src/main_simple.cpp
[ 97%] Linking CXX executable ../cryptominisat5_simple
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/link.txt --verbose=1
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++   -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -mmacosx-version-min=10.14 -Wl,-search_paths_first -Wl,-headerpad_max_install_names  -O2 CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o  -o ../cryptominisat5_simple  -L/usr/local/lib -Wl,-rpath,/usr/local/lib -Wl,-rpath,/Users/dfremont/Downloads/cryptominisat-5.6.8/build/lib ../lib/libcryptominisat5.5.6.dylib /usr/lib/libz.dylib /usr/local/lib/libm4ri.dylib 
[ 97%] Built target cryptominisat5_simple-bin
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_depends "Unix Makefiles" /Users/dfremont/Downloads/cryptominisat-5.6.8 /Users/dfremont/Downloads/cryptominisat-5.6.8/src /Users/dfremont/Downloads/cryptominisat-5.6.8/build /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color=
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal".
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal".
Scanning dependencies of target CopyPublicHeaders
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E make_directory /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
Copying cryptominisat_c.h to /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E copy_if_different /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/cryptominisat5/cryptominisat_c.h /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E make_directory /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
Copying cryptominisat.h to /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E copy_if_different /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/cryptominisat5/cryptominisat.h /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E make_directory /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
Copying solvertypesmini.h to /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E copy_if_different /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src/cryptominisat5/solvertypesmini.h /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E make_directory /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
Copying dimacsparser.h to /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E copy_if_different /Users/dfremont/Downloads/cryptominisat-5.6.8/src/dimacsparser.h /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E make_directory /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E echo Copying\ streambuffer.h\ to\ /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
Copying streambuffer.h to /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E copy_if_different /Users/dfremont/Downloads/cryptominisat-5.6.8/src/streambuffer.h /Users/dfremont/Downloads/cryptominisat-5.6.8/build/include/cryptominisat5
[ 97%] Built target CopyPublicHeaders
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build && /usr/local/Cellar/cmake/3.14.5/bin/cmake -E cmake_depends "Unix Makefiles" /Users/dfremont/Downloads/cryptominisat-5.6.8 /Users/dfremont/Downloads/cryptominisat-5.6.8/python /Users/dfremont/Downloads/cryptominisat-5.6.8/build /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color=
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/CMakeFiles/python_interface.dir/depend.internal".
Dependee "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/CMakeFiles/python_interface.dir/depend.internal".
Scanning dependencies of target python_interface
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build
[100%] Generating build/timestamp
cd /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat && /Users/dfremont/Downloads/venv3/bin/python3 setup.py build_ext --inplace --rpath ../lib
running build_ext
building 'pycryptosat' extension
creating build
creating build/temp.macosx-10.9-x86_64-3.8
creating build/temp.macosx-10.9-x86_64-3.8/Users
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat
creating build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -DLIBRARY_VERSION="5.6.8" -I/Library/Frameworks/Python.framework/Versions/3.8/include/python3.8 -c /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src/pycryptosat.cpp -o build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -arch x86_64 -g -I/Users/dfremont/Downloads/cryptominisat-5.6.8 -I/Users/dfremont/Downloads/cryptominisat-5.6.8/build/cmsat5-src
In file included from /Users/dfremont/Downloads/cryptominisat-5.6.8/build/pycryptosat/src/pycryptosat.cpp:27:
In file included from /Library/Frameworks/Python.framework/Versions/3.8/include/python3.8/Python.h:25:
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/stdio.h:108:15: fatal error: 
      'stdio.h' file not found
#include_next <stdio.h>
              ^~~~~~~~~
1 error generated.
error: command '/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc' failed with exit status 1
make[2]: *** [pycryptosat/build/timestamp] Error 1
make[1]: *** [pycryptosat/CMakeFiles/python_interface.dir/all] Error 2
make: *** [all] Error 2

[msoos]

Hi,

This is weird. Maybe because of multiple versions of XCode? Or multiple versions of python under multiple versions of Python? It can be very confusing. I managed to build the python code and run all the tests on OSX on XCode 11.3 with Python 3.7, check it out:

https://travis-ci.org/msoos/cryptominisat/jobs/646143868

I feel like I put quite a bit of effort into this, but I can't seem to reproduce this. Usually it's because of incompatible XCode versions existing at the same time. Sometimes it's because of multiple verisons of Python, often under different verisons of XCode. Can you please look around? It looks more like an issue with your setup than with CryptoMiniSat.

Do you have any idea what could be going on? I am a bit confused :S Thanks!

[msoos]

Closing because it seems to work for me and I got no response :S Please let me know if I can help in any way.

[dfremont]

I figured it out with the assistance of this issue and this StackOverflow answer. On my setup of OS X, /usr/include does not exist (as will apparently always be the case in the future, per here) and you need to provide a different include path. Adding CFLAGS='-isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk' when building CMS solved the problem (where I got that path by running xcrun --show-sdk-path as suggested in the SO answer).

[msoos]

Nice! Thanks so much for looking into this. I have now added the above commit, hopefully it fixes it for you :) Let me know! Thanks again for looking into this! Let me know if this fixes it then I can close this issue, yay! Thanks again,

Mate

PS: I could ask cmake to run xcrun --show-sdk-path but that path seems generic enough, and also, I have no way to test that the cmake stuff would be correct (sometimes it emits end-of-line and other garbage) so I'd rather not risk it. Seems fine to me :)

[dfremont]

Thanks, Mate! Bizarrely, although the -isysroot now appears in the command, I still get the same error, along with a new warning:

clang: warning: no such sysroot directory: ' /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk' [-Wmissing-sysroot]

I just double-checked that removing your fix and setting CFLAGS as I did above still fixes the bug. So where -isysroot appears in the list of options to cc must matter somehow? To make comparing easier, this works:

/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk -DLIBRARY_VERSION="5.6.8" -I/Library/Frameworks/Python.framework/Versions/3.8/include/python3.8 -c /Users/dfremont/Downloads/cryptominisat/build/pycryptosat/src/pycryptosat.cpp -o build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat/build/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -arch x86_64 -g -I/Users/dfremont/Downloads/cryptominisat -I/Users/dfremont/Downloads/cryptominisat/build/cmsat5-src

whereas this doesn't:

/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -DLIBRARY_VERSION="5.6.8" -I/Library/Frameworks/Python.framework/Versions/3.8/include/python3.8 -c /Users/dfremont/Downloads/cryptominisat/build/pycryptosat/src/pycryptosat.cpp -o build/temp.macosx-10.9-x86_64-3.8/Users/dfremont/Downloads/cryptominisat/build/pycryptosat/src/pycryptosat.o -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk -Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -arch x86_64 -g -I/Users/dfremont/Downloads/cryptominisat -I/Users/dfremont/Downloads/cryptominisat/build/cmsat5-src

[msoos]

Well, that's a bit messed up :S Can you please try to extract the correct directory with xcrun --show-sdk-path, put it in a variable, like this:

execute_process(COMMAND ${PYTHON_EXECUTABLE} -c "
from __future__ import print_function;
import sysconfig;
print(sysconfig.get_config_var('LINKFORSHARED'), end = '')"
    OUTPUT_VARIABLE PY_LINKFORSHARED_CONFIG)

Then set the environmental variable like this:

https://stackoverflow.com/questions/35029277/how-to-modify-environment-variables-passed-to-custom-cmake-target

On the line:

    add_custom_command(OUTPUT ${OUTPUT}/timestamp
       COMMAND ${PYTHON_EXECUTABLE}
       ARGS setup.py build_ext --inplace --rpath ../lib
       DEPENDS cryptominisat5
   )

You can check for OSX with: (${CMAKE_SYSTEM_NAME} MATCHES "Darwin")) so you can make another branch to that IF here:

https://github.com/msoos/cryptominisat/blob/master/python/CMakeLists.txt#L74

So I don't think this is too hard... but I can't debug on my Linux desktop and it'd take me forever through TravisCI -- do you think you could do this for me? Thanks!

[dfremont]

Ah, actually it turns out your original patch works fine, if you remove the space between -isysroot and the path (even though clang's help menu shows a space!). If you'd like to have cmake modify the flags instead, I also was able to fix the bug by inserting the following lines in python/CMakeLists.txt as you suggested (and commenting-out the patch you made to python/setup.py.in):

elseif (${CMAKE_SYSTEM_NAME} MATCHES "Darwin")
    execute_process(COMMAND xcrun --show-sdk-path
        OUTPUT_VARIABLE PY_OSX_SDK_PATH
        OUTPUT_STRIP_TRAILING_WHITESPACE)
    message(STATUS "OS X SDK path:  '${PY_OSX_SDK_PATH}'")
    add_custom_command(OUTPUT ${OUTPUT}/timestamp
       COMMAND ${CMAKE_COMMAND} -E env "CFLAGS='-isysroot${PY_OSX_SDK_PATH} $ENV{CFLAGS}'" ${PYTHON_EXECUTABLE}
       ARGS setup.py build_ext --inplace --rpath ../lib
       DEPENDS cryptominisat5
    )

[msoos]

Yaaay! Thanks so much! Fixed as pre code, removing my earlier fix. Thanks again, much appreciated!

Mate