abc: used include/abc for headers given the large header count

[mayuresh <mayuresh%acm.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Fri Sep 13 21:18:17 2024 +0530
Changeset:	1625ee67ecc64850603870f0ee16374cd398f207

Modified Files:
	abc/Makefile
	abc/PLIST
Added Files:
	abc/buildlink3.mk

Log Message:
abc: used include/abc for headers given the large header count

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=1625ee67ecc64850603870f0ee16374cd398f207

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 abc/Makefile      |   9 +-
 abc/PLIST         | 644 +++++++++++++++++++++++++++---------------------------
 abc/buildlink3.mk |  12 +
 3 files changed, 339 insertions(+), 326 deletions(-)

diffs:
diff --git a/abc/Makefile b/abc/Makefile
index 1ebe95e4d1..71d5008f5a 100644
--- a/abc/Makefile
+++ b/abc/Makefile
@@ -2,7 +2,7 @@
 
 GITHUB_PROJECT=	abc
 GITHUB_TAG=	ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2
-DISTNAME=	ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2
+DISTNAME=	${GITHUB_TAG}
 PKGNAME=	${GITHUB_PROJECT}-${DISTNAME}
 CATEGORIES=	cad
 MASTER_SITES=	${MASTER_SITE_GITHUB:=The-OpenRoad-Project/}
@@ -20,16 +20,17 @@ USE_TOOLS+=	gmake pax find
 INSTALLATION_DIRS+=	bin lib include
 
 BUILDDIR=	${WRKSRC}/${CMAKE_BUILD_DIR}
+INCLUDEDIR=	${DESTDIR}${PREFIX}/include/abc
 
 # TODO: We need a subdir for abc under prefix
 
 do-install:
-.for INSTALLATION_DIR in ${INSTALLATION_DIRS}
-	${MKDIR} -p ${DESTDIR}${PREFIX}/${INSTALLATION_DIR}
+.for idir in ${INSTALLATION_DIRS}
+	${MKDIR} -p ${DESTDIR}${PREFIX}/${idir}
 .endfor
 	${INSTALL} ${BUILDDIR}/abc ${DESTDIR}${PREFIX}/bin
 	${INSTALL} ${BUILDDIR}/libabc.a ${DESTDIR}${PREFIX}/lib
-	cd ${WRKSRC}/src && ${FIND} . -name \*.h -exec ${PAX} -rw {} ${DESTDIR}${PREFIX}/include \;
+	cd ${WRKSRC}/src && ${FIND} . -name \*.h -exec ${PAX} -rw {} ${INCLUDEDIR} \;
 
 .include "../../mk/readline.buildlink3.mk"
 .include "../../devel/cmake/build.mk"
diff --git a/abc/PLIST b/abc/PLIST
index 0e2f43e5c2..73c1a91f87 100644
--- a/abc/PLIST
+++ b/abc/PLIST
@@ -1,325 +1,325 @@
 @comment $NetBSD$
 bin/abc
-include/aig/aig/aig.h
-include/aig/gia/gia.h
-include/aig/gia/giaAig.h
-include/aig/gia/giaCSatP.h
-include/aig/gia/giaIiff.h
-include/aig/gia/giaNewBdd.h
-include/aig/gia/giaNewTt.h
-include/aig/gia/giaTransduction.h
-include/aig/hop/cudd2.h
-include/aig/hop/hop.h
-include/aig/ioa/ioa.h
-include/aig/ivy/attr.h
-include/aig/ivy/ivy.h
-include/aig/miniaig/abcOper.h
-include/aig/miniaig/miniaig.h
-include/aig/miniaig/minilut.h
-include/aig/miniaig/ndr.h
-include/aig/saig/saig.h
-include/base/abc/abc.h
-include/base/abc/abcInt.h
-include/base/acb/acb.h
-include/base/acb/acbPar.h
-include/base/acb/acbSets.h
-include/base/bac/bac.h
-include/base/bac/bacPrs.h
-include/base/cba/cba.h
-include/base/cba/cbaPrs.h
-include/base/cba/cbaTypes.h
-include/base/cmd/cmd.h
-include/base/cmd/cmdInt.h
-include/base/exor/exor.h
-include/base/io/ioAbc.h
-include/base/io/ioInt.h
-include/base/main/abcapis.h
-include/base/main/abcapis_old.h
-include/base/main/main.h
-include/base/main/mainInt.h
-include/base/pla/pla.h
-include/base/ver/ver.h
-include/base/wlc/wlc.h
-include/base/wln/wln.h
-include/bdd/bbr/bbr.h
-include/bdd/cas/cas.h
-include/bdd/cudd/cudd.h
-include/bdd/cudd/cuddInt.h
-include/bdd/dsd/dsd.h
-include/bdd/dsd/dsdInt.h
-include/bdd/epd/epd.h
-include/bdd/extrab/extraBdd.h
-include/bdd/llb/llb.h
-include/bdd/llb/llbInt.h
-include/bdd/mtr/mtr.h
-include/bdd/mtr/mtrInt.h
-include/bdd/reo/reo.h
-include/bool/bdc/bdc.h
-include/bool/bdc/bdcInt.h
-include/bool/dec/dec.h
-include/bool/deco/deco.h
-include/bool/kit/cloud.h
-include/bool/kit/kit.h
-include/bool/lucky/lucky.h
-include/bool/lucky/luckyInt.h
-include/bool/rpo/literal.h
-include/bool/rpo/rpo.h
-include/bool/rsb/rsb.h
-include/bool/rsb/rsbInt.h
-include/generic.h
-include/map/amap/amap.h
-include/map/amap/amapInt.h
-include/map/cov/cov.h
-include/map/cov/covInt.h
-include/map/fpga/fpga.h
-include/map/fpga/fpgaInt.h
-include/map/if/acd/ac_wrapper.h
-include/map/if/if.h
-include/map/if/ifCount.h
-include/map/mapper/mapper.h
-include/map/mapper/mapperInt.h
-include/map/mio/exp.h
-include/map/mio/mio.h
-include/map/mio/mioInt.h
-include/map/mpm/mpm.h
-include/map/mpm/mpmInt.h
-include/map/mpm/mpmMig.h
-include/map/scl/scl.h
-include/map/scl/sclCon.h
-include/map/scl/sclLib.h
-include/map/scl/sclSize.h
-include/map/scl/sclTime.h
-include/map/super/super.h
-include/map/super/superInt.h
-include/misc/avl/avl.h
-include/misc/bar/bar.h
-include/misc/bbl/bblif.h
-include/misc/bzlib/bzlib.h
-include/misc/bzlib/bzlib_private.h
-include/misc/espresso/espresso.h
-include/misc/espresso/main.h
-include/misc/espresso/mincov.h
-include/misc/espresso/mincov_int.h
-include/misc/espresso/sparse.h
-include/misc/espresso/sparse_int.h
-include/misc/espresso/util_old.h
-include/misc/extra/extra.h
-include/misc/hash/hash.h
-include/misc/hash/hashFlt.h
-include/misc/hash/hashGen.h
-include/misc/hash/hashInt.h
-include/misc/hash/hashPtr.h
-include/misc/mem/mem.h
-include/misc/mem/mem2.h
-include/misc/mvc/mvc.h
-include/misc/nm/nm.h
-include/misc/nm/nmInt.h
-include/misc/parse/parse.h
-include/misc/parse/parseInt.h
-include/misc/st/st.h
-include/misc/st/stmm.h
-include/misc/tim/tim.h
-include/misc/tim/timInt.h
-include/misc/util/abc_global.h
-include/misc/util/abc_namespaces.h
-include/misc/util/utilCex.h
-include/misc/util/utilDouble.h
-include/misc/util/utilFloat.h
-include/misc/util/utilMem.h
-include/misc/util/utilNam.h
-include/misc/util/utilSignal.h
-include/misc/util/utilTruth.h
-include/misc/util/util_hack.h
-include/misc/vec/vec.h
-include/misc/vec/vecAtt.h
-include/misc/vec/vecBit.h
-include/misc/vec/vecFlt.h
-include/misc/vec/vecHash.h
-include/misc/vec/vecHsh.h
-include/misc/vec/vecInt.h
-include/misc/vec/vecMem.h
-include/misc/vec/vecPtr.h
-include/misc/vec/vecQue.h
-include/misc/vec/vecSet.h
-include/misc/vec/vecStr.h
-include/misc/vec/vecVec.h
-include/misc/vec/vecWec.h
-include/misc/vec/vecWrd.h
-include/misc/zlib/crc32.h
-include/misc/zlib/deflate.h
-include/misc/zlib/gzguts.h
-include/misc/zlib/inffast.h
-include/misc/zlib/inffixed.h
-include/misc/zlib/inflate.h
-include/misc/zlib/inftrees.h
-include/misc/zlib/trees.h
-include/misc/zlib/zconf.h
-include/misc/zlib/zlib.h
-include/misc/zlib/zutil.h
-include/opt/cgt/cgt.h
-include/opt/cgt/cgtInt.h
-include/opt/csw/csw.h
-include/opt/csw/cswInt.h
-include/opt/cut/cut.h
-include/opt/cut/cutInt.h
-include/opt/cut/cutList.h
-include/opt/dar/dar.h
-include/opt/dar/darInt.h
-include/opt/dau/dau.h
-include/opt/dau/dauInt.h
-include/opt/dsc/dsc.h
-include/opt/fret/fretime.h
-include/opt/fsim/fsim.h
-include/opt/fsim/fsimInt.h
-include/opt/fxch/Fxch.h
-include/opt/fxu/fxu.h
-include/opt/fxu/fxuInt.h
-include/opt/lpk/lpk.h
-include/opt/lpk/lpkInt.h
-include/opt/mfs/mfs.h
-include/opt/mfs/mfsInt.h
-include/opt/nwk/ntlnwk.h
-include/opt/nwk/nwk.h
-include/opt/nwk/nwkMerge.h
-include/opt/res/res.h
-include/opt/res/resInt.h
-include/opt/ret/retInt.h
-include/opt/rwr/rwr.h
-include/opt/rwt/rwt.h
-include/opt/sbd/sbd.h
-include/opt/sbd/sbdInt.h
-include/opt/sfm/sfm.h
-include/opt/sfm/sfmInt.h
-include/opt/sim/sim.h
-include/phys/place/libhmetis.h
-include/phys/place/place_base.h
-include/phys/place/place_gordian.h
-include/phys/place/place_qpsolver.h
-include/proof/abs/abs.h
-include/proof/abs/absRef.h
-include/proof/abs/absRefJ.h
-include/proof/acec/acec.h
-include/proof/acec/acecInt.h
-include/proof/cec/cec.h
-include/proof/cec/cecInt.h
-include/proof/dch/dch.h
-include/proof/dch/dchInt.h
-include/proof/fra/fra.h
-include/proof/fraig/fraig.h
-include/proof/fraig/fraigInt.h
-include/proof/int/int.h
-include/proof/int/intInt.h
-include/proof/int2/int2.h
-include/proof/int2/int2Int.h
-include/proof/pdr/pdr.h
-include/proof/pdr/pdrInt.h
-include/proof/ssc/ssc.h
-include/proof/ssc/sscInt.h
-include/proof/ssw/ssw.h
-include/proof/ssw/sswInt.h
-include/sat/bmc/bmc.h
-include/sat/bsat/satClause.h
-include/sat/bsat/satMem.h
-include/sat/bsat/satProof2.h
-include/sat/bsat/satSolver.h
-include/sat/bsat/satSolver2.h
-include/sat/bsat/satSolver3.h
-include/sat/bsat/satStore.h
-include/sat/bsat/satTruth.h
-include/sat/bsat/satVec.h
-include/sat/bsat2/Alg.h
-include/sat/bsat2/Alloc.h
-include/sat/bsat2/Dimacs.h
-include/sat/bsat2/Heap.h
-include/sat/bsat2/IntTypes.h
-include/sat/bsat2/Map.h
-include/sat/bsat2/Options.h
-include/sat/bsat2/ParseUtils.h
-include/sat/bsat2/Queue.h
-include/sat/bsat2/SimpSolver.h
-include/sat/bsat2/Solver.h
-include/sat/bsat2/SolverTypes.h
-include/sat/bsat2/Sort.h
-include/sat/bsat2/System.h
-include/sat/bsat2/Vec.h
-include/sat/bsat2/XAlloc.h
-include/sat/bsat2/pstdint.h
-include/sat/cnf/cnf.h
-include/sat/csat/csat_apis.h
-include/sat/glucose/AbcGlucose.h
-include/sat/glucose/Alg.h
-include/sat/glucose/Alloc.h
-include/sat/glucose/BoundedQueue.h
-include/sat/glucose/Constants.h
-include/sat/glucose/Dimacs.h
-include/sat/glucose/Heap.h
-include/sat/glucose/IntTypes.h
-include/sat/glucose/Map.h
-include/sat/glucose/Options.h
-include/sat/glucose/ParseUtils.h
-include/sat/glucose/Queue.h
-include/sat/glucose/SimpSolver.h
-include/sat/glucose/Solver.h
-include/sat/glucose/SolverTypes.h
-include/sat/glucose/Sort.h
-include/sat/glucose/System.h
-include/sat/glucose/Vec.h
-include/sat/glucose/XAlloc.h
-include/sat/glucose/pstdint.h
-include/sat/glucose2/AbcGlucose2.h
-include/sat/glucose2/Alg.h
-include/sat/glucose2/Alloc.h
-include/sat/glucose2/BoundedQueue.h
-include/sat/glucose2/CGlucose.h
-include/sat/glucose2/CGlucoseCore.h
-include/sat/glucose2/Constants.h
-include/sat/glucose2/Dimacs.h
-include/sat/glucose2/Heap.h
-include/sat/glucose2/Heap2.h
-include/sat/glucose2/IntTypes.h
-include/sat/glucose2/Map.h
-include/sat/glucose2/Options.h
-include/sat/glucose2/ParseUtils.h
-include/sat/glucose2/Queue.h
-include/sat/glucose2/SimpSolver.h
-include/sat/glucose2/Solver.h
-include/sat/glucose2/SolverTypes.h
-include/sat/glucose2/Sort.h
-include/sat/glucose2/System.h
-include/sat/glucose2/Vec.h
-include/sat/glucose2/XAlloc.h
-include/sat/glucose2/pstdint.h
-include/sat/lsat/solver.h
-include/sat/msat/msat.h
-include/sat/msat/msatInt.h
-include/sat/proof/pr.h
-include/sat/psat/m114p.h
-include/sat/psat/m114p_types.h
-include/sat/satoko/act_clause.h
-include/sat/satoko/act_var.h
-include/sat/satoko/cdb.h
-include/sat/satoko/clause.h
-include/sat/satoko/satoko.h
-include/sat/satoko/solver.h
-include/sat/satoko/types.h
-include/sat/satoko/utils/b_queue.h
-include/sat/satoko/utils/heap.h
-include/sat/satoko/utils/mem.h
-include/sat/satoko/utils/misc.h
-include/sat/satoko/utils/sdbl.h
-include/sat/satoko/utils/sort.h
-include/sat/satoko/utils/vec/vec_char.h
-include/sat/satoko/utils/vec/vec_flt.h
-include/sat/satoko/utils/vec/vec_int.h
-include/sat/satoko/utils/vec/vec_sdbl.h
-include/sat/satoko/utils/vec/vec_uint.h
-include/sat/satoko/watch_list.h
-include/sat/xsat/xsat.h
-include/sat/xsat/xsatBQueue.h
-include/sat/xsat/xsatClause.h
-include/sat/xsat/xsatHeap.h
-include/sat/xsat/xsatMemory.h
-include/sat/xsat/xsatSolver.h
-include/sat/xsat/xsatUtils.h
-include/sat/xsat/xsatWatchList.h
+include/abc/aig/aig/aig.h
+include/abc/aig/gia/gia.h
+include/abc/aig/gia/giaAig.h
+include/abc/aig/gia/giaCSatP.h
+include/abc/aig/gia/giaIiff.h
+include/abc/aig/gia/giaNewBdd.h
+include/abc/aig/gia/giaNewTt.h
+include/abc/aig/gia/giaTransduction.h
+include/abc/aig/hop/cudd2.h
+include/abc/aig/hop/hop.h
+include/abc/aig/ioa/ioa.h
+include/abc/aig/ivy/attr.h
+include/abc/aig/ivy/ivy.h
+include/abc/aig/miniaig/abcOper.h
+include/abc/aig/miniaig/miniaig.h
+include/abc/aig/miniaig/minilut.h
+include/abc/aig/miniaig/ndr.h
+include/abc/aig/saig/saig.h
+include/abc/base/abc/abc.h
+include/abc/base/abc/abcInt.h
+include/abc/base/acb/acb.h
+include/abc/base/acb/acbPar.h
+include/abc/base/acb/acbSets.h
+include/abc/base/bac/bac.h
+include/abc/base/bac/bacPrs.h
+include/abc/base/cba/cba.h
+include/abc/base/cba/cbaPrs.h
+include/abc/base/cba/cbaTypes.h
+include/abc/base/cmd/cmd.h
+include/abc/base/cmd/cmdInt.h
+include/abc/base/exor/exor.h
+include/abc/base/io/ioAbc.h
+include/abc/base/io/ioInt.h
+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/pla/pla.h
+include/abc/base/ver/ver.h
+include/abc/base/wlc/wlc.h
+include/abc/base/wln/wln.h
+include/abc/bdd/bbr/bbr.h
+include/abc/bdd/cas/cas.h
+include/abc/bdd/cudd/cudd.h
+include/abc/bdd/cudd/cuddInt.h
+include/abc/bdd/dsd/dsd.h
+include/abc/bdd/dsd/dsdInt.h
+include/abc/bdd/epd/epd.h
+include/abc/bdd/extrab/extraBdd.h
+include/abc/bdd/llb/llb.h
+include/abc/bdd/llb/llbInt.h
+include/abc/bdd/mtr/mtr.h
+include/abc/bdd/mtr/mtrInt.h
+include/abc/bdd/reo/reo.h
+include/abc/bool/bdc/bdc.h
+include/abc/bool/bdc/bdcInt.h
+include/abc/bool/dec/dec.h
+include/abc/bool/deco/deco.h
+include/abc/bool/kit/cloud.h
+include/abc/bool/kit/kit.h
+include/abc/bool/lucky/lucky.h
+include/abc/bool/lucky/luckyInt.h
+include/abc/bool/rpo/literal.h
+include/abc/bool/rpo/rpo.h
+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/cov/cov.h
+include/abc/map/cov/covInt.h
+include/abc/map/fpga/fpga.h
+include/abc/map/fpga/fpgaInt.h
+include/abc/map/if/acd/ac_wrapper.h
+include/abc/map/if/if.h
+include/abc/map/if/ifCount.h
+include/abc/map/mapper/mapper.h
+include/abc/map/mapper/mapperInt.h
+include/abc/map/mio/exp.h
+include/abc/map/mio/mio.h
+include/abc/map/mio/mioInt.h
+include/abc/map/mpm/mpm.h
+include/abc/map/mpm/mpmInt.h
+include/abc/map/mpm/mpmMig.h
+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/super.h
+include/abc/map/super/superInt.h
+include/abc/misc/avl/avl.h
+include/abc/misc/bar/bar.h
+include/abc/misc/bbl/bblif.h
+include/abc/misc/bzlib/bzlib.h
+include/abc/misc/bzlib/bzlib_private.h
+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/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/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/mem/mem.h
+include/abc/misc/mem/mem2.h
+include/abc/misc/mvc/mvc.h
+include/abc/misc/nm/nm.h
+include/abc/misc/nm/nmInt.h
+include/abc/misc/parse/parse.h
+include/abc/misc/parse/parseInt.h
+include/abc/misc/st/st.h
+include/abc/misc/st/stmm.h
+include/abc/misc/tim/tim.h
+include/abc/misc/tim/timInt.h
+include/abc/misc/util/abc_global.h
+include/abc/misc/util/abc_namespaces.h
+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/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/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/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/csw/csw.h
+include/abc/opt/csw/cswInt.h
+include/abc/opt/cut/cut.h
+include/abc/opt/cut/cutInt.h
+include/abc/opt/cut/cutList.h
+include/abc/opt/dar/dar.h
+include/abc/opt/dar/darInt.h
+include/abc/opt/dau/dau.h
+include/abc/opt/dau/dauInt.h
+include/abc/opt/dsc/dsc.h
+include/abc/opt/fret/fretime.h
+include/abc/opt/fsim/fsim.h
+include/abc/opt/fsim/fsimInt.h
+include/abc/opt/fxch/Fxch.h
+include/abc/opt/fxu/fxu.h
+include/abc/opt/fxu/fxuInt.h
+include/abc/opt/lpk/lpk.h
+include/abc/opt/lpk/lpkInt.h
+include/abc/opt/mfs/mfs.h
+include/abc/opt/mfs/mfsInt.h
+include/abc/opt/nwk/ntlnwk.h
+include/abc/opt/nwk/nwk.h
+include/abc/opt/nwk/nwkMerge.h
+include/abc/opt/res/res.h
+include/abc/opt/res/resInt.h
+include/abc/opt/ret/retInt.h
+include/abc/opt/rwr/rwr.h
+include/abc/opt/rwt/rwt.h
+include/abc/opt/sbd/sbd.h
+include/abc/opt/sbd/sbdInt.h
+include/abc/opt/sfm/sfm.h
+include/abc/opt/sfm/sfmInt.h
+include/abc/opt/sim/sim.h
+include/abc/phys/place/libhmetis.h
+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/acec/acec.h
+include/abc/proof/acec/acecInt.h
+include/abc/proof/cec/cec.h
+include/abc/proof/cec/cecInt.h
+include/abc/proof/dch/dch.h
+include/abc/proof/dch/dchInt.h
+include/abc/proof/fra/fra.h
+include/abc/proof/fraig/fraig.h
+include/abc/proof/fraig/fraigInt.h
+include/abc/proof/int/int.h
+include/abc/proof/int/intInt.h
+include/abc/proof/int2/int2.h
+include/abc/proof/int2/int2Int.h
+include/abc/proof/pdr/pdr.h
+include/abc/proof/pdr/pdrInt.h
+include/abc/proof/ssc/ssc.h
+include/abc/proof/ssc/sscInt.h
+include/abc/proof/ssw/ssw.h
+include/abc/proof/ssw/sswInt.h
+include/abc/sat/bmc/bmc.h
+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/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/Map.h
+include/abc/sat/bsat2/Options.h
+include/abc/sat/bsat2/ParseUtils.h
+include/abc/sat/bsat2/Queue.h
+include/abc/sat/bsat2/SimpSolver.h
+include/abc/sat/bsat2/Solver.h
+include/abc/sat/bsat2/SolverTypes.h
+include/abc/sat/bsat2/Sort.h
+include/abc/sat/bsat2/System.h
+include/abc/sat/bsat2/Vec.h
+include/abc/sat/bsat2/XAlloc.h
+include/abc/sat/bsat2/pstdint.h
+include/abc/sat/cnf/cnf.h
+include/abc/sat/csat/csat_apis.h
+include/abc/sat/glucose/AbcGlucose.h
+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/Heap.h
+include/abc/sat/glucose/IntTypes.h
+include/abc/sat/glucose/Map.h
+include/abc/sat/glucose/Options.h
+include/abc/sat/glucose/ParseUtils.h
+include/abc/sat/glucose/Queue.h
+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.h
+include/abc/sat/glucose/Vec.h
+include/abc/sat/glucose/XAlloc.h
+include/abc/sat/glucose/pstdint.h
+include/abc/sat/glucose2/AbcGlucose2.h
+include/abc/sat/glucose2/Alg.h
+include/abc/sat/glucose2/Alloc.h
+include/abc/sat/glucose2/BoundedQueue.h
+include/abc/sat/glucose2/CGlucose.h
+include/abc/sat/glucose2/CGlucoseCore.h
+include/abc/sat/glucose2/Constants.h
+include/abc/sat/glucose2/Dimacs.h
+include/abc/sat/glucose2/Heap.h
+include/abc/sat/glucose2/Heap2.h
+include/abc/sat/glucose2/IntTypes.h
+include/abc/sat/glucose2/Map.h
+include/abc/sat/glucose2/Options.h
+include/abc/sat/glucose2/ParseUtils.h
+include/abc/sat/glucose2/Queue.h
+include/abc/sat/glucose2/SimpSolver.h
+include/abc/sat/glucose2/Solver.h
+include/abc/sat/glucose2/SolverTypes.h
+include/abc/sat/glucose2/Sort.h
+include/abc/sat/glucose2/System.h
+include/abc/sat/glucose2/Vec.h
+include/abc/sat/glucose2/XAlloc.h
+include/abc/sat/glucose2/pstdint.h
+include/abc/sat/lsat/solver.h
+include/abc/sat/msat/msat.h
+include/abc/sat/msat/msatInt.h
+include/abc/sat/proof/pr.h
+include/abc/sat/psat/m114p.h
+include/abc/sat/psat/m114p_types.h
+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/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/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.a
diff --git a/abc/buildlink3.mk b/abc/buildlink3.mk
new file mode 100644
index 0000000000..b753d12cfa
--- /dev/null
+++ b/abc/buildlink3.mk
@@ -0,0 +1,12 @@
+# $NetBSD$
+
+BUILDLINK_TREE+=	abc
+
+.if !defined(ABC_BUILDLINK3_MK)
+ABC_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.abc+=	abc>=ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2
+BUILDLINK_PKGSRCDIR.abc?=	../../wip/abc
+.endif	# ABC_BUILDLINK3_MK
+
+BUILDLINK_TREE+=	-abc