summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/cmake.patch
diff options
context:
space:
mode:
Diffstat (limited to 'meta/recipes-extended/sat-solver/sat-solver/cmake.patch')
-rw-r--r--meta/recipes-extended/sat-solver/sat-solver/cmake.patch31
1 files changed, 0 insertions, 31 deletions
diff --git a/meta/recipes-extended/sat-solver/sat-solver/cmake.patch b/meta/recipes-extended/sat-solver/sat-solver/cmake.patch
deleted file mode 100644
index c1ec86ad68..0000000000
--- a/meta/recipes-extended/sat-solver/sat-solver/cmake.patch
+++ /dev/null
@@ -1,31 +0,0 @@
1Upstream-Status: Inappropriate [configuration]
2
3Enable debugging for all builds
4not building docs (need oxygen)
5
68/19/2010 - created by Qing He <qing.he@intel.com>
71/24/2011 - Disable Fedora/Debian checking/settings by Mark Hatle <mark.hatle@windriver.com>
83/15/2011 - Updated to newer version of sat-solver by Mark Hatle <mark.hatle@windriver.com>
93/16/2011 - Split original patch and simplify by Mark Hatle <mark.hatle@windriver.com>
10
11diff -ur git.orig2/CMakeLists.txt git/CMakeLists.txt
12--- git.orig2/CMakeLists.txt 2011-03-16 16:29:43.532032285 -0500
13+++ git/CMakeLists.txt 2011-03-16 16:32:59.982034501 -0500
14@@ -177,7 +177,7 @@
15
16 MESSAGE(STATUS "Looking modules in ${CMAKE_MODULE_PATH}")
17
18-set ( CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Werror -Wall" )
19+set ( CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Werror -Wall -g" )
20 set ( CMAKE_C_FLAGS_RELEASE "${CMAKE_C_FLAGS} -g -O3" )
21 set ( CMAKE_C_FLAGS_DEBUG "${CMAKE_C_FLAGS} -g3 -O0" )
22
23@@ -186,7 +186,7 @@
24 ADD_SUBDIRECTORY(tools)
25 ADD_SUBDIRECTORY(tests)
26 ADD_SUBDIRECTORY(examples)
27-ADD_SUBDIRECTORY(doc)
28+#ADD_SUBDIRECTORY(doc)
29
30 MESSAGE(STATUS "version: ${VERSION}")
31