diff options
Diffstat (limited to 'contrib/cryptominisat-4.2.0.patch')
-rw-r--r-- | contrib/cryptominisat-4.2.0.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/contrib/cryptominisat-4.2.0.patch b/contrib/cryptominisat-4.2.0.patch new file mode 100644 index 000000000..30b24a3cc --- /dev/null +++ b/contrib/cryptominisat-4.2.0.patch @@ -0,0 +1,12 @@ +diff -ruN orig/CMakeLists.txt new/CMakeLists.txt +--- CMakeLists.txt 2016-05-24 22:05:50.702570824 -0700 ++++ patched.txt 2016-05-24 22:05:57.778570529 -0700 +@@ -132,7 +132,7 @@ + set(CMAKE_FIND_LIBRARY_SUFFIXES ".a") + SET(Boost_USE_STATIC_LIBS ON) + set(CMAKE_EXE_LINKER_FLAGS "-static -Wl,--whole-archive -lpthread -Wl,--no-whole-archive") +- ++ add_cxx_flag_if_supported("-fPIC") + set(NOMYSQL ON) + else() + add_definitions(-DBOOST_TEST_DYN_LINK) |