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:     ud...@student.kit.edu
Last committer: sunp...@freebsd.org
Ident:          $FreeBSD: head/cad/abc/Makefile 498476 2019-04-09 14:04:49Z 
sunpoet $
Log URL:        
http://beefy8.nyi.freebsd.org/data/head-armv6-default/p517099_s354566/logs/abc-g20180420_1.log
Build URL:      
http://beefy8.nyi.freebsd.org/build.html?mastername=head-armv6-default&build=p517099_s354566
Log:

=>> Building cad/abc
build started at Sat Nov  9 03:21:29 UTC 2019
port directory: /usr/ports/cad/abc
package name: abc-g20180420_1
building for: FreeBSD head-armv6-default-job-22 13.0-CURRENT FreeBSD 
13.0-CURRENT 1300056 arm
maintained by: ud...@student.kit.edu
Makefile ident:      $FreeBSD: head/cad/abc/Makefile 498476 2019-04-09 
14:04:49Z sunpoet $
Poudriere version: 3.2.8-5-gc81843e5
Host OSVERSION: 1300047
Jail OSVERSION: 1300056
Job Id: 22




!!! Jail is newer than host. (Jail: 1300056, Host: 1300047) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!



---Begin Environment---
SHELL=/bin/csh
UNAME_p=armv6
UNAME_m=arm
ABI_FILE=/usr/lib/crt1.o
OSVERSION=1300056
UNAME_v=FreeBSD 13.0-CURRENT 1300056
UNAME_r=13.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
QEMU_EMULATING=1
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-5-gc81843e5
MASTERMNT=/usr/local/poudriere/data/.m/head-armv6-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/head-armv6-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=head-armv6-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/head-armv6-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---

---Begin OPTIONS List---
===> The following configuration options are available for abc-g20180420_1:
     DEBUG=off: Build with debugging support
     DOCS=on: Build and/or install documentation
     READLINE=on: Command line editing via libreadline
     THREADS=on: Threading support
===> Use 'make config' to modify these settings
---End OPTIONS List---

--MAINTAINER--
ud...@student.kit.edu
--End MAINTAINER--

--CONFIGURE_ARGS--

--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/cad/abc/work  
XDG_CONFIG_HOME=/wrkdirs/usr/ports/cad/abc/work  
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
 SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local"
--End CONFIGURE_ENV--

--MAKE_ENV--
ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1 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  
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
 NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES 
PREFIX=/usr/local  LOCALBASE=/usr/local  CC="/nxb-bin/usr/bin/cc" CFLAGS="-O2 
-pipe  -fPIC -fstack-protector-strong -isystem /usr/local/include 
-fno-strict-aliasing "  CPP="/nxb-bin/usr/bin/cpp" 
CPPFLAGS="-I/usr/local/include -isystem /usr/local/include"  LDFLAGS=" 
-L/usr/local/lib -fstack-protector-strong -L/usr/local/lib " LIBS=""  
CXX="/nxb-bin/usr/bin/c++" CXXFLAGS="-O2 -pipe -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -fPIC -isystem 
/usr/local/include "  MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install  -s 
-m 555"  BSD_I
 NSTALL_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--
PORTDOCS="" OSREL=13.0 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---
.sinclude "/etc/make.nxb.conf"
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=arm
MACHINE_ARCH=armv6
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# 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 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_9d218390=FreeBSD clang version 9.0.0 (tags/RELEASE_900/final 372316) 
(based on LLVM 9.0.0) Target: armv6-unknown-freebsd13.0-gnueabihf Thread model: 
posix InstalledDir: /nxb-bin/usr/bin
_ALTCCVERSION_9d218390=none
_CXXINTERNAL_9c45a5b1=FreeBSD clang version 9.0.0 (tags/RELEASE_900/final 
372316) (based on LLVM 9.0.0) Target: armv6-unknown-freebsd13.0-gnueabihf 
Thread model: posix InstalledDir: /nxb-bin/usr/bin "/nxb-bin/usr/bin/ld" 
"--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" 
"--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" 
"/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" 
"--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" 
"--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_9d218390_58173849=yes
CC_OUTPUT_9d218390_9bdba57c=yes
CC_OUTPUT_9d218390_6a4fe7f5=yes
CC_OUTPUT_9d218390_6bcac02b=yes
CC_OUTPUT_9d218390_67d20829=yes
CC_OUTPUT_9d218390_bfa62e83=yes
CC_OUTPUT_9d218390_f0b4d593=yes
CC_OUTPUT_9d218390_308abb44=yes
CC_OUTPUT_9d218390_f00456e5=yes
CC_OUTPUT_9d218390_65ad290d=yes
CC_OUTPUT_9d218390_f2776b26=yes
CC_OUTPUT_9d218390_b2657cc3=yes
CC_OUTPUT_9d218390_380987f7=yes
CC_OUTPUT_9d218390_160933ec=yes
CC_OUTPUT_9d218390_fb62803b=yes
_OBJC_CCVERSION_9d218390=FreeBSD clang version 9.0.0 (tags/RELEASE_900/final 
372316) (based on LLVM 9.0.0) Target: armv6-unknown-freebsd13.0-gnueabihf 
Thread model: posix InstalledDir: /nxb-bin/usr/bin
_OBJC_ALTCCVERSION_9d218390=none
ARCH=armv6
OPSYS=FreeBSD
_OSRELEASE=13.0-CURRENT
OSREL=13.0
OSVERSION=1300056
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=262144
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
---Begin make.nxb.conf---
CC=/nxb-bin/usr/bin/cc
CPP=/nxb-bin/usr/bin/cpp
CXX=/nxb-bin/usr/bin/c++
AS=/nxb-bin/usr/bin/as
NM=/nxb-bin/usr/bin/nm
LD=/nxb-bin/usr/bin/ld
OBJCOPY=/nxb-bin/usr/bin/objcopy
SIZE=/nxb-bin/usr/bin/size
STRIPBIN=/nxb-bin/usr/bin/strip
SED=/nxb-bin/usr/bin/sed
RANLIB=/nxb-bin/usr/bin/ranlib
YACC=/nxb-bin/usr/bin/yacc
MAKE=/nxb-bin/usr/bin/make
STRINGS=/nxb-bin/usr/bin/strings
AWK=/nxb-bin/usr/bin/awk
FLEX=/nxb-bin/usr/bin/flex
---End make.nxb.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  33554432
stack size              (kbytes, -s)  524288
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)  1024
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
--End resource limits--
=======================<phase: check-sanity   >============================
===>  License MIT accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   abc-g20180420_1 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.12.0.txz
[head-armv6-default-job-22] Installing pkg-1.12.0...
[head-armv6-default-job-22] Extracting pkg-1.12.0: .......... done
===>   abc-g20180420_1 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of abc-g20180420_1
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License MIT accepted by the user
<snip>
`` Compiling: /src/bdd/cudd/cuddClip.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddClip.c -o src/bdd/cudd/cuddClip.o
`` Compiling: /src/bdd/cudd/cuddCof.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddCof.c -o src/bdd/cudd/cuddCof.o
`` Compiling: /src/bdd/cudd/cuddCompose.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddCompose.c -o src/bdd/cudd/cuddCompose.o
`` Compiling: /src/bdd/cudd/cuddDecomp.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddDecomp.c -o src/bdd/cudd/cuddDecomp.o
`` Compiling: /src/bdd/cudd/cuddEssent.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddEssent.c -o src/bdd/cudd/cuddEssent.o
`` Compiling: /src/bdd/cudd/cuddExact.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddExact.c -o src/bdd/cudd/cuddExact.o
`` Compiling: /src/bdd/cudd/cuddExport.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddExport.c -o src/bdd/cudd/cuddExport.o
`` Compiling: /src/bdd/cudd/cuddGenCof.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddGenCof.c -o src/bdd/cudd/cuddGenCof.o
`` Compiling: /src/bdd/cudd/cuddGenetic.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddGenetic.c -o src/bdd/cudd/cuddGenetic.o
`` Compiling: /src/bdd/cudd/cuddGroup.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddGroup.c -o src/bdd/cudd/cuddGroup.o
`` Compiling: /src/bdd/cudd/cuddHarwell.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddHarwell.c -o src/bdd/cudd/cuddHarwell.o
`` Compiling: /src/bdd/cudd/cuddInit.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddInit.c -o src/bdd/cudd/cuddInit.o
`` Compiling: /src/bdd/cudd/cuddInteract.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddInteract.c -o src/bdd/cudd/cuddInteract.o
`` Compiling: /src/bdd/cudd/cuddLCache.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddLCache.c -o src/bdd/cudd/cuddLCache.o
`` Compiling: /src/bdd/cudd/cuddLevelQ.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddLevelQ.c -o src/bdd/cudd/cuddLevelQ.o
`` Compiling: /src/bdd/cudd/cuddLinear.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddLinear.c -o src/bdd/cudd/cuddLinear.o
`` Compiling: /src/bdd/cudd/cuddLiteral.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddLiteral.c -o src/bdd/cudd/cuddLiteral.o
`` Compiling: /src/bdd/cudd/cuddMatMult.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddMatMult.c -o src/bdd/cudd/cuddMatMult.o
`` Compiling: /src/bdd/cudd/cuddPriority.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddPriority.c -o src/bdd/cudd/cuddPriority.o
`` Compiling: /src/bdd/cudd/cuddRead.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddRead.c -o src/bdd/cudd/cuddRead.o
`` Compiling: /src/bdd/cudd/cuddRef.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddRef.c -o src/bdd/cudd/cuddRef.o
`` Compiling: /src/bdd/cudd/cuddReorder.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddReorder.c -o src/bdd/cudd/cuddReorder.o
`` Compiling: /src/bdd/cudd/cuddSat.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSat.c -o src/bdd/cudd/cuddSat.o
`` Compiling: /src/bdd/cudd/cuddSign.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSign.c -o src/bdd/cudd/cuddSign.o
`` Compiling: /src/bdd/cudd/cuddSolve.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSolve.c -o src/bdd/cudd/cuddSolve.o
`` Compiling: /src/bdd/cudd/cuddSplit.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSplit.c -o src/bdd/cudd/cuddSplit.o
`` Compiling: /src/bdd/cudd/cuddSubsetHB.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSubsetHB.c -o src/bdd/cudd/cuddSubsetHB.o
`` Compiling: /src/bdd/cudd/cuddSubsetSP.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSubsetSP.c -o src/bdd/cudd/cuddSubsetSP.o
`` Compiling: /src/bdd/cudd/cuddSymmetry.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddSymmetry.c -o src/bdd/cudd/cuddSymmetry.o
`` Compiling: /src/bdd/cudd/cuddTable.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddTable.c -o src/bdd/cudd/cuddTable.o
`` Compiling: /src/bdd/cudd/cuddUtil.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddUtil.c -o src/bdd/cudd/cuddUtil.o
`` Compiling: /src/bdd/cudd/cuddWindow.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddWindow.c -o src/bdd/cudd/cuddWindow.o
`` Compiling: /src/bdd/cudd/cuddZddCount.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddCount.c -o src/bdd/cudd/cuddZddCount.o
`` Compiling: /src/bdd/cudd/cuddZddFuncs.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddFuncs.c -o src/bdd/cudd/cuddZddFuncs.o
`` Compiling: /src/bdd/cudd/cuddZddGroup.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddGroup.c -o src/bdd/cudd/cuddZddGroup.o
`` Compiling: /src/bdd/cudd/cuddZddIsop.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddIsop.c -o src/bdd/cudd/cuddZddIsop.o
`` Compiling: /src/bdd/cudd/cuddZddLin.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddLin.c -o src/bdd/cudd/cuddZddLin.o
`` Compiling: /src/bdd/cudd/cuddZddMisc.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddMisc.c -o src/bdd/cudd/cuddZddMisc.o
`` Compiling: /src/bdd/cudd/cuddZddPort.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddPort.c -o src/bdd/cudd/cuddZddPort.o
`` Compiling: /src/bdd/cudd/cuddZddReord.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddReord.c -o src/bdd/cudd/cuddZddReord.o
`` Compiling: /src/bdd/cudd/cuddZddSetop.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddSetop.c -o src/bdd/cudd/cuddZddSetop.o
`` Compiling: /src/bdd/cudd/cuddZddSymm.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddSymm.c -o src/bdd/cudd/cuddZddSymm.o
`` Compiling: /src/bdd/cudd/cuddZddUtil.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cudd/cuddZddUtil.c -o src/bdd/cudd/cuddZddUtil.o
`` Compiling: /src/bdd/extrab/extraBddAuto.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddAuto.c -o src/bdd/extrab/extraBddAuto.o
`` Compiling: /src/bdd/extrab/extraBddCas.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddCas.c -o src/bdd/extrab/extraBddCas.o
`` Compiling: /src/bdd/extrab/extraBddImage.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddImage.c -o src/bdd/extrab/extraBddImage.o
`` Compiling: /src/bdd/extrab/extraBddKmap.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddKmap.c -o src/bdd/extrab/extraBddKmap.o
`` Compiling: /src/bdd/extrab/extraBddMisc.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddMisc.c -o src/bdd/extrab/extraBddMisc.o
`` Compiling: /src/bdd/extrab/extraBddSymm.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddSymm.c -o src/bdd/extrab/extraBddSymm.o
`` Compiling: /src/bdd/extrab/extraBddThresh.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddThresh.c -o src/bdd/extrab/extraBddThresh.o
`` Compiling: /src/bdd/extrab/extraBddTime.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddTime.c -o src/bdd/extrab/extraBddTime.o
`` Compiling: /src/bdd/extrab/extraBddUnate.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/extrab/extraBddUnate.c -o src/bdd/extrab/extraBddUnate.o
`` Compiling: /src/bdd/dsd/dsdApi.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/dsd/dsdApi.c -o src/bdd/dsd/dsdApi.o
`` Compiling: /src/bdd/dsd/dsdCheck.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/dsd/dsdCheck.c -o src/bdd/dsd/dsdCheck.o
`` Compiling: /src/bdd/dsd/dsdLocal.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/dsd/dsdLocal.c -o src/bdd/dsd/dsdLocal.o
`` Compiling: /src/bdd/dsd/dsdMan.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/dsd/dsdMan.c -o src/bdd/dsd/dsdMan.o
`` Compiling: /src/bdd/dsd/dsdProc.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/dsd/dsdProc.c -o src/bdd/dsd/dsdProc.o
`` Compiling: /src/bdd/dsd/dsdTree.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/dsd/dsdTree.c -o src/bdd/dsd/dsdTree.o
`` Compiling: /src/bdd/epd/epd.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/epd/epd.c -o src/bdd/epd/epd.o
`` Compiling: /src/bdd/mtr/mtrBasic.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/mtr/mtrBasic.c -o src/bdd/mtr/mtrBasic.o
`` Compiling: /src/bdd/mtr/mtrGroup.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/mtr/mtrGroup.c -o src/bdd/mtr/mtrGroup.o
src/bdd/mtr/mtrGroup.c:566:30: warning: format specifies type 'unsigned short' 
but the argument has type 'int' [-Wformat]
        (void) printf("%hu", root->low + root->size - 1);
                       ~~~   ^~~~~~~~~~~~~~~~~~~~~~~~~~
                       %d
1 warning generated.
`` Compiling: /src/bdd/reo/reoApi.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoApi.c -o src/bdd/reo/reoApi.o
`` Compiling: /src/bdd/reo/reoCore.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoCore.c -o src/bdd/reo/reoCore.o
`` Compiling: /src/bdd/reo/reoProfile.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoProfile.c -o src/bdd/reo/reoProfile.o
`` Compiling: /src/bdd/reo/reoShuffle.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoShuffle.c -o src/bdd/reo/reoShuffle.o
`` Compiling: /src/bdd/reo/reoSift.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoSift.c -o src/bdd/reo/reoSift.o
`` Compiling: /src/bdd/reo/reoSwap.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoSwap.c -o src/bdd/reo/reoSwap.o
`` Compiling: /src/bdd/reo/reoTransfer.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoTransfer.c -o src/bdd/reo/reoTransfer.o
`` Compiling: /src/bdd/reo/reoUnits.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/reo/reoUnits.c -o src/bdd/reo/reoUnits.o
`` Compiling: /src/bdd/cas/casCore.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cas/casCore.c -o src/bdd/cas/casCore.o
`` Compiling: /src/bdd/cas/casDec.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/cas/casDec.c -o src/bdd/cas/casDec.o
`` Compiling: /src/bdd/bbr/bbrCex.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/bbr/bbrCex.c -o src/bdd/bbr/bbrCex.o
`` Compiling: /src/bdd/bbr/bbrImage.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/bbr/bbrImage.c -o src/bdd/bbr/bbrImage.o
`` Compiling: /src/bdd/bbr/bbrNtbdd.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/bbr/bbrNtbdd.c -o src/bdd/bbr/bbrNtbdd.o
`` Compiling: /src/bdd/bbr/bbrReach.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/bbr/bbrReach.c -o src/bdd/bbr/bbrReach.o
`` Compiling: /src/bdd/llb/llb1Cluster.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Cluster.c -o src/bdd/llb/llb1Cluster.o
`` Compiling: /src/bdd/llb/llb1Constr.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Constr.c -o src/bdd/llb/llb1Constr.o
`` Compiling: /src/bdd/llb/llb1Core.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Core.c -o src/bdd/llb/llb1Core.o
`` Compiling: /src/bdd/llb/llb1Group.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Group.c -o src/bdd/llb/llb1Group.o
`` Compiling: /src/bdd/llb/llb1Hint.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Hint.c -o src/bdd/llb/llb1Hint.o
`` Compiling: /src/bdd/llb/llb1Man.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Man.c -o src/bdd/llb/llb1Man.o
`` Compiling: /src/bdd/llb/llb1Matrix.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Matrix.c -o src/bdd/llb/llb1Matrix.o
`` Compiling: /src/bdd/llb/llb1Pivot.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Pivot.c -o src/bdd/llb/llb1Pivot.o
`` Compiling: /src/bdd/llb/llb1Reach.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Reach.c -o src/bdd/llb/llb1Reach.o
`` Compiling: /src/bdd/llb/llb1Sched.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb1Sched.c -o src/bdd/llb/llb1Sched.o
`` Compiling: /src/bdd/llb/llb2Bad.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb2Bad.c -o src/bdd/llb/llb2Bad.o
`` Compiling: /src/bdd/llb/llb2Core.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb2Core.c -o src/bdd/llb/llb2Core.o
`` Compiling: /src/bdd/llb/llb2Driver.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb2Driver.c -o src/bdd/llb/llb2Driver.o
`` Compiling: /src/bdd/llb/llb2Dump.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb2Dump.c -o src/bdd/llb/llb2Dump.o
`` Compiling: /src/bdd/llb/llb2Flow.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb2Flow.c -o src/bdd/llb/llb2Flow.o
`` Compiling: /src/bdd/llb/llb2Image.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb2Image.c -o src/bdd/llb/llb2Image.o
`` Compiling: /src/bdd/llb/llb3Image.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb3Image.c -o src/bdd/llb/llb3Image.o
`` Compiling: /src/bdd/llb/llb3Nonlin.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb3Nonlin.c -o src/bdd/llb/llb3Nonlin.o
`` Compiling: /src/bdd/llb/llb4Cex.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb4Cex.c -o src/bdd/llb/llb4Cex.o
`` Compiling: /src/bdd/llb/llb4Image.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb4Image.c -o src/bdd/llb/llb4Image.o
`` Compiling: /src/bdd/llb/llb4Nonlin.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb4Nonlin.c -o src/bdd/llb/llb4Nonlin.o
`` Compiling: /src/bdd/llb/llb4Sweep.c
/nxb-bin/usr/bin/cc -c  -I./src -O2 -pipe  -fPIC -fstack-protector-strong 
-isystem /usr/local/include -fno-strict-aliasing  -Wall -Wno-unused-function 
-Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H=1 -DABC_MEMALIGN=4 
-DABC_USE_CUDD=1 -DABC_USE_READLINE  -I/usr/local/include -DABC_USE_PTHREADS 
src/bdd/llb/llb4Sweep.c -o src/bdd/llb/llb4Sweep.o
=>> Killing runaway build after 21600 seconds with no output
_______________________________________________
freebsd-pkg-fallout@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout
To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"

Reply via email to