summaryrefslogtreecommitdiff
path: root/contrib/cryptominisat-4.2.0.second.patch
blob: 4b3fdf722e01fadd0145f4baa8c41176a790a2a3 (plain)
1
2
3
4
5
6
7
8
9
10
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")
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback