Makefile | 4 3 + 1 - 0 !
src/base/io/ioReadAiger.c | 2 1 + 1 - 0 !
src/base/io/ioWriteAiger.c | 2 1 + 1 - 0 !
3 files changed, 5 insertions(+), 3 deletions(-)

 the library bzlib is included in the source and

 built as a convenience library. This patch prevents this from being
 built and links berkeley-abc with debian's bzlib library instead.

Makefile | 3 2 + 1 - 0 !
src/base/io/ioReadAiger.c | 2 1 + 1 - 0 !
src/base/io/ioWriteAiger.c | 2 1 + 1 - 0 !
src/sat/cnf/cnfMan.c | 2 1 + 1 - 0 !
4 files changed, 5 insertions(+), 4 deletions(-)

 the library zlib is included in the source and

 built as a convenience library. This patch prevents this from being
 built and links berkeley-abc with debian's zlib library instead.

Makefile | 12 6 + 6 - 0 !
1 file changed, 6 insertions(+), 6 deletions(-)

 using ldflags and cppflagspassed down from

 dpkg-buildflags such that hardening gets enabled.

src/base/cmd/cmdUtils.c | 2 1 + 1 - 0 !
src/base/main/mainUtils.c | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 remove the __time__ etc macros

Otherwise the debian package checking complains...
===================================================================

src/base/io/ioWritePla.c | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 soften an overzealous assert

otherwise the abc will refuse to output trivial functions(constant 1 or 0).

src/aig/saig/saigIso.c | 2 1 + 1 - 0 !
src/aig/saig/saigIsoFast.c | 2 1 + 1 - 0 !
src/aig/saig/saigMiter.c | 2 1 + 1 - 0 !
src/aig/saig/saigSimMv.c | 4 2 + 2 - 0 !
src/base/abc/abcLatch.c | 2 1 + 1 - 0 !
src/base/abci/abc.c | 24 12 + 12 - 0 !
src/base/abci/abcCut.c | 2 1 + 1 - 0 !
src/base/cmd/cmd.c | 6 3 + 3 - 0 !
src/base/io/io.c | 2 1 + 1 - 0 !
src/base/io/ioReadDsd.c | 2 1 + 1 - 0 !
src/base/io/ioUtil.c | 2 1 + 1 - 0 !
src/bdd/cudd/cuddSubsetSP.c | 2 1 + 1 - 0 !
src/map/if/ifTune.c | 4 2 + 2 - 0 !
src/map/mpm/mpmMan.c | 2 1 + 1 - 0 !
src/map/scl/scl.c | 4 2 + 2 - 0 !
src/opt/dau/dauTree.c | 4 2 + 2 - 0 !
src/opt/rwr/rwrExp.c | 6 3 + 3 - 0 !
src/proof/abs/absGla.c | 2 1 + 1 - 0 !
src/proof/abs/absRpmOld.c | 2 1 + 1 - 0 !
src/proof/acec/acecFadds.c | 2 1 + 1 - 0 !
src/sat/bmc/bmcMulti.c | 2 1 + 1 - 0 !
21 files changed, 40 insertions(+), 40 deletions(-)

 fix spelling errors