[package - 143i386-default][cad/abc] Failed for abc-g20251226,1 in build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 01 Jan 2026 04:49:13 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: alven@FreeBSD.org
Log URL: https://pkg-status.freebsd.org/beefy18/data/143i386-default/6e10fe590d17/logs/abc-g20251226,1.log
Build URL: https://pkg-status.freebsd.org/beefy18/build.html?mastername=143i386-default&build=6e10fe590d17
Log:
=>> Building cad/abc
build started at Thu Jan 1 04:47:56 -00 2026
port directory: /usr/ports/cad/abc
package name: abc-g20251226,1
building for: FreeBSD 143i386-default-job-12 14.3-RELEASE-p7 FreeBSD 14.3-RELEASE-p7 i386
maintained by: alven@FreeBSD.org
Makefile datestamp: -rw-r--r-- 1 root wheel 1056 Jan 1 01:01 /usr/ports/cad/abc/Makefile
Ports top last git commit: 6e10fe590d1706e856a9d067aef1a25ca2056050
Ports top unclean checkout: no
Port dir last git commit: 947f7ea8f16c84dcb00d9578fcf8a9f7fbdca4a4
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.4-15-g61aba751
Host OSVERSION: 1600000
Jail OSVERSION: 1403000
Job Id: 12
---Begin Environment---
SHELL=/bin/sh
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
OSVERSION=1403000
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
UNAME_m=i386
UNAME_p=i386
UNAME_r=14.3-RELEASE-p7
LOCALBASE=/usr/local
UNAME_v=FreeBSD 14.3-RELEASE-p7
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.4-15-g61aba751
MASTERMNT=/usr/local/poudriere/data/.m/143i386-default/ref
LC_COLLATE=C
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
OUTPUT_REDIRECTED_STDERR=4
OUTPUT_REDIRECTED=1
PWD=/usr/local/poudriere/data/.m/143i386-default/12/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=143i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/143i386-default/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.4-15-g61aba751
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
===> The following configuration options are available for abc-g20251226,1:
READLINE=on: Command line editing via libreadline
THREADS=on: Threading support
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
alven@FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
ABC_READLINE_LIBRARIES="-L/usr/local/lib -lreadline" XDG_DATA_HOME=/wrkdirs/usr/ports/cad/abc/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/cad/abc/work XDG_CACHE_HOME=/wrkdirs/usr/ports/cad/abc/work/.cache HOME=/wrkdirs/usr/ports/cad/abc/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/cad/abc/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/cad/abc/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/cad/abc/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/cad/abc/work XDG_CACHE_HOME=/wrkdirs/usr/ports/cad/abc/work/.cache HOME=/wrkdirs/usr/ports/cad/abc/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/cad/abc/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/cad/abc/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/cad/abc/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-I/usr/local/include" LDFLAGS=" -L/usr/local/lib " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555"
BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444"
--End MAKE_ENV--
--PLIST_SUB--
CMAKE_BUILD_TYPE="release" OSREL=14.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/abc" EXAMPLESDIR="share/examples/abc" DATADIR="share/abc" WWWDIR="www/abc" ETCDIR="etc/abc"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/abc DOCSDIR=/usr/local/share/doc/abc EXAMPLESDIR=/usr/local/share/examples/abc WWWDIR=/usr/local/www/abc ETCDIR=/usr/local/etc/abc
--End SUB_LIST--
---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs
MAKE_JOBS_NUMBER=3
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
GID=0
UID=0
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 524288
stack size (kbytes, -s) 65536
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 8192
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
pipebuf (-y) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License MIT accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> abc-g20251226,1 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-2.5.1.pkg
[143i386-default-job-12] Installing pkg-2.5.1...
[143i386-default-job-12] Extracting pkg-2.5.1: .......... done
===> abc-g20251226,1 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of abc-g20251226,1
===========================================================================
=======================<phase: fetch-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: fetch >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License MIT accepted by the user
=> berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz doesn't seem to exist in /portdistfiles.
=> Attempting to fetch https://codeload.github.com/berkeley-abc/abc/tar.gz/91e806ff?dummy=/berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz
fetch: https://codeload.github.com/berkeley-abc/abc/tar.gz/91e806ff?dummy=/berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz: size unknown
fetch: https://codeload.github.com/berkeley-abc/abc/tar.gz/91e806ff?dummy=/berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz: size of remote file is not known
berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz 7106 kB 6425 kBps 01s
===> Fetching all distfiles required by abc-g20251226,1 for building
===========================================================================
=======================<phase: checksum >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License MIT accepted by the user
===> Fetching all distfiles required by abc-g20251226,1 for building
=> SHA256 Checksum OK for berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: extract >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License MIT accepted by the user
===> Fetching all distfiles required by abc-g20251226,1 for building
===> Extracting for abc-g20251226,1
=> SHA256 Checksum OK for berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: patch >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Patching for abc-g20251226,1
===> Applying FreeBSD patches for abc-g20251226,1 from /usr/ports/cad/abc/files
===========================================================================
=======================<phase: build-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> abc-g20251226,1 depends on executable: gmake - not found
===> Installing existing package /packages/All/gmake-4.4.1.pkg
[143i386-default-job-12] Installing gmake-4.4.1...
[143i386-default-job-12] `-- Installing gettext-runtime-0.26...
[143i386-default-job-12] | `-- Installing indexinfo-0.3.1_1...
[143i386-default-job-12] | `-- Extracting indexinfo-0.3.1_1: .... done
[143i386-default-job-12] `-- Extracting gettext-runtime-0.26: .......... done
[143i386-default-job-12] Extracting gmake-4.4.1: .......... done
===> abc-g20251226,1 depends on executable: gmake - found
===> Returning to build of abc-g20251226,1
===> abc-g20251226,1 depends on file: /usr/local/bin/cmake - not found
<snip>
1 warning generated.
[ 20% 284/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifSeq.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifSeq.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifSeq.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifSeq.c
[ 20% 285/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifSelect.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifSelect.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifSelect.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifSelect.c
[ 20% 286/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifTime.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifTime.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifTime.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTime.c
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTime.c:227:21: warning: unused variable 'Delay' [-Wunused-variable]
227 | int Delay = If_CutSopBalancePinDelays( p, pCut, pPerm );
| ^~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTime.c:232:21: warning: unused variable 'Delay' [-Wunused-variable]
232 | int Delay = If_CutLutBalancePinDelays( p, pCut, pPerm );
| ^~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTime.c:237:21: warning: unused variable 'Delay' [-Wunused-variable]
237 | int Delay = If_CutDsdBalancePinDelays( p, pCut, pPerm );
| ^~~~~
3 warnings generated.
[ 20% 287/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifTest.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifTest.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifTest.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTest.c
[ 20% 288/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifUtil.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifUtil.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifUtil.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifUtil.c
[ 21% 289/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifTruth.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifTruth.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifTruth.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTruth.c
[ 21% 290/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapCore.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapCore.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapCore.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapCore.c
[ 21% 291/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapGraph.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapGraph.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapGraph.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapGraph.c
[ 21% 292/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/ifTune.c.o -MF CMakeFiles/libabc.dir/src/map/if/ifTune.c.o.d -o CMakeFiles/libabc.dir/src/map/if/ifTune.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1173:23: warning: variable 'iSelectLit' is used uninitialized whenever 'if' condition is false [-Wsometimes-uninitialized]
1173 | else if ( v >= 2 && v < 2 + Vec_IntSize(vLeaves) )
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1177:46: note: uninitialized use occurs here
1177 | iObjLit3 = Gia_ManHashMux( pNew, iSelectLit, iObjLit2, iObjLit1 );
| ^~~~~~~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1173:18: note: remove the 'if' if its condition is always true
1173 | else if ( v >= 2 && v < 2 + Vec_IntSize(vLeaves) )
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1174 | iSelectLit = Vec_IntEntry(vLeaves, v - 2); // select from leaf (v-2)
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1175 | else
| ~~~~
1176 | assert( 0 ); // Invalid value
| ~~~~~~~~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1173:23: warning: variable 'iSelectLit' is used uninitialized whenever '&&' condition is false [-Wsometimes-uninitialized]
1173 | else if ( v >= 2 && v < 2 + Vec_IntSize(vLeaves) )
| ^~~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1177:46: note: uninitialized use occurs here
1177 | iObjLit3 = Gia_ManHashMux( pNew, iSelectLit, iObjLit2, iObjLit1 );
| ^~~~~~~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1173:23: note: remove the '&&' if its condition is always true
1173 | else if ( v >= 2 && v < 2 + Vec_IntSize(vLeaves) )
| ^~~~~~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1167:27: note: initialize the variable 'iSelectLit' to silence this warning
1167 | int iSelectLit;
| ^
| = 0
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/ifTune.c:1368:13: warning: unused variable 'RetValue' [-Wunused-variable]
1368 | int RetValue = Kit_TruthIsop( (unsigned *)&uTruth, p->nParsVNum, vCover, 0 );
| ^~~~~~~~
3 warnings generated.
[ 21% 293/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapLib.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapLib.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapLib.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapLib.c
[ 21% 294/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapMan.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapMan.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapMan.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapMan.c
[ 21% 295/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapLiberty.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapLiberty.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapLiberty.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapLiberty.c
[ 21% 296/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapMatch.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapMatch.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapMatch.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapMatch.c
[ 21% 297/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapOutput.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapOutput.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapOutput.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapOutput.c
[ 21% 298/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapMerge.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapMerge.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapMerge.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapMerge.c
[ 21% 299/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapParse.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapParse.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapParse.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapParse.c
[ 21% 300/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapPerm.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapPerm.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapPerm.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapPerm.c
[ 21% 301/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapRead.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapRead.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapRead.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapRead.c
[ 22% 302/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapRule.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapRule.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapRule.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapRule.c
[ 22% 303/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/amap/amapUniq.c.o -MF CMakeFiles/libabc.dir/src/map/amap/amapUniq.c.o.d -o CMakeFiles/libabc.dir/src/map/amap/amapUniq.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/amap/amapUniq.c
[ 22% 304/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covBuild.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covBuild.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covBuild.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covBuild.c
[ 22% 305/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covMan.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covMan.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covMan.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covMan.c
[ 22% 306/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covCore.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covCore.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covCore.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covCore.c
[ 22% 307/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covMinEsop.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covMinEsop.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covMinEsop.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covMinEsop.c
[ 22% 308/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covMinMan.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covMinMan.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covMinMan.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covMinMan.c
[ 22% 309/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covMinUtil.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covMinUtil.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covMinUtil.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covMinUtil.c
[ 22% 310/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/cov/covMinSop.c.o -MF CMakeFiles/libabc.dir/src/map/cov/covMinSop.c.o.d -o CMakeFiles/libabc.dir/src/map/cov/covMinSop.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/cov/covMinSop.c
[ 22% 311/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/scl.c.o -MF CMakeFiles/libabc.dir/src/map/scl/scl.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/scl.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/scl.c
[ 22% 312/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclBuffer.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclBuffer.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclBuffer.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclBuffer.c
[ 22% 313/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclBufSize.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclBufSize.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclBufSize.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclBufSize.c
[ 22% 314/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclDnsize.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclDnsize.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclDnsize.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclDnsize.c
[ 22% 315/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclLiberty.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclLiberty.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclLiberty.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclLiberty.c
[ 23% 316/1362] /usr/bin/c++ -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++17 -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -std=c++17 -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/if/acd/ac_wrapper.cpp.o -MF CMakeFiles/libabc.dir/src/map/if/acd/ac_wrapper.cpp.o.d -o CMakeFiles/libabc.dir/src/map/if/acd/ac_wrapper.cpp.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/if/acd/ac_wrapper.cpp
[ 23% 317/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclLibScl.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclLibScl.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclLibScl.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclLibScl.c
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclLibScl.c:372:26: warning: unused variable 'Value' [-Wunused-variable]
372 | word Value = Vec_StrGetW(vOut, pPos);
| ^~~~~
1 warning generated.
[ 23% 318/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclLoad.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclLoad.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclLoad.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclLoad.c
[ 23% 319/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclLibUtil.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclLibUtil.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclLibUtil.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclLibUtil.c
[ 23% 320/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclSize.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclSize.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclSize.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclSize.c
[ 23% 321/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclUpsize.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclUpsize.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclUpsize.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclUpsize.c
[ 23% 322/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/scl/sclUtil.c.o -MF CMakeFiles/libabc.dir/src/map/scl/sclUtil.c.o.d -o CMakeFiles/libabc.dir/src/map/scl/sclUtil.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/scl/sclUtil.c
[ 23% 323/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmCore.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmCore.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmCore.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmCore.c
[ 23% 324/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmGates.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmGates.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmGates.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmGates.c
[ 23% 325/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmAbc.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmAbc.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmAbc.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmAbc.c
[ 23% 326/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmLib.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmLib.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmLib.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmLib.c
[ 23% 327/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmDsd.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmDsd.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmDsd.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmDsd.c
[ 23% 328/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmMig.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmMig.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmMig.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmMig.c
[ 24% 329/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmMan.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmMan.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmMan.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmMan.c
[ 24% 330/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmMap.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmMap.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmMap.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmMap.c
[ 24% 331/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmUtil.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmUtil.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmUtil.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmUtil.c
[ 24% 332/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmTruth.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmTruth.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmTruth.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmTruth.c
[ 24% 333/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilBitMatrix.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilBitMatrix.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilBitMatrix.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilBitMatrix.c
[ 24% 334/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilCanon.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilCanon.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilCanon.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilCanon.c
[ 24% 335/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/map/mpm/mpmPre.c.o -MF CMakeFiles/libabc.dir/src/map/mpm/mpmPre.c.o.d -o CMakeFiles/libabc.dir/src/map/mpm/mpmPre.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/map/mpm/mpmPre.c
[ 24% 336/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilCfs.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilCfs.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilCfs.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilCfs.c
[ 24% 337/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilCube.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilCube.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilCube.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilCube.c
[ 24% 338/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilFile.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilFile.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilFile.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilFile.c
[ 24% 339/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilDsd.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilDsd.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilDsd.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilDsd.c
[ 24% 340/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilEnum.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilEnum.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilEnum.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilEnum.c
[ 24% 341/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilGen.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilGen.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilGen.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilGen.c
[ 24% 342/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilMacc.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilMacc.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilMacc.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMacc.c
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMacc.c:55:9: warning: unused variable 'Bound' [-Wunused-variable]
55 | int Bound = 1 << (nBits-1);
| ^~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMacc.c:71:9: warning: unused variable 'Bound' [-Wunused-variable]
71 | int Bound = 1 << (nBits-1);
| ^~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMacc.c:250:9: warning: unused variable 'Bound' [-Wunused-variable]
250 | int Bound = 1 << (nBits-1);
| ^~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMacc.c:271:9: warning: unused variable 'Bound' [-Wunused-variable]
271 | int Bound = 1 << (nBits-1);
| ^~~~~
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMacc.c:294:9: warning: unused variable 'Bound' [-Wunused-variable]
294 | int Bound = 1 << (nBits-1);
| ^~~~~
5 warnings generated.
[ 25% 343/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilMemory.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilMemory.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilMemory.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMemory.c
[ 25% 344/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilMult.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilMult.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilMult.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMult.c
[ 25% 345/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilMaj.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilMaj.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilMaj.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMaj.c
[ 25% 346/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilMisc.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilMisc.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilMisc.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilMisc.c
[ 25% 347/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilPath.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilPath.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilPath.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilPath.c
[ 25% 348/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilPerm.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilPerm.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilPerm.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilPerm.c
[ 25% 349/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilProgress.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilProgress.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilProgress.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilProgress.c
[ 25% 350/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilReader.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilReader.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilReader.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilReader.c
[ 25% 351/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilUtil.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilUtil.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilUtil.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilUtil.c
[ 25% 352/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcApi.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcApi.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcApi.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcApi.c
[ 25% 353/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilSupp.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilSupp.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilSupp.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilSupp.c
[ 25% 354/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcCompare.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcCompare.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcCompare.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcCompare.c
[ 25% 355/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcContain.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcContain.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcContain.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcContain.c
[ 25% 356/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/extra/extraUtilTruth.c.o -MF CMakeFiles/libabc.dir/src/misc/extra/extraUtilTruth.c.o.d -o CMakeFiles/libabc.dir/src/misc/extra/extraUtilTruth.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/extra/extraUtilTruth.c
[ 26% 357/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcCover.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcCover.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcCover.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcCover.c
[ 26% 358/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcCube.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcCube.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcCube.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcCube.c
[ 26% 359/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcDivisor.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcDivisor.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcDivisor.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcDivisor.c
[ 26% 360/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcList.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcList.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcList.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcList.c
[ 26% 361/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcDivide.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcDivide.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcDivide.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcDivide.c
[ 26% 362/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcMan.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcMan.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcMan.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcMan.c
[ 26% 363/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcLits.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcLits.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcLits.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcLits.c
[ 26% 364/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcOpBool.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcOpBool.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcOpBool.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcOpBool.c
[ 26% 365/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcOpAlg.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcOpAlg.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcOpAlg.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcOpAlg.c
[ 26% 366/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcPrint.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcPrint.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcPrint.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcPrint.c
[ 26% 367/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcSort.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcSort.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcSort.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcSort.c
[ 26% 368/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/st/st.c.o -MF CMakeFiles/libabc.dir/src/misc/st/st.c.o.d -o CMakeFiles/libabc.dir/src/misc/st/st.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/st/st.c
[ 26% 369/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/st/stmm.c.o -MF CMakeFiles/libabc.dir/src/misc/st/stmm.c.o.d -o CMakeFiles/libabc.dir/src/misc/st/stmm.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/st/stmm.c
[ 27% 370/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o -MF CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o.d -o CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c
FAILED: [code=1] CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o
/usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o -MF CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o.d -o CMakeFiles/libabc.dir/src/misc/util/utilAigSim.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:150:34: error: __int128 is not supported on this target
150 | static void u128_to_dec(unsigned __int128 x, char *buf, size_t cap) {
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:337:20: error: __int128 is not supported on this target
337 | const unsigned __int128 combs = ((unsigned __int128)1) << (unsigned)nVars;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:337:48: error: __int128 is not supported on this target
337 | const unsigned __int128 combs = ((unsigned __int128)1) << (unsigned)nVars;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:351:14: error: __int128 is not supported on this target
351 | unsigned __int128 patsDone = 0;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:355:19: error: __int128 is not supported on this target
355 | for (unsigned __int128 base = 0; base < combs; base += BATCH) {
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:356:18: error: __int128 is not supported on this target
356 | unsigned __int128 remain = combs - base;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:457:20: error: __int128 is not supported on this target
457 | const unsigned __int128 combs = ((unsigned __int128)1) << (unsigned)nVars;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:457:48: error: __int128 is not supported on this target
457 | const unsigned __int128 combs = ((unsigned __int128)1) << (unsigned)nVars;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:478:14: error: __int128 is not supported on this target
478 | unsigned __int128 patsDone = 0;
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:482:19: error: __int128 is not supported on this target
482 | for (unsigned __int128 base = 0; base < combs; base += BATCH) {
| ^
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilAigSim.c:483:18: error: __int128 is not supported on this target
483 | unsigned __int128 remain = combs - base;
| ^
11 errors generated.
[ 27% 370/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/mvc/mvcUtils.c.o -MF CMakeFiles/libabc.dir/src/misc/mvc/mvcUtils.c.o.d -o CMakeFiles/libabc.dir/src/misc/mvc/mvcUtils.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/mvc/mvcUtils.c
[ 27% 370/1362] /usr/bin/cc -Dlibabc_EXPORTS -I/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -I/usr/local/include -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/misc/util/utilBridge.c.o -MF CMakeFiles/libabc.dir/src/misc/util/utilBridge.c.o.d -o CMakeFiles/libabc.dir/src/misc/util/utilBridge.c.o -c /wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilBridge.c
/wrkdirs/usr/ports/cad/abc/work/abc-91e806ff/src/misc/util/utilBridge.c:316:37: warning: unused variable 'pBufferEnd' [-Wunused-variable]
316 | unsigned char * pBufferPivot, * pBufferEnd = pBuffer + Size;
| ^~~~~~~~~~
1 warning generated.
ninja: build stopped: subcommand failed.
===> Compilation failed unexpectedly.
Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to
the maintainer.
*** Error code 1
Stop.
make: stopped in /usr/ports/cad/abc