Attachment #208619 for bug #241511




# $FreeBSD$

PORTNAME=	abc
DISTVERSION=	g20191026
PORTREVISION=	1
CATEGORIES=	cad

MAINTAINER=	uddka@student.kit.edu

LICENSE=	MIT
LICENSE_FILE=	${WRKSRC}/copyright.txt

USES=		cmake
USE_GITHUB=	yes
GH_ACCOUNT=	berkeley-abc
GH_TAGNAME=	f9309ce
USE_LDCONFIG=	yes

MAKE_ENV=	ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1
CFLAGS+=	-fPIC
CXXFLAGS+=	-fPIC

OPTIONS_DEFINE=	DEBUG READLINE THREADS

OPTIONS_DEFINE=	DEBUG DOCS READLINE THREADS
OPTIONS_DEFAULT=	READLINE THREADS

READLINE_USES=	readline


THREADS_MAKE_ENV_OFF=	ABC_USE_NO_PTHREADS=1

PORTDOCS=	README.md readmeaig

post-build:
	cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ABC_USE_PIC=1 lib${PORTNAME}.so

do-install:
	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
	@${MKDIR} ${STAGEDIR}${PREFIX}/include/abc
.for i in aig base bdd bool generic.h  map misc opt phys proof sat
	@cd ${WRKSRC}/src && ${COPYTREE_SHARE} ${i} ${STAGEDIR}${PREFIX}/include/abc/
.endfor
	@${FIND} ${STAGEDIR}${PREFIX}/include/abc -name "*.c" | ${XARGS} ${RM}

do-install-DOCS-on:
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/readmeaig ${STAGEDIR}${DOCSDIR}

.include <bsd.port.mk>

Lines 1-3 Link Here

(-)cad/abc/distinfo (-3 / +3 lines)
1	TIMESTAMP = 1524554306	1	TIMESTAMP = 1572128636
2	SHA256 (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = ec291913390100d8b91264cba754fdf00274516d5f81d8b6ae2838d4489d0384	2	SHA256 (berkeley-abc-abc-g20191026-f9309ce_GH0.tar.gz) = b96c4ef8135101a04e59114c2625a258faf6edbda84b227bbe9a527a77969bdf
3	SIZE (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = 5591634	3	SIZE (berkeley-abc-abc-g20191026-f9309ce_GH0.tar.gz) = 5717614




--- CMakeLists.txt.orig	2019-10-26 15:54:10 UTC
+++ CMakeLists.txt
@@ -50,7 +50,7 @@ endif()
 # run make to extract compiler options, linker options and list of source files
 execute_process(
   COMMAND
-    make
+    gmake
         ${ABC_READLINE_FLAGS}
         ${ABC_USE_NAMESPACE_FLAGS}
         ARCHFLAGS_EXE=${CMAKE_CURRENT_BINARY_DIR}/abc_arch_flags_program.exe
@@ -91,7 +91,8 @@ endfunction()
 set(ABC_MAIN_SRC src/base/main/main.c)
 list(REMOVE_ITEM ABC_SRC ${ABC_MAIN_SRC})
 
-add_library(libabc EXCLUDE_FROM_ALL ${ABC_SRC})
+add_library(libabc EXCLUDE_FROM_ALL SHARED ${ABC_SRC})
+set_property(TARGET libabc PROPERTY POSITION_INDEPENDENT_CODE ON) # see also https://github.com/berkeley-abc/abc/issues/56
 abc_properties(libabc PUBLIC)
 set_property(TARGET libabc PROPERTY OUTPUT_NAME abc)
 
@@ -99,7 +100,7 @@ add_executable(abc ${ABC_MAIN_SRC})
 target_link_libraries(abc PRIVATE libabc)
 abc_properties(abc PRIVATE)
 
-add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
-abc_properties(libabc-pic PUBLIC)
-set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
-set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)
+#add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
+#abc_properties(libabc-pic PUBLIC)
+#set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
+#set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)

Lines 1-4 Link Here

(-)cad/abc/files/patch-Makefile (-5 / +5 lines)
1	--- Makefile.orig 2018-03-30 08:04:05 UTC	1	--- Makefile.orig 2019-10-26 15:54:10 UTC
2	+++ Makefile	2	+++ Makefile
3	@@ -1,6 +1,4 @@	3	@@ -1,6 +1,4 @@
4		4
Lines 7-18 Link Here
7	LD := $(CXX)	7	LD := $(CXX)
8		8
9	MSG_PREFIX ?=	9	MSG_PREFIX ?=
10	@@ -52,8 +50,6 @@ endif	10	@@ -51,8 +49,6 @@ else
		11	endif
11		12
12	ARCHFLAGS := $(ARCHFLAGS)	13	ARCHFLAGS := $(ARCHFLAGS)
		14	-
		15	-OPTFLAGS ?= -g -O
13		16
14	-OPTFLAGS ?= -g -O
15	-
16	CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS)	17	CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS)
17	ifneq ($(findstring arm,$(shell uname -m)),)	18	ifneq ($(findstring arm,$(shell uname -m)),)
18	CFLAGS += -DABC_MEMALIGN=4




bin/abc
include/abc/aig/aig/aig.h
include/abc/aig/aig/module.make
include/abc/aig/gia/gia.h
include/abc/aig/gia/giaAig.h
include/abc/aig/gia/giaIiff.h
include/abc/aig/gia/module.make
include/abc/aig/hop/cudd2.h
include/abc/aig/hop/hop.h
include/abc/aig/hop/module.make
include/abc/aig/ioa/ioa.h
include/abc/aig/ioa/module.make
include/abc/aig/ivy/attr.h
include/abc/aig/ivy/ivy.h
include/abc/aig/ivy/module.make
include/abc/aig/miniaig/abcOper.h
include/abc/aig/miniaig/miniaig.h
include/abc/aig/miniaig/minilut.h
include/abc/aig/miniaig/module.make
include/abc/aig/miniaig/ndr.h
include/abc/aig/saig/module.make
include/abc/aig/saig/saig.h
include/abc/base/abc/abc.h
include/abc/base/abc/abcInt.h
include/abc/base/abc/module.make
include/abc/base/abci/module.make
include/abc/base/acb/acb.h
include/abc/base/acb/acbPar.h
include/abc/base/acb/acbSets.h
include/abc/base/acb/module.make
include/abc/base/aig/aig/aig.h
include/abc/base/aig/aig/module.make
include/abc/base/aig/gia/gia.h
include/abc/base/aig/gia/giaAig.h
include/abc/base/aig/gia/giaIiff.h
include/abc/base/aig/gia/module.make
include/abc/base/aig/hop/cudd2.h
include/abc/base/aig/hop/hop.h
include/abc/base/aig/hop/module.make
include/abc/base/aig/ioa/ioa.h
include/abc/base/aig/ioa/module.make
include/abc/base/aig/ivy/attr.h
include/abc/base/aig/ivy/ivy.h
include/abc/base/aig/ivy/module.make
include/abc/base/aig/miniaig/abcOper.h
include/abc/base/aig/miniaig/miniaig.h
include/abc/base/aig/miniaig/minilut.h
include/abc/base/aig/miniaig/module.make
include/abc/base/aig/miniaig/ndr.h
include/abc/base/aig/saig/module.make
include/abc/base/aig/saig/saig.h
include/abc/base/bac/bac.h
include/abc/base/bac/bacPrs.h
include/abc/base/bac/module.make
include/abc/base/bdd/bbr/bbr.h
include/abc/base/bdd/bbr/module.make
include/abc/base/bdd/cas/cas.h
include/abc/base/bdd/cas/module.make
include/abc/base/bdd/cudd/Makefile
include/abc/base/bdd/cudd/cuBdd.make
include/abc/base/bdd/cudd/cudd.h
include/abc/base/bdd/cudd/cudd.make
include/abc/base/bdd/cudd/cuddInt.h
include/abc/base/bdd/cudd/license
include/abc/base/bdd/cudd/module.make
include/abc/base/bdd/cudd/r7x8.1.mat
include/abc/base/bdd/cudd/r7x8.1.out
include/abc/base/bdd/dsd/dsd.h
include/abc/base/bdd/dsd/dsdInt.h
include/abc/base/bdd/dsd/module.make
include/abc/base/bdd/epd/epd.h
include/abc/base/bdd/epd/module.make
include/abc/base/bdd/extrab/extraBdd.h
include/abc/base/bdd/extrab/module.make
include/abc/base/bdd/llb/llb.h
include/abc/base/bdd/llb/llbInt.h
include/abc/base/bdd/llb/module.make
include/abc/base/bdd/mtr/module.make
include/abc/base/bdd/mtr/mtr.h
include/abc/base/bdd/mtr/mtrInt.h
include/abc/base/bdd/reo/module.make
include/abc/base/bdd/reo/reo.h
include/abc/base/cba/cba.h
include/abc/base/cba/cbaPrs.h
include/abc/base/cba/cbaTypes.h
include/abc/base/cba/module.make
include/abc/base/cmd/cmd.h
include/abc/base/cmd/cmdInt.h
include/abc/base/cmd/module.make
include/abc/base/exor/exor.h
include/abc/base/exor/module.make
include/abc/base/io/ioAbc.h
include/abc/base/io/ioInt.h
include/abc/base/io/module.make
include/abc/base/main/abcapis.h
include/abc/base/main/abcapis_old.h
include/abc/base/main/main.h
include/abc/base/main/mainInt.h
include/abc/base/main/module.make
include/abc/base/pla/module.make
include/abc/base/pla/pla.h
include/abc/base/test/module.make
include/abc/base/ver/module.make
include/abc/base/ver/ver.h
include/abc/base/wlc/module.make
include/abc/base/wlc/wlc.h
include/abc/base/wln/module.make
include/abc/base/wln/wln.h
include/abc/bdd/bbr/bbr.h
include/abc/bdd/bbr/module.make
include/abc/bdd/cas/cas.h
include/abc/bdd/cas/module.make
include/abc/bdd/cudd/Makefile
include/abc/bdd/cudd/cuBdd.make
include/abc/bdd/cudd/cudd.h
include/abc/bdd/cudd/cudd.make
include/abc/bdd/cudd/cuddInt.h
include/abc/bdd/cudd/license
include/abc/bdd/cudd/module.make
include/abc/bdd/cudd/r7x8.1.mat
include/abc/bdd/cudd/r7x8.1.out
include/abc/bdd/dsd/dsd.h
include/abc/bdd/dsd/dsdInt.h
include/abc/bdd/dsd/module.make
include/abc/bdd/epd/epd.h
include/abc/bdd/epd/module.make
include/abc/bdd/extrab/extraBdd.h
include/abc/bdd/extrab/module.make
include/abc/bdd/llb/llb.h
include/abc/bdd/llb/llbInt.h
include/abc/bdd/llb/module.make
include/abc/bdd/mtr/module.make
include/abc/bdd/mtr/mtr.h
include/abc/bdd/mtr/mtrInt.h
include/abc/bdd/reo/module.make
include/abc/bdd/reo/reo.h
include/abc/bool/bdc/bdc.h
include/abc/bool/bdc/bdcInt.h
include/abc/bool/bdc/module.make
include/abc/bool/dec/dec.h
include/abc/bool/dec/module.make
include/abc/bool/deco/deco.h
include/abc/bool/deco/module.make
include/abc/bool/kit/cloud.h
include/abc/bool/kit/kit.h
include/abc/bool/kit/module.make
include/abc/bool/lucky/lucky.h
include/abc/bool/lucky/luckyInt.h
include/abc/bool/lucky/module.make
include/abc/bool/rpo/literal.h
include/abc/bool/rpo/module.make
include/abc/bool/rpo/rpo.h
include/abc/bool/rsb/module.make
include/abc/bool/rsb/rsb.h
include/abc/bool/rsb/rsbInt.h
include/abc/generic.h
include/abc/map/amap/amap.h
include/abc/map/amap/amapInt.h
include/abc/map/amap/module.make
include/abc/map/cov/cov.h
include/abc/map/cov/covInt.h
include/abc/map/cov/module.make
include/abc/map/fpga/fpga.h
include/abc/map/fpga/fpgaInt.h
include/abc/map/fpga/module.make
include/abc/map/if/if.h
include/abc/map/if/ifCount.h
include/abc/map/if/module.make
include/abc/map/mapper/mapper.h
include/abc/map/mapper/mapperInt.h
include/abc/map/mapper/module.make
include/abc/map/mio/exp.h
include/abc/map/mio/mio.h
include/abc/map/mio/mioInt.h
include/abc/map/mio/module.make
include/abc/map/mpm/module.make
include/abc/map/mpm/mpm.h
include/abc/map/mpm/mpmInt.h
include/abc/map/mpm/mpmMig.h
include/abc/map/scl/module.make
include/abc/map/scl/scl.h
include/abc/map/scl/sclCon.h
include/abc/map/scl/sclLib.h
include/abc/map/scl/sclSize.h
include/abc/map/scl/sclTime.h
include/abc/map/super/module.make
include/abc/map/super/super.h
include/abc/map/super/superInt.h
include/abc/misc/avl/avl.doc
include/abc/misc/avl/avl.h
include/abc/misc/bar/bar.h
include/abc/misc/bar/module.make
include/abc/misc/bbl/bblif.h
include/abc/misc/bbl/module.make
include/abc/misc/bzlib/CHANGES
include/abc/misc/bzlib/LICENSE
include/abc/misc/bzlib/bzip2.txt
include/abc/misc/bzlib/bzlib.h
include/abc/misc/bzlib/bzlib_private.h
include/abc/misc/bzlib/link.txt
include/abc/misc/bzlib/manual.html
include/abc/misc/bzlib/module.make
include/abc/misc/espresso/espresso.h
include/abc/misc/espresso/main.h
include/abc/misc/espresso/mincov.h
include/abc/misc/espresso/mincov_int.h
include/abc/misc/espresso/module.make
include/abc/misc/espresso/sparse.h
include/abc/misc/espresso/sparse_int.h
include/abc/misc/espresso/util_old.h
include/abc/misc/extra/extra.h
include/abc/misc/extra/module.make
include/abc/misc/hash/hash.h
include/abc/misc/hash/hashFlt.h
include/abc/misc/hash/hashGen.h
include/abc/misc/hash/hashInt.h
include/abc/misc/hash/hashPtr.h
include/abc/misc/hash/module.make
include/abc/misc/mem/mem.h
include/abc/misc/mem/mem2.h
include/abc/misc/mem/module.make
include/abc/misc/mvc/module.make
include/abc/misc/mvc/mvc.h
include/abc/misc/nm/module.make
include/abc/misc/nm/nm.h
include/abc/misc/nm/nmInt.h
include/abc/misc/parse/module.make
include/abc/misc/parse/parse.h
include/abc/misc/parse/parseInt.h
include/abc/misc/st/module.make
include/abc/misc/st/st.h
include/abc/misc/st/stmm.h
include/abc/misc/tim/module.make
include/abc/misc/tim/tim.h
include/abc/misc/tim/timInt.h
include/abc/misc/util/abc_global.h
include/abc/misc/util/abc_global.h.orig
include/abc/misc/util/abc_namespaces.h
include/abc/misc/util/module.make
include/abc/misc/util/utilCex.h
include/abc/misc/util/utilDouble.h
include/abc/misc/util/utilFloat.h
include/abc/misc/util/utilMem.h
include/abc/misc/util/utilNam.h
include/abc/misc/util/utilSignal.h
include/abc/misc/util/utilTruth.h
include/abc/misc/util/util_hack.h
include/abc/misc/vec/module.make
include/abc/misc/vec/vec.h
include/abc/misc/vec/vecAtt.h
include/abc/misc/vec/vecBit.h
include/abc/misc/vec/vecFlt.h
include/abc/misc/vec/vecHash.h
include/abc/misc/vec/vecHsh.h
include/abc/misc/vec/vecInt.h
include/abc/misc/vec/vecMem.h
include/abc/misc/vec/vecPtr.h
include/abc/misc/vec/vecQue.h
include/abc/misc/vec/vecSet.h
include/abc/misc/vec/vecStr.h
include/abc/misc/vec/vecVec.h
include/abc/misc/vec/vecWec.h
include/abc/misc/vec/vecWrd.h
include/abc/misc/zlib/README
include/abc/misc/zlib/algorithm.txt
include/abc/misc/zlib/crc32.h
include/abc/misc/zlib/deflate.h
include/abc/misc/zlib/gzguts.h
include/abc/misc/zlib/inffast.h
include/abc/misc/zlib/inffixed.h
include/abc/misc/zlib/inflate.h
include/abc/misc/zlib/inftrees.h
include/abc/misc/zlib/license
include/abc/misc/zlib/link.txt
include/abc/misc/zlib/module.make
include/abc/misc/zlib/trees.h
include/abc/misc/zlib/zconf.h
include/abc/misc/zlib/zlib.h
include/abc/misc/zlib/zutil.h
include/abc/opt/cgt/cgt.h
include/abc/opt/cgt/cgtInt.h
include/abc/opt/cgt/module.make
include/abc/opt/csw/csw.h
include/abc/opt/csw/cswInt.h
include/abc/opt/csw/module.make
include/abc/opt/cut/cut.h
include/abc/opt/cut/cutInt.h
include/abc/opt/cut/cutList.h
include/abc/opt/cut/module.make
include/abc/opt/dar/dar.h
include/abc/opt/dar/darInt.h
include/abc/opt/dar/module.make
include/abc/opt/dau/dau.h
include/abc/opt/dau/dauInt.h
include/abc/opt/dau/module.make
include/abc/opt/dsc/dsc.h
include/abc/opt/dsc/module.make
include/abc/opt/fret/fretime.h
include/abc/opt/fret/module.make
include/abc/opt/fsim/fsim.h
include/abc/opt/fsim/fsimInt.h
include/abc/opt/fsim/module.make
include/abc/opt/fxch/Fxch.h
include/abc/opt/fxch/module.make
include/abc/opt/fxu/fxu.h
include/abc/opt/fxu/fxuInt.h
include/abc/opt/fxu/module.make
include/abc/opt/lpk/lpk.h
include/abc/opt/lpk/lpkInt.h
include/abc/opt/lpk/module.make
include/abc/opt/mfs/mfs.h
include/abc/opt/mfs/mfsInt.h
include/abc/opt/mfs/module.make
include/abc/opt/nwk/module.make
include/abc/opt/nwk/ntlnwk.h
include/abc/opt/nwk/nwk.h
include/abc/opt/nwk/nwkMerge.h
include/abc/opt/res/module.make
include/abc/opt/res/res.h
include/abc/opt/res/resInt.h
include/abc/opt/ret/module.make
include/abc/opt/ret/retInt.h
include/abc/opt/rwr/module.make
include/abc/opt/rwr/rwr.h
include/abc/opt/rwt/module.make
include/abc/opt/rwt/rwt.h
include/abc/opt/sbd/module.make
include/abc/opt/sbd/sbd.h
include/abc/opt/sbd/sbdInt.h
include/abc/opt/sfm/module.make
include/abc/opt/sfm/sfm.h
include/abc/opt/sfm/sfmInt.h
include/abc/opt/sim/module.make
include/abc/opt/sim/sim.h
include/abc/phys/place/Makefile
include/abc/phys/place/README
include/abc/phys/place/hpwl
include/abc/phys/place/libhmetis.h
include/abc/phys/place/module.make
include/abc/phys/place/place_base.h
include/abc/phys/place/place_gordian.h
include/abc/phys/place/place_qpsolver.h
include/abc/proof/abs/abs.h
include/abc/proof/abs/absRef.h
include/abc/proof/abs/absRefJ.h
include/abc/proof/abs/module.make
include/abc/proof/acec/acec.h
include/abc/proof/acec/acecInt.h
include/abc/proof/acec/module.make
include/abc/proof/cec/cec.h
include/abc/proof/cec/cecInt.h
include/abc/proof/cec/module.make
include/abc/proof/dch/dch.h
include/abc/proof/dch/dchInt.h
include/abc/proof/dch/module.make
include/abc/proof/fra/fra.h
include/abc/proof/fra/module.make
include/abc/proof/fraig/fraig.h
include/abc/proof/fraig/fraigInt.h
include/abc/proof/fraig/module.make
include/abc/proof/int/int.h
include/abc/proof/int/intInt.h
include/abc/proof/int/module.make
include/abc/proof/int2/int2.h
include/abc/proof/int2/int2Int.h
include/abc/proof/int2/module.make
include/abc/proof/live/module.make
include/abc/proof/pdr/module.make
include/abc/proof/pdr/pdr.h
include/abc/proof/pdr/pdrInt.h
include/abc/proof/ssc/module.make
include/abc/proof/ssc/ssc.h
include/abc/proof/ssc/sscInt.h
include/abc/proof/ssw/module.make
include/abc/proof/ssw/ssw.h
include/abc/proof/ssw/sswInt.h
include/abc/sat/bmc/bmc.h
include/abc/sat/bmc/module.make
include/abc/sat/bsat/license
include/abc/sat/bsat/module.make
include/abc/sat/bsat/satClause.h
include/abc/sat/bsat/satMem.h
include/abc/sat/bsat/satProof2.h
include/abc/sat/bsat/satSolver.h
include/abc/sat/bsat/satSolver2.h
include/abc/sat/bsat/satSolver3.h
include/abc/sat/bsat/satStore.h
include/abc/sat/bsat/satTruth.h
include/abc/sat/bsat/satVec.h
include/abc/sat/bsat2/AbcApi.cpp
include/abc/sat/bsat2/Alg.h
include/abc/sat/bsat2/Alloc.h
include/abc/sat/bsat2/Dimacs.h
include/abc/sat/bsat2/Heap.h
include/abc/sat/bsat2/IntTypes.h
include/abc/sat/bsat2/LICENSE
include/abc/sat/bsat2/MainSat.cpp
include/abc/sat/bsat2/MainSimp.cpp
include/abc/sat/bsat2/Map.h
include/abc/sat/bsat2/Options.cpp
include/abc/sat/bsat2/Options.h
include/abc/sat/bsat2/ParseUtils.h
include/abc/sat/bsat2/Queue.h
include/abc/sat/bsat2/README
include/abc/sat/bsat2/ReleaseNotes-2.2.0.txt
include/abc/sat/bsat2/SimpSolver.cpp
include/abc/sat/bsat2/SimpSolver.h
include/abc/sat/bsat2/Solver.cpp
include/abc/sat/bsat2/Solver.h
include/abc/sat/bsat2/SolverTypes.h
include/abc/sat/bsat2/Sort.h
include/abc/sat/bsat2/System.cpp
include/abc/sat/bsat2/System.h
include/abc/sat/bsat2/Vec.h
include/abc/sat/bsat2/XAlloc.h
include/abc/sat/bsat2/module.make
include/abc/sat/bsat2/pstdint.h
include/abc/sat/cnf/cnf.h
include/abc/sat/cnf/module.make
include/abc/sat/csat/csat_apis.h
include/abc/sat/csat/module.make
include/abc/sat/glucose/AbcGlucose.cpp
include/abc/sat/glucose/AbcGlucose.h
include/abc/sat/glucose/AbcGlucoseCmd.cpp
include/abc/sat/glucose/Alg.h
include/abc/sat/glucose/Alloc.h
include/abc/sat/glucose/BoundedQueue.h
include/abc/sat/glucose/Constants.h
include/abc/sat/glucose/Dimacs.h
include/abc/sat/glucose/Glucose.cpp
include/abc/sat/glucose/Heap.h
include/abc/sat/glucose/IntTypes.h
include/abc/sat/glucose/Map.h
include/abc/sat/glucose/Options.cpp
include/abc/sat/glucose/Options.h
include/abc/sat/glucose/ParseUtils.h
include/abc/sat/glucose/Queue.h
include/abc/sat/glucose/SimpSolver.cpp
include/abc/sat/glucose/SimpSolver.h
include/abc/sat/glucose/Solver.h
include/abc/sat/glucose/SolverTypes.h
include/abc/sat/glucose/Sort.h
include/abc/sat/glucose/System.cpp
include/abc/sat/glucose/System.h
include/abc/sat/glucose/Vec.h
include/abc/sat/glucose/XAlloc.h
include/abc/sat/glucose/license
include/abc/sat/glucose/module.make
include/abc/sat/glucose/pstdint.h
include/abc/sat/glucose/stdint.h
include/abc/sat/lsat/solver.h
include/abc/sat/msat/module.make
include/abc/sat/msat/msat.h
include/abc/sat/msat/msatInt.h
include/abc/sat/proof/pr.h
include/abc/sat/proof/stats.txt
include/abc/sat/psat/m114p.h
include/abc/sat/psat/m114p_types.h
include/abc/sat/psat/module.make
include/abc/sat/satoko/LICENSE
include/abc/sat/satoko/act_clause.h
include/abc/sat/satoko/act_var.h
include/abc/sat/satoko/cdb.h
include/abc/sat/satoko/clause.h
include/abc/sat/satoko/module.make
include/abc/sat/satoko/satoko.h
include/abc/sat/satoko/solver.h
include/abc/sat/satoko/types.h
include/abc/sat/satoko/utils/b_queue.h
include/abc/sat/satoko/utils/heap.h
include/abc/sat/satoko/utils/mem.h
include/abc/sat/satoko/utils/misc.h
include/abc/sat/satoko/utils/sdbl.h
include/abc/sat/satoko/utils/sort.h
include/abc/sat/satoko/utils/vec/vec_char.h
include/abc/sat/satoko/utils/vec/vec_flt.h
include/abc/sat/satoko/utils/vec/vec_int.h
include/abc/sat/satoko/utils/vec/vec_sdbl.h
include/abc/sat/satoko/utils/vec/vec_uint.h
include/abc/sat/satoko/watch_list.h
include/abc/sat/xsat/license
include/abc/sat/xsat/module.make
include/abc/sat/xsat/xsat.h
include/abc/sat/xsat/xsatBQueue.h
include/abc/sat/xsat/xsatClause.h
include/abc/sat/xsat/xsatHeap.h
include/abc/sat/xsat/xsatMemory.h
include/abc/sat/xsat/xsatSolver.h
include/abc/sat/xsat/xsatUtils.h
include/abc/sat/xsat/xsatWatchList.h
lib/libabc.so

Return to bug 241511

Lines 1-8 Link Here

(-)cad/abc/Makefile (-21 / +11 lines)
1	# $FreeBSD$	1	# $FreeBSD$
2		2
3	PORTNAME= abc	3	PORTNAME= abc
4	DISTVERSION= g20180420	4	DISTVERSION= g20191026
5	PORTREVISION= 1
6	CATEGORIES= cad	5	CATEGORIES= cad
7		6
8	MAINTAINER= uddka@student.kit.edu	7	MAINTAINER= uddka@student.kit.edu
Lines 11-29 Link Here
11	LICENSE= MIT	10	LICENSE= MIT
12	LICENSE_FILE= ${WRKSRC}/copyright.txt	11	LICENSE_FILE= ${WRKSRC}/copyright.txt
13		12
14	USES= gmake localbase:ldflags	13	USES= cmake
15	USE_GITHUB= yes	14	USE_GITHUB= yes
16	GH_ACCOUNT= berkeley-abc	15	GH_ACCOUNT= berkeley-abc
17	GH_TAGNAME= 0e15e4d	16	GH_TAGNAME= f9309ce
18	USE_LDCONFIG= yes	17	USE_LDCONFIG= yes
19		18
20	MAKE_ENV= ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1	19	MAKE_ENV= ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1
21	CFLAGS+= -fPIC
22	CXXFLAGS+= -fPIC
23		20
24	PLIST_FILES= bin/${PORTNAME} lib/lib${PORTNAME}.so	21	OPTIONS_DEFINE= DEBUG READLINE THREADS
25
26	OPTIONS_DEFINE= DEBUG DOCS READLINE THREADS
27	OPTIONS_DEFAULT= READLINE THREADS	22	OPTIONS_DEFAULT= READLINE THREADS
28		23
29	READLINE_USES= readline	24	READLINE_USES= readline
Lines 32-49 Link Here
32		27
33	THREADS_MAKE_ENV_OFF= ABC_USE_NO_PTHREADS=1	28	THREADS_MAKE_ENV_OFF= ABC_USE_NO_PTHREADS=1
34		29
35	PORTDOCS= README.md readmeaig
36
37	post-build:
38	cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ABC_USE_PIC=1 lib${PORTNAME}.so
39
40	do-install:	30	do-install:
41	${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin	31	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
42	${INSTALL_PROGRAM} ${WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib	32	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
		33	@${MKDIR} ${STAGEDIR}${PREFIX}/include/abc
		34	.for i in aig base bdd bool generic.h map misc opt phys proof sat
		35	@cd ${WRKSRC}/src && ${COPYTREE_SHARE} ${i} ${STAGEDIR}${PREFIX}/include/abc/
		36	.endfor
		37	@${FIND} ${STAGEDIR}${PREFIX}/include/abc -name "*.c" \| ${XARGS} ${RM}
43		38
44	do-install-DOCS-on:
45	@${MKDIR} ${STAGEDIR}${DOCSDIR}
46	${INSTALL_DATA} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR}
47	${INSTALL_DATA} ${WRKSRC}/readmeaig ${STAGEDIR}${DOCSDIR}
48
49	.include <bsd.port.mk>	39	.include <bsd.port.mk>

Line 0 Link Here

(-)cad/abc/files/patch-CMakeLists.txt (+33 lines)
	1	--- CMakeLists.txt.orig 2019-10-26 15:54:10 UTC
	2	+++ CMakeLists.txt
	3	@@ -50,7 +50,7 @@ endif()
	4	# run make to extract compiler options, linker options and list of source files
	5	execute_process(
	6	COMMAND
	7	- make
	8	+ gmake
	9	${ABC_READLINE_FLAGS}
	10	${ABC_USE_NAMESPACE_FLAGS}
	11	ARCHFLAGS_EXE=${CMAKE_CURRENT_BINARY_DIR}/abc_arch_flags_program.exe
	12	@@ -91,7 +91,8 @@ endfunction()
	13	set(ABC_MAIN_SRC src/base/main/main.c)
	14	list(REMOVE_ITEM ABC_SRC ${ABC_MAIN_SRC})
	15
	16	-add_library(libabc EXCLUDE_FROM_ALL ${ABC_SRC})
	17	+add_library(libabc EXCLUDE_FROM_ALL SHARED ${ABC_SRC})
	18	+set_property(TARGET libabc PROPERTY POSITION_INDEPENDENT_CODE ON) # see also https://github.com/berkeley-abc/abc/issues/56
	19	abc_properties(libabc PUBLIC)
	20	set_property(TARGET libabc PROPERTY OUTPUT_NAME abc)
	21
	22	@@ -99,7 +100,7 @@ add_executable(abc ${ABC_MAIN_SRC})
	23	target_link_libraries(abc PRIVATE libabc)
	24	abc_properties(abc PRIVATE)
	25
	26	-add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
	27	-abc_properties(libabc-pic PUBLIC)
	28	-set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
	29	-set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)
	30	+#add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
	31	+#abc_properties(libabc-pic PUBLIC)
	32	+#set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
	33	+#set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)

Line 0 Link Here

(-)cad/abc/pkg-plist (+491 lines)
		1	bin/abc
		2	include/abc/aig/aig/aig.h
		3	include/abc/aig/aig/module.make
		4	include/abc/aig/gia/gia.h
		5	include/abc/aig/gia/giaAig.h
		6	include/abc/aig/gia/giaIiff.h
		7	include/abc/aig/gia/module.make
		8	include/abc/aig/hop/cudd2.h
		9	include/abc/aig/hop/hop.h
		10	include/abc/aig/hop/module.make
		11	include/abc/aig/ioa/ioa.h
		12	include/abc/aig/ioa/module.make
		13	include/abc/aig/ivy/attr.h
		14	include/abc/aig/ivy/ivy.h
		15	include/abc/aig/ivy/module.make
		16	include/abc/aig/miniaig/abcOper.h
		17	include/abc/aig/miniaig/miniaig.h
		18	include/abc/aig/miniaig/minilut.h
		19	include/abc/aig/miniaig/module.make
		20	include/abc/aig/miniaig/ndr.h
		21	include/abc/aig/saig/module.make
		22	include/abc/aig/saig/saig.h
		23	include/abc/base/abc/abc.h
		24	include/abc/base/abc/abcInt.h
		25	include/abc/base/abc/module.make
		26	include/abc/base/abci/module.make
		27	include/abc/base/acb/acb.h
		28	include/abc/base/acb/acbPar.h
		29	include/abc/base/acb/acbSets.h
		30	include/abc/base/acb/module.make
		31	include/abc/base/aig/aig/aig.h
		32	include/abc/base/aig/aig/module.make
		33	include/abc/base/aig/gia/gia.h
		34	include/abc/base/aig/gia/giaAig.h
		35	include/abc/base/aig/gia/giaIiff.h
		36	include/abc/base/aig/gia/module.make
		37	include/abc/base/aig/hop/cudd2.h
		38	include/abc/base/aig/hop/hop.h
		39	include/abc/base/aig/hop/module.make
		40	include/abc/base/aig/ioa/ioa.h
		41	include/abc/base/aig/ioa/module.make
		42	include/abc/base/aig/ivy/attr.h
		43	include/abc/base/aig/ivy/ivy.h
		44	include/abc/base/aig/ivy/module.make
		45	include/abc/base/aig/miniaig/abcOper.h
		46	include/abc/base/aig/miniaig/miniaig.h
		47	include/abc/base/aig/miniaig/minilut.h
		48	include/abc/base/aig/miniaig/module.make
		49	include/abc/base/aig/miniaig/ndr.h
		50	include/abc/base/aig/saig/module.make
		51	include/abc/base/aig/saig/saig.h
		52	include/abc/base/bac/bac.h
		53	include/abc/base/bac/bacPrs.h
		54	include/abc/base/bac/module.make
		55	include/abc/base/bdd/bbr/bbr.h
		56	include/abc/base/bdd/bbr/module.make
		57	include/abc/base/bdd/cas/cas.h
		58	include/abc/base/bdd/cas/module.make
		59	include/abc/base/bdd/cudd/Makefile
		60	include/abc/base/bdd/cudd/cuBdd.make
		61	include/abc/base/bdd/cudd/cudd.h
		62	include/abc/base/bdd/cudd/cudd.make
		63	include/abc/base/bdd/cudd/cuddInt.h
		64	include/abc/base/bdd/cudd/license
65	include/abc/base/bdd/cudd/module.make
66	include/abc/base/bdd/cudd/r7x8.1.mat
67	include/abc/base/bdd/cudd/r7x8.1.out
68	include/abc/base/bdd/dsd/dsd.h
69	include/abc/base/bdd/dsd/dsdInt.h
70	include/abc/base/bdd/dsd/module.make
71	include/abc/base/bdd/epd/epd.h
72	include/abc/base/bdd/epd/module.make
73	include/abc/base/bdd/extrab/extraBdd.h
74	include/abc/base/bdd/extrab/module.make
75	include/abc/base/bdd/llb/llb.h
76	include/abc/base/bdd/llb/llbInt.h
77	include/abc/base/bdd/llb/module.make
78	include/abc/base/bdd/mtr/module.make
79	include/abc/base/bdd/mtr/mtr.h
80	include/abc/base/bdd/mtr/mtrInt.h
81	include/abc/base/bdd/reo/module.make
82	include/abc/base/bdd/reo/reo.h
83	include/abc/base/cba/cba.h
84	include/abc/base/cba/cbaPrs.h
85	include/abc/base/cba/cbaTypes.h
86	include/abc/base/cba/module.make
87	include/abc/base/cmd/cmd.h
88	include/abc/base/cmd/cmdInt.h
89	include/abc/base/cmd/module.make
90	include/abc/base/exor/exor.h
91	include/abc/base/exor/module.make
92	include/abc/base/io/ioAbc.h
93	include/abc/base/io/ioInt.h
94	include/abc/base/io/module.make
95	include/abc/base/main/abcapis.h
96	include/abc/base/main/abcapis_old.h
97	include/abc/base/main/main.h
98	include/abc/base/main/mainInt.h
99	include/abc/base/main/module.make
100	include/abc/base/pla/module.make
101	include/abc/base/pla/pla.h
102	include/abc/base/test/module.make
103	include/abc/base/ver/module.make
104	include/abc/base/ver/ver.h
105	include/abc/base/wlc/module.make
106	include/abc/base/wlc/wlc.h
107	include/abc/base/wln/module.make
108	include/abc/base/wln/wln.h
109	include/abc/bdd/bbr/bbr.h
110	include/abc/bdd/bbr/module.make
111	include/abc/bdd/cas/cas.h
112	include/abc/bdd/cas/module.make
113	include/abc/bdd/cudd/Makefile
114	include/abc/bdd/cudd/cuBdd.make
115	include/abc/bdd/cudd/cudd.h
116	include/abc/bdd/cudd/cudd.make
117	include/abc/bdd/cudd/cuddInt.h
118	include/abc/bdd/cudd/license
119	include/abc/bdd/cudd/module.make
120	include/abc/bdd/cudd/r7x8.1.mat
121	include/abc/bdd/cudd/r7x8.1.out
122	include/abc/bdd/dsd/dsd.h
123	include/abc/bdd/dsd/dsdInt.h
124	include/abc/bdd/dsd/module.make
125	include/abc/bdd/epd/epd.h
126	include/abc/bdd/epd/module.make
127	include/abc/bdd/extrab/extraBdd.h
128	include/abc/bdd/extrab/module.make
129	include/abc/bdd/llb/llb.h
130	include/abc/bdd/llb/llbInt.h
131	include/abc/bdd/llb/module.make
132	include/abc/bdd/mtr/module.make
133	include/abc/bdd/mtr/mtr.h
134	include/abc/bdd/mtr/mtrInt.h
135	include/abc/bdd/reo/module.make
136	include/abc/bdd/reo/reo.h
137	include/abc/bool/bdc/bdc.h
138	include/abc/bool/bdc/bdcInt.h
139	include/abc/bool/bdc/module.make
140	include/abc/bool/dec/dec.h
141	include/abc/bool/dec/module.make
142	include/abc/bool/deco/deco.h
143	include/abc/bool/deco/module.make
144	include/abc/bool/kit/cloud.h
145	include/abc/bool/kit/kit.h
146	include/abc/bool/kit/module.make
147	include/abc/bool/lucky/lucky.h
148	include/abc/bool/lucky/luckyInt.h
149	include/abc/bool/lucky/module.make
150	include/abc/bool/rpo/literal.h
151	include/abc/bool/rpo/module.make
152	include/abc/bool/rpo/rpo.h
153	include/abc/bool/rsb/module.make
154	include/abc/bool/rsb/rsb.h
155	include/abc/bool/rsb/rsbInt.h
156	include/abc/generic.h
157	include/abc/map/amap/amap.h
158	include/abc/map/amap/amapInt.h
159	include/abc/map/amap/module.make
160	include/abc/map/cov/cov.h
161	include/abc/map/cov/covInt.h
162	include/abc/map/cov/module.make
163	include/abc/map/fpga/fpga.h
164	include/abc/map/fpga/fpgaInt.h
165	include/abc/map/fpga/module.make
166	include/abc/map/if/if.h
167	include/abc/map/if/ifCount.h
168	include/abc/map/if/module.make
169	include/abc/map/mapper/mapper.h
170	include/abc/map/mapper/mapperInt.h
171	include/abc/map/mapper/module.make
172	include/abc/map/mio/exp.h
173	include/abc/map/mio/mio.h
174	include/abc/map/mio/mioInt.h
175	include/abc/map/mio/module.make
176	include/abc/map/mpm/module.make
177	include/abc/map/mpm/mpm.h
178	include/abc/map/mpm/mpmInt.h
179	include/abc/map/mpm/mpmMig.h
180	include/abc/map/scl/module.make
181	include/abc/map/scl/scl.h
182	include/abc/map/scl/sclCon.h
183	include/abc/map/scl/sclLib.h
184	include/abc/map/scl/sclSize.h
185	include/abc/map/scl/sclTime.h
186	include/abc/map/super/module.make
187	include/abc/map/super/super.h
188	include/abc/map/super/superInt.h
189	include/abc/misc/avl/avl.doc
190	include/abc/misc/avl/avl.h
191	include/abc/misc/bar/bar.h
192	include/abc/misc/bar/module.make
193	include/abc/misc/bbl/bblif.h
194	include/abc/misc/bbl/module.make
195	include/abc/misc/bzlib/CHANGES
196	include/abc/misc/bzlib/LICENSE
197	include/abc/misc/bzlib/bzip2.txt
198	include/abc/misc/bzlib/bzlib.h
199	include/abc/misc/bzlib/bzlib_private.h
200	include/abc/misc/bzlib/link.txt
201	include/abc/misc/bzlib/manual.html
202	include/abc/misc/bzlib/module.make
203	include/abc/misc/espresso/espresso.h
204	include/abc/misc/espresso/main.h
205	include/abc/misc/espresso/mincov.h
206	include/abc/misc/espresso/mincov_int.h
207	include/abc/misc/espresso/module.make
208	include/abc/misc/espresso/sparse.h
209	include/abc/misc/espresso/sparse_int.h
210	include/abc/misc/espresso/util_old.h
211	include/abc/misc/extra/extra.h
212	include/abc/misc/extra/module.make
213	include/abc/misc/hash/hash.h
214	include/abc/misc/hash/hashFlt.h
215	include/abc/misc/hash/hashGen.h
216	include/abc/misc/hash/hashInt.h
217	include/abc/misc/hash/hashPtr.h
218	include/abc/misc/hash/module.make
219	include/abc/misc/mem/mem.h
220	include/abc/misc/mem/mem2.h
221	include/abc/misc/mem/module.make
222	include/abc/misc/mvc/module.make
223	include/abc/misc/mvc/mvc.h
224	include/abc/misc/nm/module.make
225	include/abc/misc/nm/nm.h
226	include/abc/misc/nm/nmInt.h
227	include/abc/misc/parse/module.make
228	include/abc/misc/parse/parse.h
229	include/abc/misc/parse/parseInt.h
230	include/abc/misc/st/module.make
231	include/abc/misc/st/st.h
232	include/abc/misc/st/stmm.h
233	include/abc/misc/tim/module.make
234	include/abc/misc/tim/tim.h
235	include/abc/misc/tim/timInt.h
236	include/abc/misc/util/abc_global.h
237	include/abc/misc/util/abc_global.h.orig
238	include/abc/misc/util/abc_namespaces.h
239	include/abc/misc/util/module.make
240	include/abc/misc/util/utilCex.h
241	include/abc/misc/util/utilDouble.h
242	include/abc/misc/util/utilFloat.h
243	include/abc/misc/util/utilMem.h
244	include/abc/misc/util/utilNam.h
245	include/abc/misc/util/utilSignal.h
246	include/abc/misc/util/utilTruth.h
247	include/abc/misc/util/util_hack.h
248	include/abc/misc/vec/module.make
249	include/abc/misc/vec/vec.h
250	include/abc/misc/vec/vecAtt.h
251	include/abc/misc/vec/vecBit.h
252	include/abc/misc/vec/vecFlt.h
253	include/abc/misc/vec/vecHash.h
254	include/abc/misc/vec/vecHsh.h
255	include/abc/misc/vec/vecInt.h
256	include/abc/misc/vec/vecMem.h
257	include/abc/misc/vec/vecPtr.h
258	include/abc/misc/vec/vecQue.h
259	include/abc/misc/vec/vecSet.h
260	include/abc/misc/vec/vecStr.h
261	include/abc/misc/vec/vecVec.h
262	include/abc/misc/vec/vecWec.h
263	include/abc/misc/vec/vecWrd.h
264	include/abc/misc/zlib/README
265	include/abc/misc/zlib/algorithm.txt
266	include/abc/misc/zlib/crc32.h
267	include/abc/misc/zlib/deflate.h
268	include/abc/misc/zlib/gzguts.h
269	include/abc/misc/zlib/inffast.h
270	include/abc/misc/zlib/inffixed.h
271	include/abc/misc/zlib/inflate.h
272	include/abc/misc/zlib/inftrees.h
273	include/abc/misc/zlib/license
274	include/abc/misc/zlib/link.txt
275	include/abc/misc/zlib/module.make
276	include/abc/misc/zlib/trees.h
277	include/abc/misc/zlib/zconf.h
278	include/abc/misc/zlib/zlib.h
279	include/abc/misc/zlib/zutil.h
280	include/abc/opt/cgt/cgt.h
281	include/abc/opt/cgt/cgtInt.h
282	include/abc/opt/cgt/module.make
283	include/abc/opt/csw/csw.h
284	include/abc/opt/csw/cswInt.h
285	include/abc/opt/csw/module.make
286	include/abc/opt/cut/cut.h
287	include/abc/opt/cut/cutInt.h
288	include/abc/opt/cut/cutList.h
289	include/abc/opt/cut/module.make
290	include/abc/opt/dar/dar.h
291	include/abc/opt/dar/darInt.h
292	include/abc/opt/dar/module.make
293	include/abc/opt/dau/dau.h
294	include/abc/opt/dau/dauInt.h
295	include/abc/opt/dau/module.make
296	include/abc/opt/dsc/dsc.h
297	include/abc/opt/dsc/module.make
298	include/abc/opt/fret/fretime.h
299	include/abc/opt/fret/module.make
300	include/abc/opt/fsim/fsim.h
301	include/abc/opt/fsim/fsimInt.h
302	include/abc/opt/fsim/module.make
303	include/abc/opt/fxch/Fxch.h
304	include/abc/opt/fxch/module.make
305	include/abc/opt/fxu/fxu.h
306	include/abc/opt/fxu/fxuInt.h
307	include/abc/opt/fxu/module.make
308	include/abc/opt/lpk/lpk.h
309	include/abc/opt/lpk/lpkInt.h
310	include/abc/opt/lpk/module.make
311	include/abc/opt/mfs/mfs.h
312	include/abc/opt/mfs/mfsInt.h
313	include/abc/opt/mfs/module.make
314	include/abc/opt/nwk/module.make
315	include/abc/opt/nwk/ntlnwk.h
316	include/abc/opt/nwk/nwk.h
317	include/abc/opt/nwk/nwkMerge.h
318	include/abc/opt/res/module.make
319	include/abc/opt/res/res.h
320	include/abc/opt/res/resInt.h
321	include/abc/opt/ret/module.make
322	include/abc/opt/ret/retInt.h
323	include/abc/opt/rwr/module.make
324	include/abc/opt/rwr/rwr.h
325	include/abc/opt/rwt/module.make
326	include/abc/opt/rwt/rwt.h
327	include/abc/opt/sbd/module.make
328	include/abc/opt/sbd/sbd.h
329	include/abc/opt/sbd/sbdInt.h
330	include/abc/opt/sfm/module.make
331	include/abc/opt/sfm/sfm.h
332	include/abc/opt/sfm/sfmInt.h
333	include/abc/opt/sim/module.make
334	include/abc/opt/sim/sim.h
335	include/abc/phys/place/Makefile
336	include/abc/phys/place/README
337	include/abc/phys/place/hpwl
338	include/abc/phys/place/libhmetis.h
339	include/abc/phys/place/module.make
340	include/abc/phys/place/place_base.h
341	include/abc/phys/place/place_gordian.h
342	include/abc/phys/place/place_qpsolver.h
343	include/abc/proof/abs/abs.h
344	include/abc/proof/abs/absRef.h
345	include/abc/proof/abs/absRefJ.h
346	include/abc/proof/abs/module.make
347	include/abc/proof/acec/acec.h
348	include/abc/proof/acec/acecInt.h
349	include/abc/proof/acec/module.make
350	include/abc/proof/cec/cec.h
351	include/abc/proof/cec/cecInt.h
352	include/abc/proof/cec/module.make
353	include/abc/proof/dch/dch.h
354	include/abc/proof/dch/dchInt.h
355	include/abc/proof/dch/module.make
356	include/abc/proof/fra/fra.h
357	include/abc/proof/fra/module.make
358	include/abc/proof/fraig/fraig.h
359	include/abc/proof/fraig/fraigInt.h
360	include/abc/proof/fraig/module.make
361	include/abc/proof/int/int.h
362	include/abc/proof/int/intInt.h
363	include/abc/proof/int/module.make
364	include/abc/proof/int2/int2.h
365	include/abc/proof/int2/int2Int.h
366	include/abc/proof/int2/module.make
367	include/abc/proof/live/module.make
368	include/abc/proof/pdr/module.make
369	include/abc/proof/pdr/pdr.h
370	include/abc/proof/pdr/pdrInt.h
371	include/abc/proof/ssc/module.make
372	include/abc/proof/ssc/ssc.h
373	include/abc/proof/ssc/sscInt.h
374	include/abc/proof/ssw/module.make
375	include/abc/proof/ssw/ssw.h
376	include/abc/proof/ssw/sswInt.h
377	include/abc/sat/bmc/bmc.h
378	include/abc/sat/bmc/module.make
379	include/abc/sat/bsat/license
380	include/abc/sat/bsat/module.make
381	include/abc/sat/bsat/satClause.h
382	include/abc/sat/bsat/satMem.h
383	include/abc/sat/bsat/satProof2.h
384	include/abc/sat/bsat/satSolver.h
385	include/abc/sat/bsat/satSolver2.h
386	include/abc/sat/bsat/satSolver3.h
387	include/abc/sat/bsat/satStore.h
388	include/abc/sat/bsat/satTruth.h
389	include/abc/sat/bsat/satVec.h
390	include/abc/sat/bsat2/AbcApi.cpp
391	include/abc/sat/bsat2/Alg.h
392	include/abc/sat/bsat2/Alloc.h
393	include/abc/sat/bsat2/Dimacs.h
394	include/abc/sat/bsat2/Heap.h
395	include/abc/sat/bsat2/IntTypes.h
396	include/abc/sat/bsat2/LICENSE
397	include/abc/sat/bsat2/MainSat.cpp
398	include/abc/sat/bsat2/MainSimp.cpp
399	include/abc/sat/bsat2/Map.h
400	include/abc/sat/bsat2/Options.cpp
401	include/abc/sat/bsat2/Options.h
402	include/abc/sat/bsat2/ParseUtils.h
403	include/abc/sat/bsat2/Queue.h
404	include/abc/sat/bsat2/README
405	include/abc/sat/bsat2/ReleaseNotes-2.2.0.txt
406	include/abc/sat/bsat2/SimpSolver.cpp
407	include/abc/sat/bsat2/SimpSolver.h
408	include/abc/sat/bsat2/Solver.cpp
409	include/abc/sat/bsat2/Solver.h
410	include/abc/sat/bsat2/SolverTypes.h
411	include/abc/sat/bsat2/Sort.h
412	include/abc/sat/bsat2/System.cpp
413	include/abc/sat/bsat2/System.h
414	include/abc/sat/bsat2/Vec.h
415	include/abc/sat/bsat2/XAlloc.h
416	include/abc/sat/bsat2/module.make
417	include/abc/sat/bsat2/pstdint.h
418	include/abc/sat/cnf/cnf.h
419	include/abc/sat/cnf/module.make
420	include/abc/sat/csat/csat_apis.h
421	include/abc/sat/csat/module.make
422	include/abc/sat/glucose/AbcGlucose.cpp
423	include/abc/sat/glucose/AbcGlucose.h
424	include/abc/sat/glucose/AbcGlucoseCmd.cpp
425	include/abc/sat/glucose/Alg.h
426	include/abc/sat/glucose/Alloc.h
427	include/abc/sat/glucose/BoundedQueue.h
428	include/abc/sat/glucose/Constants.h
429	include/abc/sat/glucose/Dimacs.h
430	include/abc/sat/glucose/Glucose.cpp
431	include/abc/sat/glucose/Heap.h
432	include/abc/sat/glucose/IntTypes.h
433	include/abc/sat/glucose/Map.h
434	include/abc/sat/glucose/Options.cpp
435	include/abc/sat/glucose/Options.h
436	include/abc/sat/glucose/ParseUtils.h
437	include/abc/sat/glucose/Queue.h
438	include/abc/sat/glucose/SimpSolver.cpp
439	include/abc/sat/glucose/SimpSolver.h
440	include/abc/sat/glucose/Solver.h
441	include/abc/sat/glucose/SolverTypes.h
442	include/abc/sat/glucose/Sort.h
443	include/abc/sat/glucose/System.cpp
444	include/abc/sat/glucose/System.h
445	include/abc/sat/glucose/Vec.h
446	include/abc/sat/glucose/XAlloc.h
447	include/abc/sat/glucose/license
448	include/abc/sat/glucose/module.make
449	include/abc/sat/glucose/pstdint.h
450	include/abc/sat/glucose/stdint.h
451	include/abc/sat/lsat/solver.h
452	include/abc/sat/msat/module.make
453	include/abc/sat/msat/msat.h
454	include/abc/sat/msat/msatInt.h
455	include/abc/sat/proof/pr.h
456	include/abc/sat/proof/stats.txt
457	include/abc/sat/psat/m114p.h
458	include/abc/sat/psat/m114p_types.h
459	include/abc/sat/psat/module.make
460	include/abc/sat/satoko/LICENSE
461	include/abc/sat/satoko/act_clause.h
462	include/abc/sat/satoko/act_var.h
463	include/abc/sat/satoko/cdb.h
464	include/abc/sat/satoko/clause.h
465	include/abc/sat/satoko/module.make
466	include/abc/sat/satoko/satoko.h
467	include/abc/sat/satoko/solver.h
468	include/abc/sat/satoko/types.h
469	include/abc/sat/satoko/utils/b_queue.h
470	include/abc/sat/satoko/utils/heap.h
471	include/abc/sat/satoko/utils/mem.h
472	include/abc/sat/satoko/utils/misc.h
473	include/abc/sat/satoko/utils/sdbl.h
474	include/abc/sat/satoko/utils/sort.h
475	include/abc/sat/satoko/utils/vec/vec_char.h
476	include/abc/sat/satoko/utils/vec/vec_flt.h
477	include/abc/sat/satoko/utils/vec/vec_int.h
478	include/abc/sat/satoko/utils/vec/vec_sdbl.h
479	include/abc/sat/satoko/utils/vec/vec_uint.h
480	include/abc/sat/satoko/watch_list.h
481	include/abc/sat/xsat/license
482	include/abc/sat/xsat/module.make
483	include/abc/sat/xsat/xsat.h
484	include/abc/sat/xsat/xsatBQueue.h
485	include/abc/sat/xsat/xsatClause.h
486	include/abc/sat/xsat/xsatHeap.h
487	include/abc/sat/xsat/xsatMemory.h
488	include/abc/sat/xsat/xsatSolver.h
489	include/abc/sat/xsat/xsatUtils.h
490	include/abc/sat/xsat/xsatWatchList.h
491	lib/libabc.so