Attachment 208619 Details for Bug 241511 – patch

[patch] patch

abc.patch (text/plain), 21.25 KB, created by Yuri Victorovich on 2019-10-26 23:42:26 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Yuri Victorovich

Created: 2019-10-26 23:42:26 UTC

Size: 21.25 KB

patch

obsolete

>Index: cad/abc/Makefile
>===================================================================
>--- cad/abc/Makefile	(revision 510836)
>+++ cad/abc/Makefile	(working copy)
>@@ -1,8 +1,7 @@
> # $FreeBSD$
> 
> PORTNAME=	abc
>-DISTVERSION=	g20180420
>-PORTREVISION=	1
>+DISTVERSION=	g20191026
> CATEGORIES=	cad
> 
> MAINTAINER=	uddka@student.kit.edu
>@@ -11,19 +10,15 @@
> LICENSE=	MIT
> LICENSE_FILE=	${WRKSRC}/copyright.txt
> 
>-USES=		gmake localbase:ldflags
>+USES=		cmake
> USE_GITHUB=	yes
> GH_ACCOUNT=	berkeley-abc
>-GH_TAGNAME=	0e15e4d
>+GH_TAGNAME=	f9309ce
> USE_LDCONFIG=	yes
> 
> MAKE_ENV=	ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1
>-CFLAGS+=	-fPIC
>-CXXFLAGS+=	-fPIC
> 
>-PLIST_FILES=	bin/${PORTNAME} lib/lib${PORTNAME}.so
>-
>-OPTIONS_DEFINE=	DEBUG DOCS READLINE THREADS
>+OPTIONS_DEFINE=	DEBUG READLINE THREADS
> OPTIONS_DEFAULT=	READLINE THREADS
> 
> READLINE_USES=	readline
>@@ -32,18 +27,13 @@
> 
> 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} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
>-	${INSTALL_PROGRAM} ${WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
>+	${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>
>Index: cad/abc/distinfo
>===================================================================
>--- cad/abc/distinfo	(revision 510836)
>+++ cad/abc/distinfo	(working copy)
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1524554306
>-SHA256 (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = ec291913390100d8b91264cba754fdf00274516d5f81d8b6ae2838d4489d0384
>-SIZE (berkeley-abc-abc-g20180420-0e15e4d_GH0.tar.gz) = 5591634
>+TIMESTAMP = 1572128636
>+SHA256 (berkeley-abc-abc-g20191026-f9309ce_GH0.tar.gz) = b96c4ef8135101a04e59114c2625a258faf6edbda84b227bbe9a527a77969bdf
>+SIZE (berkeley-abc-abc-g20191026-f9309ce_GH0.tar.gz) = 5717614
>Index: cad/abc/files/patch-CMakeLists.txt
>===================================================================
>--- cad/abc/files/patch-CMakeLists.txt	(nonexistent)
>+++ cad/abc/files/patch-CMakeLists.txt	(working copy)
>@@ -0,0 +1,33 @@
>+--- 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)
>
>Property changes on: cad/abc/files/patch-CMakeLists.txt
>___________________________________________________________________
>Added: fbsd:nokeywords
>## -0,0 +1 ##
>+yes
>\ No newline at end of property
>Added: svn:eol-style
>## -0,0 +1 ##
>+native
>\ No newline at end of property
>Added: svn:mime-type
>## -0,0 +1 ##
>+text/plain
>\ No newline at end of property
>Index: cad/abc/files/patch-Makefile
>===================================================================
>--- cad/abc/files/patch-Makefile	(revision 510836)
>+++ cad/abc/files/patch-Makefile	(working copy)
>@@ -1,4 +1,4 @@
>---- Makefile.orig	2018-03-30 08:04:05 UTC
>+--- Makefile.orig	2019-10-26 15:54:10 UTC
> +++ Makefile
> @@ -1,6 +1,4 @@
>  
>@@ -7,12 +7,12 @@
>  LD   := $(CXX)
>  
>  MSG_PREFIX ?=
>-@@ -52,8 +50,6 @@ endif
>+@@ -51,8 +49,6 @@ else
>+ endif
>  
>  ARCHFLAGS := $(ARCHFLAGS)
>+-
>+-OPTFLAGS  ?= -g -O
>  
>--OPTFLAGS  ?= -g -O
>--
>  CFLAGS    += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS)
>  ifneq ($(findstring arm,$(shell uname -m)),)
>- 	CFLAGS += -DABC_MEMALIGN=4
>Index: cad/abc/pkg-plist
>===================================================================
>--- cad/abc/pkg-plist	(nonexistent)
>+++ cad/abc/pkg-plist	(working copy)
>@@ -0,0 +1,491 @@
>+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
>
>Property changes on: cad/abc/pkg-plist
>___________________________________________________________________
>Added: fbsd:nokeywords
>## -0,0 +1 ##
>+yes
>\ No newline at end of property
>Added: svn:eol-style
>## -0,0 +1 ##
>+native
>\ No newline at end of property
>Added: svn:mime-type
>## -0,0 +1 ##
>+text/plain
>\ No newline at end of property

Actions: View | Diff

Attachments on bug 241511: 208618 | 208619 | 208620