MidnightBSD Maguscad/abc
System for sequential synthesis and verification
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| g20241117 | 631 | 4.0 | amd64 | mit | 0 | fail |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Type | Time | Message |
|---|---|---|---|
| defiant | info | 2026-02-14 12:38:50.798229 | Test Started |
| defiant | fail | 2026-02-14 12:39:12.969976 | make build returned non-zero: 1 |
| defiant | fail | 2026-02-14 12:39:13.120404 | Test complete. |
Log
[1m===> Building for abc-g20241117[0m
[ 0% 20/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcFanio.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcFanio.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcFanio.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcFanio.c
[ 0% 21/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcCheck.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcCheck.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcCheck.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcCheck.c
[ 0% 22/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcObj.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcObj.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcObj.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcObj.c
[ 0% 23/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcLib.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcLib.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcLib.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcLib.c
[ 0% 24/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcHieCec.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcHieCec.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcHieCec.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcHieCec.c
[ 0% 25/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcNetlist.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcNetlist.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcNetlist.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcNetlist.c
[ 0% 26/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcRefs.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcRefs.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcRefs.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcRefs.c
[ 0% 27/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcFanOrder.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcFanOrder.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcFanOrder.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcFanOrder.c
[ 0% 28/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcBlifMv.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcBlifMv.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcBlifMv.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcBlifMv.c
[ 0% 29/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcFunc.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcFunc.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcFunc.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcFunc.c
[ 0% 30/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcNames.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcNames.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcNames.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcNames.c
[ 1% 31/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcShow.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcShow.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcShow.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcShow.c
[ 1% 32/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcLatch.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcLatch.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcLatch.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcLatch.c
[ 1% 33/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcHie.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcHie.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcHie.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcHie.c
[ 1% 34/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcHieGia.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcHieGia.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcHieGia.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcHieGia.c
[ 1% 35/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcMinBase.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcMinBase.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcMinBase.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcMinBase.c
[ 1% 36/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcBarBuf.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcBarBuf.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcBarBuf.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcBarBuf.c
[ 1% 37/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcAttach.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcAttach.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcAttach.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcAttach.c
[ 1% 38/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcBidec.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcBidec.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcBidec.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcBidec.c
[ 1% 39/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcAuto.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcAuto.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcAuto.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcAuto.c
[ 1% 40/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcBmc.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcBmc.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcBmc.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcBmc.c
[ 1% 41/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcAig.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcAig.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcAig.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcAig.c
[ 2% 42/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcCut.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcCut.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcCut.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcCut.c
[ 2% 43/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDress.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDress.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDress.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDress.c
[ 2% 44/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcBalance.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcBalance.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcBalance.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcBalance.c
[ 2% 45/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDebug.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDebug.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDebug.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDebug.c
[ 2% 46/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcSop.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcSop.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcSop.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcSop.c
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcSop.c:1172:33: warning: unused variable 'nBits' [-Wunused-variable]
1172 | int v, Counter, fFirst = 1, nBits = Abc_Base2Log(nValues);
| ^~~~~
1 warning generated.
[ 2% 47/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcCascade.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcCascade.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcCascade.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcCascade.c
[ 2% 48/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDress3.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDress3.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDress3.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDress3.c
[ 2% 49/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcCas.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcCas.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcCas.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcCas.c
[ 2% 50/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcEco.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcEco.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcEco.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcEco.c
[ 2% 51/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcHieNew.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcHieNew.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcHieNew.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcHieNew.c
[ 2% 52/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDress2.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDress2.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDress2.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDress2.c
[ 2% 53/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcNtk.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcNtk.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcNtk.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcNtk.c
[ 3% 54/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDsd.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDsd.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDsd.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDsd.c
[ 3% 55/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcFxu.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcFxu.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcFxu.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcFxu.c
[ 3% 56/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcCollapse.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcCollapse.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcCollapse.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcCollapse.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcCollapse.c:25:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satStore.h:36:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 3% 57/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDec.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDec.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDec.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDec.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDec.c:28:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 3% 58/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcFraig.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcFraig.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcFraig.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcFraig.c
[ 3% 59/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcIfif.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcIfif.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcIfif.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIfif.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIfif.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 3% 60/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcHaig.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcHaig.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcHaig.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcHaig.c
[ 3% 61/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcLog.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcLog.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcLog.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcLog.c
[ 3% 62/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcExtract.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcExtract.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcExtract.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExtract.c
[ 3% 63/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcIfMux.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcIfMux.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcIfMux.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIfMux.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIfMux.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 3% 64/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcDfs.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcDfs.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcDfs.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcDfs.c
[ 4% 65/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcBm.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcBm.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcBm.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcBm.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcBm.c:32:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 4% 66/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abc/abcUtil.c.o -MF CMakeFiles/libabc.dir/src/base/abc/abcUtil.c.o.d -o CMakeFiles/libabc.dir/src/base/abc/abcUtil.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abc/abcUtil.c
[ 4% 67/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcIvy.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcIvy.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcIvy.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIvy.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIvy.c:23:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 4% 68/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDetect.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDetect.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDetect.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDetect.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDetect.c:25:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satStore.h:36:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDetect.c:789:9: warning: unused variable 'nItems' [-Wunused-variable]
789 | int nItems = Vec_WecSizeSize(vRes);
| ^~~~~~
3 warnings generated.
[ 4% 69/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcMerge.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcMerge.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcMerge.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMerge.c
[ 4% 70/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcLutmin.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcLutmin.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcLutmin.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcLutmin.c
[ 4% 71/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcFx.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcFx.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcFx.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcFx.c
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcFx.c:973:11: warning: unused variable 'Diff' [-Wunused-variable]
973 | float Diff = Vec_FltEntry(p->vWeights, iDiv) - (float)((int)Vec_FltEntry(p->vWeights, iDiv));
| ^~~~
1 warning generated.
[ 4% 72/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcMulti.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcMulti.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcMulti.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMulti.c
[ 4% 73/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcMfs.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcMfs.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcMfs.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMfs.c
[ 4% 74/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcLut.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcLut.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcLut.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcLut.c
[ 4% 75/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcGen.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcGen.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcGen.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcGen.c
[ 4% 76/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcMap.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcMap.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcMap.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMap.c
[ 5% 77/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcMini.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcMini.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcMini.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMini.c
[ 5% 78/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcNpn.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcNpn.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcNpn.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcNpn.c
[ 5% 79/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcIf.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcIf.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcIf.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIf.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIf.c:23:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIf.c:156:23: warning: unused variable 'p' [-Wunused-variable]
156 | If_DsdMan_t * p = (If_DsdMan_t *)Abc_FrameReadManDsd();
| ^
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcIf.c:479:19: warning: unused variable 'bytes_check' [-Wunused-variable]
479 | unsigned char bytes_check = decompArray[0];
| ^~~~~~~~~~~
3 warnings generated.
[ 5% 80/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcOrder.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcOrder.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcOrder.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrder.c
[ 5% 81/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcDar.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcDar.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcDar.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDar.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcDar.c:26:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 5% 82/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcProve.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcProve.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcProve.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcProve.c
[ 5% 83/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcNpnSave.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcNpnSave.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcNpnSave.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcNpnSave.c
[ 5% 84/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcNtbdd.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcNtbdd.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcNtbdd.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcNtbdd.c
[ 5% 85/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcQbf.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcQbf.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcQbf.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcQbf.c
[ 5% 86/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcQuant.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcQuant.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcQuant.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcQuant.c
[ 5% 87/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcOdc.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcOdc.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcOdc.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOdc.c
[ 6% 88/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRunGen.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRunGen.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRunGen.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRunGen.c
[ 6% 89/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcReorder.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcReorder.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcReorder.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcReorder.c
[ 6% 90/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcMiter.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcMiter.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcMiter.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMiter.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcMiter.c:24:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satStore.h:36:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 6% 91/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcReach.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcReach.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcReach.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcReach.c
[ 6% 92/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRewrite.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRewrite.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRewrite.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRewrite.c
[ 6% 93/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcReconv.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcReconv.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcReconv.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcReconv.c
[ 6% 94/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcPart.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcPart.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcPart.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcPart.c
[ 6% 95/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRpo.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRpo.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRpo.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRpo.c
[ 6% 96/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRefactor.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRefactor.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRefactor.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRefactor.c
[ 6% 97/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcScorr.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcScorr.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcScorr.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcScorr.c
[ 6% 98/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcSat.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcSat.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcSat.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSat.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSat.c:24:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 6% 99/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcSense.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcSense.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcSense.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSense.c
[ 7% 100/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRenode.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRenode.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRenode.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRenode.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRenode.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 7% 101/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcStrash.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcStrash.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcStrash.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcStrash.c
[ 7% 102/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcSweep.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcSweep.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcSweep.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSweep.c
[ 7% 103/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcTim.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcTim.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcTim.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcTim.c
[ 7% 104/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcUnreach.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcUnreach.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcUnreach.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcUnreach.c
[ 7% 105/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcUnate.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcUnate.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcUnate.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcUnate.c
[ 7% 106/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRr.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRr.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRr.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRr.c
[ 7% 107/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRestruct.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRestruct.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRestruct.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRestruct.c
[ 7% 108/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcExact.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcExact.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcExact.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExact.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExact.c:28:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExact.c:32:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExact.c:2981:10: warning: unused variable 'pTruth' [-Wunused-variable]
2981 | word pTruth[4] = {0xcafe, 0, 0, 0};
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExact.c:2986:10: warning: unused variable 'pPerm' [-Wunused-variable]
2986 | char pPerm[4] = {0};
| ^~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcExact.c:2987:9: warning: unused variable 'Cost' [-Wunused-variable]
2987 | int Cost = 0;
| ^~~~
6 warnings generated.
[ 7% 109/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcRec3.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcRec3.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcRec3.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRec3.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcRec3.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 7% 110/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdAlias.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdAlias.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdAlias.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdAlias.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdAlias.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdInt.h:29:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdAlias.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdInt.h:29:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 8% 111/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcXsim.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcXsim.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcXsim.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcXsim.c
[ 8% 112/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdApi.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdApi.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdApi.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdApi.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdApi.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdApi.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 8% 113/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcVerify.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcVerify.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcVerify.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcVerify.c
[ 8% 114/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdFlag.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdFlag.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdFlag.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdFlag.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdFlag.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdFlag.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 8% 115/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcSymm.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcSymm.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcSymm.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSymm.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSymm.c:24:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 8% 116/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdAuto.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdAuto.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdAuto.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdAuto.c
[ 8% 117/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdStarter.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdStarter.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdStarter.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdStarter.c
[ 8% 118/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcSpeedup.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcSpeedup.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcSpeedup.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSpeedup.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSpeedup.c:23:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 8% 119/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcTiming.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcTiming.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcTiming.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcTiming.c
[ 8% 120/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadBaf.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadBaf.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadBaf.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadBaf.c
[ 8% 121/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadBblif.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadBblif.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadBblif.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadBblif.c
[ 9% 122/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcPrint.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcPrint.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcPrint.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcPrint.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcPrint.c:27:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcPrint.c:1193:83: warning: adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
1193 | fprintf( pFile, " %s%c", *pCur == '0' ? "!" : "", (char)('a' + pCur-pCube) );
| ~~~~^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcPrint.c:1193:83: note: use array indexing to silence this warning
2 warnings generated.
[ 9% 123/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdHist.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdHist.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdHist.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdHist.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdHist.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdHist.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 9% 124/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadAiger.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadAiger.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadAiger.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadAiger.c
[ 9% 125/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdLoad.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdLoad.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdLoad.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdLoad.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdLoad.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdLoad.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 9% 126/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdUtils.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdUtils.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdUtils.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdUtils.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdUtils.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdUtils.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 9% 127/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadEdif.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadEdif.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadEdif.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadEdif.c
[ 9% 128/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioJson.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioJson.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioJson.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioJson.c
[ 9% 129/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcResub.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcResub.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcResub.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcResub.c
[ 9% 130/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadBench.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadBench.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadBench.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadBench.c
[ 9% 131/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadEqn.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadEqn.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadEqn.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadEqn.c
[ 9% 132/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcOrchestration.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcOrchestration.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcOrchestration.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c:5527:36: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
5527 | else if ((Valid_Ops->pArray[r] == 1)){
| ~~~~~~~~~~~~~~~~~~~~~^~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c:5527:36: note: remove extraneous parentheses around the comparison to silence this warning
5527 | else if ((Valid_Ops->pArray[r] == 1)){
| ~ ^ ~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c:5527:36: note: use '=' to turn this equality comparison into an assignment
5527 | else if ((Valid_Ops->pArray[r] == 1)){
| ^~
| =
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c:5539:36: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
5539 | else if ((Valid_Ops->pArray[r] == 2)){
| ~~~~~~~~~~~~~~~~~~~~~^~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c:5539:36: note: remove extraneous parentheses around the comparison to silence this warning
5539 | else if ((Valid_Ops->pArray[r] == 2)){
| ~ ^ ~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcOrchestration.c:5539:36: note: use '=' to turn this equality comparison into an assignment
5539 | else if ((Valid_Ops->pArray[r] == 2)){
| ^~
| =
2 warnings generated.
[ 9% 133/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadVerilog.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadVerilog.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadVerilog.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadVerilog.c
[ 10% 134/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abcSaucy.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abcSaucy.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abcSaucy.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abcSaucy.c
[ 10% 135/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmd.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmd.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmd.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmd.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmd.c:29:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmd.c:29:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 10% 136/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadDsd.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadDsd.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadDsd.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadDsd.c
[ 10% 137/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteBaf.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteBaf.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteBaf.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBaf.c
[ 10% 138/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/cmd/cmdPlugin.c.o -MF CMakeFiles/libabc.dir/src/base/cmd/cmdPlugin.c.o.d -o CMakeFiles/libabc.dir/src/base/cmd/cmdPlugin.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdPlugin.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdPlugin.c:29:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/cmd/cmdPlugin.c:29:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 10% 139/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadBlif.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadBlif.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadBlif.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadBlif.c
[ 10% 140/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteCnf.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteCnf.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteCnf.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteCnf.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteCnf.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
2 warnings generated.
[ 10% 141/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteBblif.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteBblif.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteBblif.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBblif.c
[ 10% 142/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadBlifAig.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadBlifAig.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadBlifAig.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadBlifAig.c
[ 10% 143/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteBlifMv.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteBlifMv.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteBlifMv.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBlifMv.c
[ 10% 144/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/io.c.o -MF CMakeFiles/libabc.dir/src/base/io/io.c.o.d -o CMakeFiles/libabc.dir/src/base/io/io.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/io.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/io.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/io.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 11% 145/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteGml.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteGml.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteGml.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteGml.c
[ 11% 146/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteAiger.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteAiger.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteAiger.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteAiger.c
[ 11% 147/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteBench.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteBench.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteBench.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBench.c
[ 11% 148/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteDot.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteDot.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteDot.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteDot.c
[ 11% 149/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteEqn.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteEqn.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteEqn.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteEqn.c
[ 11% 150/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteList.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteList.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteList.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteList.c
[ 11% 151/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWritePla.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWritePla.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWritePla.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWritePla.c
[ 11% 152/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioUtil.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioUtil.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioUtil.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioUtil.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioUtil.c:23:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioUtil.c:905:20: warning: unused variable 'pRes' [-Wunused-variable]
905 | char * pRes = fgets(pBuffer, Size, pFileIn);
| ^~~~
2 warnings generated.
[ 11% 153/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/mainInit.c.o -MF CMakeFiles/libabc.dir/src/base/main/mainInit.c.o.d -o CMakeFiles/libabc.dir/src/base/main/mainInit.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInit.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInit.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInit.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 11% 154/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/mainLib.c.o -MF CMakeFiles/libabc.dir/src/base/main/mainLib.c.o.d -o CMakeFiles/libabc.dir/src/base/main/mainLib.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainLib.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainLib.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainLib.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 11% 155/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteBook.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteBook.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteBook.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBook.c
[ 11% 156/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteSmv.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteSmv.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteSmv.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteSmv.c
[ 12% 157/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/libSupport.c.o -MF CMakeFiles/libabc.dir/src/base/main/libSupport.c.o.d -o CMakeFiles/libabc.dir/src/base/main/libSupport.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/libSupport.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/libSupport.c:25:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/libSupport.c:25:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 12% 158/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadPla.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadPla.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadPla.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadPla.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadPla.c:22:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 12% 159/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/mainReal.c.o -MF CMakeFiles/libabc.dir/src/base/main/mainReal.c.o.d -o CMakeFiles/libabc.dir/src/base/main/mainReal.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainReal.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainReal.c:59:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainReal.c:59:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 12% 160/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/exor/exorBits.c.o -MF CMakeFiles/libabc.dir/src/base/exor/exorBits.c.o.d -o CMakeFiles/libabc.dir/src/base/exor/exorBits.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/exor/exorBits.c
[ 12% 161/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/exor/exorCubes.c.o -MF CMakeFiles/libabc.dir/src/base/exor/exorCubes.c.o.d -o CMakeFiles/libabc.dir/src/base/exor/exorCubes.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/exor/exorCubes.c
[ 12% 162/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/exor/exorUtil.c.o -MF CMakeFiles/libabc.dir/src/base/exor/exorUtil.c.o.d -o CMakeFiles/libabc.dir/src/base/exor/exorUtil.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/exor/exorUtil.c
[ 12% 163/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/exor/exor.c.o -MF CMakeFiles/libabc.dir/src/base/exor/exor.c.o.d -o CMakeFiles/libabc.dir/src/base/exor/exor.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/exor/exor.c
[ 12% 164/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/exor/exorLink.c.o -MF CMakeFiles/libabc.dir/src/base/exor/exorLink.c.o.d -o CMakeFiles/libabc.dir/src/base/exor/exorLink.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/exor/exorLink.c
[ 12% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o -MF CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o.d -o CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainUtils.c
FAILED: [code=1] CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o
/usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o -MF CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o.d -o CMakeFiles/libabc.dir/src/base/main/mainUtils.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainUtils.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainUtils.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainUtils.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainUtils.c:25:10: fatal error: 'readline/readline.h' file not found
25 | #include
| ^~~~~~~~~~~~~~~~~~~~~
3 warnings and 1 error generated.
[ 12% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadPlaMo.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadPlaMo.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadPlaMo.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadPlaMo.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadPlaMo.c:22:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadPlaMo.c:662:9: warning: unused variable 'Removed' [-Wunused-variable]
662 | int Removed = Mop_ManUnCreateGroups( p, vGroups );
| ^~~~~~~
2 warnings generated.
[ 12% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/ver/verStream.c.o -MF CMakeFiles/libabc.dir/src/base/ver/verStream.c.o.d -o CMakeFiles/libabc.dir/src/base/ver/verStream.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/ver/verStream.c
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteBlif.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteBlif.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteBlif.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBlif.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteBlif.c:25:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/ver/verFormula.c.o -MF CMakeFiles/libabc.dir/src/base/ver/verFormula.c.o.d -o CMakeFiles/libabc.dir/src/base/ver/verFormula.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/ver/verFormula.c
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/ver/verParse.c.o -MF CMakeFiles/libabc.dir/src/base/ver/verParse.c.o.d -o CMakeFiles/libabc.dir/src/base/ver/verParse.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/ver/verParse.c
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteEdgelist.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteEdgelist.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteEdgelist.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteEdgelist.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteEdgelist.c:25:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
1 warning generated.
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/exor/exorList.c.o -MF CMakeFiles/libabc.dir/src/base/exor/exorList.c.o.d -o CMakeFiles/libabc.dir/src/base/exor/exorList.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/exor/exorList.c
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/main/mainFrame.c.o -MF CMakeFiles/libabc.dir/src/base/main/mainFrame.c.o.d -o CMakeFiles/libabc.dir/src/base/main/mainFrame.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainFrame.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainFrame.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainFrame.c:22:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcPth.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcPth.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcPth.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcPth.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcPth.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcPth.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcAbs2.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcAbs2.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcAbs2.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbs2.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbs2.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbs2.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioWriteVerilog.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioWriteVerilog.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioWriteVerilog.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteVerilog.c
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/io/ioReadBlifMv.c.o -MF CMakeFiles/libabc.dir/src/base/io/ioReadBlifMv.c.o.d -o CMakeFiles/libabc.dir/src/base/io/ioReadBlifMv.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioReadBlifMv.c
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcAbc.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcAbc.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcAbc.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbc.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbc.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbc.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 13% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcCom.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcCom.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcCom.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcCom.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcCom.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcCom.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 14% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcGraft.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcGraft.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcGraft.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcGraft.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcGraft.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcGraft.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 14% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/ver/verCore.c.o -MF CMakeFiles/libabc.dir/src/base/ver/verCore.c.o.d -o CMakeFiles/libabc.dir/src/base/ver/verCore.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/ver/verCore.c
[ 14% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcAbs.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcAbs.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcAbs.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbs.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbs.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcAbs.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
[ 14% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/wlc/wlcBlast.c.o -MF CMakeFiles/libabc.dir/src/base/wlc/wlcBlast.c.o.d -o CMakeFiles/libabc.dir/src/base/wlc/wlcBlast.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcBlast.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcBlast.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:34:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcBlast.c:21:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlc.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcBlast.c:1734:37: warning: unused variable 'pFanin' [-Wunused-variable]
1734 | Wlc_Obj_t * pFanin = Wlc_NtkObj(p, iFanin);
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/wlc/wlcBlast.c:2568:17: warning: unused variable 'nRange1' [-Wunused-variable]
2568 | int nRange1 = Wlc_ObjRange( pObj );
| ^~~~~~~
5 warnings generated.
[ 14% 165/1144] /usr/bin/cc -Dlibabc_EXPORTS -I/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fno-exceptions -Wno-unused-but-set-variable -MD -MT CMakeFiles/libabc.dir/src/base/abci/abc.c.o -MF CMakeFiles/libabc.dir/src/base/abci/abc.c.o.d -o CMakeFiles/libabc.dir/src/base/abci/abc.c.o -c /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abc.c
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abc.c:23:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:31:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/map/if/if.h:39:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilTruth.h:1784:9: warning: unused variable 'nVarsMax' [-Wunused-variable]
1784 | int nVarsMax = 13;
| ^~~~~~~~
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/abci/abc.c:23:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/main/mainInt.h:35:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/proof/fra/fra.h:37:
In file included from /magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/sat/bsat/satSolver.h:33:
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable]
182 | xdbl ten100 = Xdbl_FromDouble( 1e100 );
| ^~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable]
183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b);
| ^~~~~~~
3 warnings generated.
ninja: build stopped: subcommand failed.
===> Compilation failed unexpectedly.
Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to
the maintainer.
*** Error code 1
Stop.
make: stopped in /usr/mports/cad/abc
Links
Depends On
- devel/cmake-core (build)
- devel/gmake (build)
- devel/ninja (build)
- devel/readline (build)
- devel/readline (lib)
- devel/readline (run)
Depend Of
Categories
CVEs
- Loading CVE information...