|
|
101e1a3 |
--- Makefile.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ Makefile 2019-06-04 09:40:32.212192338 -0600
|
|
|
438cf10 |
@@ -20,7 +20,7 @@ MODULES := \
|
|
Jerry James |
575c8c7 |
src/map/mapper src/map/mio src/map/super src/map/if \
|
|
Jerry James |
575c8c7 |
src/map/amap src/map/cov src/map/scl src/map/mpm \
|
|
Jerry James |
575c8c7 |
src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/nm \
|
|
Jerry James |
575c8c7 |
- src/misc/vec src/misc/hash src/misc/tim src/misc/bzlib src/misc/zlib \
|
|
Jerry James |
575c8c7 |
+ src/misc/vec src/misc/hash src/misc/tim \
|
|
|
744413f |
src/misc/mem src/misc/bar src/misc/bbl src/misc/parse \
|
|
|
a19d415 |
src/opt/cut src/opt/fxu src/opt/fxch src/opt/rwr src/opt/mfs src/opt/sim \
|
|
|
744413f |
src/opt/ret src/opt/fret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \
|
|
|
101e1a3 |
@@ -42,6 +42,7 @@ $(ARCHFLAGS_EXE) : arch_flags.c
|
|
|
101e1a3 |
$(CC) arch_flags.c -o $(ARCHFLAGS_EXE)
|
|
|
438cf10 |
|
|
|
101e1a3 |
INCLUDES += -I$(ABCSRC)/src
|
|
|
438cf10 |
+LIBS=-lbz2 -lz
|
|
|
438cf10 |
|
|
|
101e1a3 |
# Use C99 stdint.h header for platform-dependent types
|
|
|
101e1a3 |
ifdef ABC_USE_STDINT_H
|
|
|
101e1a3 |
--- src/base/io/ioReadAiger.c.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/base/io/ioReadAiger.c 2019-06-04 09:40:32.231192003 -0600
|
|
Jerry James |
575c8c7 |
@@ -26,8 +26,8 @@
|
|
Jerry James |
575c8c7 |
#include <string.h>
|
|
Jerry James |
575c8c7 |
#include <assert.h>
|
|
Jerry James |
575c8c7 |
|
|
Jerry James |
575c8c7 |
-#include "misc/bzlib/bzlib.h"
|
|
Jerry James |
575c8c7 |
-#include "misc/zlib/zlib.h"
|
|
Jerry James |
575c8c7 |
+#include <bzlib.h>
|
|
Jerry James |
575c8c7 |
+#include <zlib.h>
|
|
Jerry James |
575c8c7 |
#include "ioAbc.h"
|
|
Jerry James |
575c8c7 |
|
|
Jerry James |
575c8c7 |
ABC_NAMESPACE_IMPL_START
|
|
|
101e1a3 |
--- src/base/io/ioReadBlifMv.c.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/base/io/ioReadBlifMv.c 2019-06-04 09:40:32.232191985 -0600
|
|
Jerry James |
575c8c7 |
@@ -18,8 +18,8 @@
|
|
Jerry James |
575c8c7 |
|
|
Jerry James |
575c8c7 |
***********************************************************************/
|
|
Jerry James |
575c8c7 |
|
|
|
035e24d |
-#include "misc/zlib/zlib.h"
|
|
|
035e24d |
-#include "misc/bzlib/bzlib.h"
|
|
Jerry James |
575c8c7 |
+#include <zlib.h>
|
|
Jerry James |
575c8c7 |
+#include <bzlib.h>
|
|
Jerry James |
575c8c7 |
#include "base/abc/abc.h"
|
|
Jerry James |
575c8c7 |
#include "misc/vec/vecPtr.h"
|
|
Jerry James |
575c8c7 |
#include "ioAbc.h"
|
|
|
101e1a3 |
--- src/base/io/ioWriteAiger.c.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/base/io/ioWriteAiger.c 2019-06-04 09:40:32.233191967 -0600
|
|
Jerry James |
575c8c7 |
@@ -26,8 +26,8 @@
|
|
Jerry James |
575c8c7 |
#include <string.h>
|
|
Jerry James |
575c8c7 |
#include <assert.h>
|
|
Jerry James |
575c8c7 |
|
|
Jerry James |
575c8c7 |
-#include "misc/bzlib/bzlib.h"
|
|
Jerry James |
575c8c7 |
-#include "misc/zlib/zlib.h"
|
|
Jerry James |
575c8c7 |
+#include <bzlib.h>
|
|
Jerry James |
575c8c7 |
+#include <zlib.h>
|
|
Jerry James |
575c8c7 |
#include "ioAbc.h"
|
|
Jerry James |
575c8c7 |
|
|
Jerry James |
575c8c7 |
|
|
|
101e1a3 |
--- src/sat/bsat2/MainSat.cpp.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/sat/bsat2/MainSat.cpp 2019-06-04 09:40:32.234191950 -0600
|
|
|
d87bf10 |
@@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
|
d87bf10 |
#include <errno.h>
|
|
|
d87bf10 |
|
|
|
d87bf10 |
#include <signal.h>
|
|
|
d87bf10 |
-#include "misc/zlib/zlib.h"
|
|
|
d87bf10 |
+#include <zlib.h>
|
|
|
d87bf10 |
|
|
|
d87bf10 |
#include "System.h"
|
|
|
d87bf10 |
#include "ParseUtils.h"
|
|
|
101e1a3 |
--- src/sat/bsat2/MainSimp.cpp.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/sat/bsat2/MainSimp.cpp 2019-06-04 09:40:32.234191950 -0600
|
|
|
035e24d |
@@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
|
d87bf10 |
#include <errno.h>
|
|
|
d87bf10 |
|
|
|
d87bf10 |
#include <signal.h>
|
|
|
035e24d |
-#include "misc/zlib/zlib.h"
|
|
|
d87bf10 |
+#include <zlib.h>
|
|
|
d87bf10 |
|
|
|
035e24d |
#ifndef _WIN32
|
|
|
035e24d |
#include <sys/resource.h>
|
|
|
101e1a3 |
--- src/sat/bsat2/ParseUtils.h.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/sat/bsat2/ParseUtils.h 2019-06-04 09:40:32.235191932 -0600
|
|
|
d87bf10 |
@@ -24,7 +24,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
|
d87bf10 |
#include <stdlib.h>
|
|
|
d87bf10 |
#include <stdio.h>
|
|
|
d87bf10 |
|
|
|
d87bf10 |
-#include "misc/zlib/zlib.h"
|
|
|
d87bf10 |
+#include <zlib.h>
|
|
|
d87bf10 |
|
|
|
d87bf10 |
namespace Minisat {
|
|
|
d87bf10 |
|
|
|
101e1a3 |
--- src/sat/cnf/cnfMan.c.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/sat/cnf/cnfMan.c 2019-06-04 09:40:32.235191932 -0600
|
|
Jerry James |
575c8c7 |
@@ -21,7 +21,7 @@
|
|
Jerry James |
575c8c7 |
#include "cnf.h"
|
|
Jerry James |
575c8c7 |
#include "sat/bsat/satSolver.h"
|
|
Jerry James |
575c8c7 |
#include "sat/bsat/satSolver2.h"
|
|
Jerry James |
575c8c7 |
-#include "misc/zlib/zlib.h"
|
|
Jerry James |
575c8c7 |
+#include <zlib.h>
|
|
Jerry James |
575c8c7 |
|
|
Jerry James |
575c8c7 |
ABC_NAMESPACE_IMPL_START
|
|
Jerry James |
575c8c7 |
|
|
|
101e1a3 |
--- src/sat/glucose/ParseUtils.h.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/sat/glucose/ParseUtils.h 2019-06-04 09:40:32.236191914 -0600
|
|
|
d87bf10 |
@@ -25,7 +25,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
|
035e24d |
#include <stdio.h>
|
|
|
035e24d |
#include <math.h>
|
|
|
035e24d |
|
|
|
035e24d |
-#include "misc/zlib/zlib.h"
|
|
|
035e24d |
+#include <zlib.h>
|
|
|
035e24d |
|
|
|
035e24d |
ABC_NAMESPACE_CXX_HEADER_START
|
|
|
035e24d |
|