From 6e8d9a67eb86fbaf7304b5c993487e69d199b8ce Mon Sep 17 00:00:00 2001
From: Liana Hadarean <lianahady@gmail.com>
Date: Tue, 24 May 2016 22:36:14 -0700
Subject: [PATCH] Forgot to add second patch file.

---
 contrib/cryptominisat-4.2.0.second.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 contrib/cryptominisat-4.2.0.second.patch

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")
-- 
2.30.2