BR cryptominisat-devel, and fix cryptominisat header path.
This commit is contained in:
parent
5f844b447d
commit
033f4b92c1
|
@ -61,7 +61,7 @@
|
||||||
|
|
||||||
-#include "cryptominisat2/Solver.h"
|
-#include "cryptominisat2/Solver.h"
|
||||||
-#include "cryptominisat2/SolverTypes.h"
|
-#include "cryptominisat2/SolverTypes.h"
|
||||||
+#include <cmsat/Solver/Solver.h>
|
+#include <cmsat/Solver.h>
|
||||||
|
|
||||||
namespace BEEV
|
namespace BEEV
|
||||||
{
|
{
|
||||||
|
|
1
stp.spec
1
stp.spec
|
@ -28,6 +28,7 @@ Patch1: stp-warning.patch
|
||||||
|
|
||||||
BuildRequires: bison
|
BuildRequires: bison
|
||||||
BuildRequires: boost-devel
|
BuildRequires: boost-devel
|
||||||
|
BuildRequires: cryptominisat-devel
|
||||||
BuildRequires: flex
|
BuildRequires: flex
|
||||||
BuildRequires: time
|
BuildRequires: time
|
||||||
BuildRequires: zlib-devel
|
BuildRequires: zlib-devel
|
||||||
|
|
Loading…
Reference in New Issue