rpms/abc
Archived
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update to latest mercurial snapshot.

Browse source
This commit is contained in:
Jerry James 2018-02-01 21:52:24 -07:00
commit d87bf10db4
6 changed files with 96 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

10
abc-header.patch Normal file
View file

@ -0,0 +1,10 @@
--- src/sat/glucose/Glucose.cpp.orig 2018-01-29 18:01:01.000000000 -0700
+++ src/sat/glucose/Glucose.cpp 2018-02-01 20:58:59.894726225 -0700
@@ -33,6 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
#include "sat/glucose/Solver.h"
#include "sat/glucose/Constants.h"
#include "sat/glucose/System.h"
+#include "misc/util/abc_global.h"
ABC_NAMESPACE_IMPL_START