diff options
author | Liana Hadarean <lianahady@gmail.com> | 2016-05-24 22:36:14 -0700 |
---|---|---|
committer | Liana Hadarean <lianahady@gmail.com> | 2016-05-24 22:36:14 -0700 |
commit | 6e8d9a67eb86fbaf7304b5c993487e69d199b8ce (patch) | |
tree | 1c3a789400908c0e4ada691668d43a3ab11f8c60 /contrib | |
parent | 2591fc4f57030b31c2c49d5c2dae9e96d3ce3afa (diff) |
Forgot to add second patch file.
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/cryptominisat-4.2.0.second.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/contrib/cryptominisat-4.2.0.second.patch b/contrib/cryptominisat-4.2.0.second.patch new file mode 100644 index 000000000..4b3fdf722 --- /dev/null +++ b/contrib/cryptominisat-4.2.0.second.patch @@ -0,0 +1,11 @@ +--- python/CMakeLists.txt 2016-05-24 22:05:50.698570824 -0700 ++++ ../new/python/CMakeLists.txt 2016-05-24 22:05:57.774570529 -0700 +@@ -12,7 +12,7 @@ + + add_custom_target(pytarget ALL DEPENDS ${OUTPUT}/timestamp) + +-install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install --record files.txt)") ++#install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install --record files.txt)") + + if (ENABLE_TESTING) + #add_test (pytest ${PYTHON_EXECUTABLE} "${CMAKE_CURRENT_SOURCE_DIR}/test_pycryptosat.py") |