Magus // abc

cad/abc

System for sequential synthesis and verification
Flavor	Version	Run	OSVersion	Arch	License	Restricted	Status
	g20241117	634	4.0	i386	mit	0	fail
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events

Machine	Type	Time	Message
m4032	info	2026-04-21 18:50:20.573708	Test Started
m4032	fail	2026-04-21 18:51:12.776152	make build returned non-zero: 1
m4032	fail	2026-04-21 18:51:12.859781	Test complete.
Log

[1m===>  Building for abc-g20241117[0m
[  0% 8/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 9/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 10/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  0% 11/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 12/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 13/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  0% 14/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 15/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 16/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 17/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  0% 18/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 19/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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  1% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  1% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  1% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  1% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  1% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  2% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  2% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  2% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  2% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  2% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  2% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  3% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  4% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  5% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  5% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  5% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  5% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  5% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  5% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  6% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  6% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  6% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  6% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  6% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  6% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  7% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  7% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  7% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  7% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  7% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  7% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  8% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  8% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  8% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  8% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  8% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[  9% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 10% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 10% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 10% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 10% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 10% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 10% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 11% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 11% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 11% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 11% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 11% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 11% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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;
      |         ^~~~~~~~
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteEdgelist.c:678:33: warning: format specifies type 'unsigned long' but the argument has type 'word' (aka 'unsigned long long') [-Wformat]
  678 |         fprintf( pFile, " %lu", Mio_GateReadTruth(pGate) );
      |                           ~~~   ^~~~~~~~~~~~~~~~~~~~~~~~
      |                           %llu
/magus/work/usr/mports/cad/abc/work/abc-1f3cf0a/src/base/io/ioWriteEdgelist.c:693:29: warning: format specifies type 'unsigned long' but the argument has type 'word' (aka 'unsigned long long') [-Wformat]
  693 |     fprintf( pFile, " %lu", Mio_GateReadTruth(pGate) );
      |                       ~~~   ^~~~~~~~~~~~~~~~~~~~~~~~
      |                       %llu
3 warnings generated.
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 12% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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.
[ 13% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 13% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 13% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 13% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
[ 13% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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% 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 -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -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
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
Depends On

devel/cmake-core (build)
devel/gmake (build)
devel/ninja (build)
devel/readline (build)
devel/readline (lib)
devel/readline (run)
MidnightBSD Magus

cad/abc

Events

Log

Links

Depends On

Depend Of

Categories

CVEs

LLM Analysis
