From owner-freebsd-pkg-fallout@freebsd.org Tue Dec 24 18:36:50 2019 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id DB93C1EE0B2 for ; Tue, 24 Dec 2019 18:36:50 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 47j4gk6GjDz45tL for ; Tue, 24 Dec 2019 18:36:50 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id D54941EE0B1; Tue, 24 Dec 2019 18:36:50 +0000 (UTC) Delivered-To: pkg-fallout@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id D3C111EE0B0 for ; Tue, 24 Dec 2019 18:36:50 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 47j4gk5cmXz45tK for ; Tue, 24 Dec 2019 18:36:50 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy12.nyi.freebsd.org (beefy12.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:ef]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id B4B374615 for ; Tue, 24 Dec 2019 18:36:50 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy12.nyi.freebsd.org (localhost [127.0.0.1]) by beefy12.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id xBOIao4B016286 for ; Tue, 24 Dec 2019 18:36:50 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy12.nyi.freebsd.org (8.15.2/8.15.2/Submit) id xBOIao6f016285; Tue, 24 Dec 2019 18:36:50 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Tue, 24 Dec 2019 18:36:50 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201912241836.xBOIao6f016285@beefy12.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - head-armv7-default][cad/abc] Failed for abc-g20180420_1 in build/runaway X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 24 Dec 2019 18:36:50 -0000 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: uddka@student.kit.edu Last committer: sunpoet@FreeBSD.org Ident: $FreeBSD: head/cad/abc/Makefile 498476 2019-04-09 14:04:49Z sunpoet $ Log URL: http://beefy12.nyi.freebsd.org/data/head-armv7-default/p520767_s356047/logs/abc-g20180420_1.log Build URL: http://beefy12.nyi.freebsd.org/build.html?mastername=head-armv7-default&build=p520767_s356047 Log: =>> Building cad/abc build started at Tue Dec 24 12:00:42 UTC 2019 port directory: /usr/ports/cad/abc package name: abc-g20180420_1 building for: FreeBSD head-armv7-default-job-01 13.0-CURRENT FreeBSD 13.0-CURRENT 1300068 arm maintained by: uddka@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: 1300062 Jail OSVERSION: 1300068 Job Id: 01 !!! Jail is newer than host. (Jail: 1300068, Host: 1300062) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh UNAME_p=armv7 UNAME_m=arm ABI_FILE=/usr/lib/crt1.o OSVERSION=1300068 UNAME_v=FreeBSD 13.0-CURRENT 1300068 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-armv7-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/head-armv7-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=head-armv7-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/head-armv7-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-- uddka@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=armv7 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.1 (git@github.com:llvm/llvm-project.git c1a0a213378a458fbea1a5c77b315c7dce08fd05) (based on LLVM 9.0.1) Target: armv7-unknown-freebsd13.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _ALTCCVERSION_9d218390=none _CXXINTERNAL_9c45a5b1=FreeBSD clang version 9.0.1 (git@github.com:llvm/llvm-project.git c1a0a213378a458fbea1a5c77b315c7dce08fd05) (based on LLVM 9.0.1) Target: armv7-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.1 (git@github.com:llvm/llvm-project.git c1a0a213378a458fbea1a5c77b315c7dce08fd05) (based on LLVM 9.0.1) Target: armv7-unknown-freebsd13.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _OBJC_ALTCCVERSION_9d218390=none ARCH=armv7 OPSYS=FreeBSD _OSRELEASE=13.0-CURRENT OSREL=13.0 OSVERSION=1300068 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-- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> abc-g20180420_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0.txz [head-armv7-default-job-01] Installing pkg-1.12.0... [head-armv7-default-job-01] Extracting pkg-1.12.0: .......... done ===> abc-g20180420_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of abc-g20180420_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user `` 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