[stp] BR cryptominisat-devel, and fix cryptominisat header path.

[Jerry James]

commit 033f4b92c11ee09a5bb0eda3e497bc6d62d55034
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Aug 10 17:10:52 2012 -0600

    BR cryptominisat-devel, and fix cryptominisat header path.

 stp-unbundle.patch |    2 +-
 stp.spec           |    1 +
 2 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/stp-unbundle.patch b/stp-unbundle.patch
index 5a34543..5c7a525 100644
--- a/stp-unbundle.patch
+++ b/stp-unbundle.patch
@@ -61,7 +61,7 @@
  
 -#include "cryptominisat2/Solver.h"
 -#include "cryptominisat2/SolverTypes.h"
-+#include <cmsat/Solver/Solver.h>
++#include <cmsat/Solver.h>
  
  namespace BEEV
  {
diff --git a/stp.spec b/stp.spec
index 913501c..f83e31e 100644
--- a/stp.spec
+++ b/stp.spec
@@ -28,6 +28,7 @@ Patch1:		stp-warning.patch
 
 BuildRequires:	bison
 BuildRequires:	boost-devel
+BuildRequires:  cryptominisat-devel
 BuildRequires:	flex
 BuildRequires:	time
 BuildRequires:	zlib-devel