<86>Dec 30 03:27:08 userdel[3038840]: delete user 'rooter'
<86>Dec 30 03:27:08 userdel[3038840]: removed group 'rooter' owned by 'rooter'
<86>Dec 30 03:27:08 userdel[3038840]: removed shadow group 'rooter' owned by 'rooter'
<86>Dec 30 03:27:08 groupadd[3038891]: group added to /etc/group: name=rooter, GID=1820
<86>Dec 30 03:27:08 groupadd[3038891]: group added to /etc/gshadow: name=rooter
<86>Dec 30 03:27:08 groupadd[3038891]: new group: name=rooter, GID=1820
<86>Dec 30 03:27:08 useradd[3038943]: new user: name=rooter, UID=1820, GID=1820, home=/root, shell=/bin/bash, from=none
<86>Dec 30 03:27:08 userdel[3039000]: delete user 'builder'
<86>Dec 30 03:27:08 userdel[3039000]: removed group 'builder' owned by 'builder'
<86>Dec 30 03:27:08 userdel[3039000]: removed shadow group 'builder' owned by 'builder'
<86>Dec 30 03:27:08 groupadd[3039036]: group added to /etc/group: name=builder, GID=1821
<86>Dec 30 03:27:08 groupadd[3039036]: group added to /etc/gshadow: name=builder
<86>Dec 30 03:27:08 groupadd[3039036]: new group: name=builder, GID=1821
<86>Dec 30 03:27:08 useradd[3039068]: new user: name=builder, UID=1821, GID=1821, home=/usr/src, shell=/bin/bash, from=none
<13>Dec 30 03:27:11 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>Dec 30 03:27:12 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed
<13>Dec 30 03:27:12 rpmi: libstdc++13-devel-13.2.1-alt2 sisyphus+327572.100.1.1 1692472816 installed
<13>Dec 30 03:27:13 rpmi: gcc13-c++-13.2.1-alt2 sisyphus+327572.100.1.1 1692472816 installed
<13>Dec 30 03:27:13 rpmi: gcc-c++-13-alt1 sisyphus+323337.300.1.1 1687267966 installed
<13>Dec 30 03:27:13 rpmi: libstdc++-devel-13-alt1 sisyphus+323337.300.1.1 1687267966 installed
Building target platforms: x86_64
Building for target x86_64
Wrote: /usr/src/in/nosrpm/cudd-2.5.1-alt3.nosrc.rpm (w1.gzdio)
Installing cudd-2.5.1-alt3.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.44503
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf cudd-2.5.1
+ echo 'Source #0 (cudd-2.5.1.tar):'
Source #0 (cudd-2.5.1.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/cudd-2.5.1.tar
+ cd cudd-2.5.1
+ /bin/chmod -c -Rf u+rwX,go-w .
+ sed -i 's|#@x86_64@||' Makefile
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.44503
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd cudd-2.5.1
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export FFLAGS
+ make -j16 build
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1'
sh ./setup.sh
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1'
Making util ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
ar rv libutil.a cstringstream.o cpu_time.o cpu_stats.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o datalimit.o
ar: creating libutil.a
a - cstringstream.o
a - cpu_time.o
a - cpu_stats.o
a - safe_mem.o
a - strsav.o
a - texpand.o
a - ptime.o
a - prtime.o
a - pipefork.o
a - pathsearch.o
a - stub.o
a - datalimit.o
ranlib libutil.a
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
Making mtr ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:69: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:69: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c mtrBasic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
mtrBasic.c: In function 'Mtr_PrintTree':
mtrBasic.c:432:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
432 | (unsigned) node, (unsigned) node->child,
| ^
mtrBasic.c:432:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
432 | (unsigned) node, (unsigned) node->child,
| ^
mtrBasic.c:433:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
433 | (unsigned) node->younger, (unsigned) node->elder,
| ^
mtrBasic.c:433:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
433 | (unsigned) node->younger, (unsigned) node->elder,
| ^
mtrBasic.c:434:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
434 | (unsigned) node->parent, node->flags, node->low, node->size);
| ^
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c mtrGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
gcc -shared mtrBasic.o mtrGroup.o -Wl,--whole-archive ../util/libutil.a -Wl,--no-whole-archive \
-Wl,-soname=libmtr.so.0 -o libmtr.so.0
ln -s libmtr.so.0 libmtr.so
#ar rv libmtr.so mtrBasic.o mtrGroup.o
#ranlib libmtr.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
Making st ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c st.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
gcc -shared st.o -Wl,-soname=libst.so.0 -o libst.so.0 ../mtr/libmtr.so
ln -s libst.so.0 libst.so
#ar rv libst.so st.o
#ranlib libst.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
Making epd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c epd.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
gcc -shared epd.o -Wl,-soname=libepd.so.0 -o libepd.so.0 -lm ../mtr/libmtr.so
ln -s libepd.so.0 libepd.so
#ar rv libepd.so epd.o
#ranlib libepd.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
Making cudd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:91: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:91: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddInv.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddNeg.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAddApply.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAnneal.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddApa.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddBddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddBddCorr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddApprox.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddBridge.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddBddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddCheck.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddClip.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddAPI.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddExact.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddCompose.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddHarwell.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddEssent.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddInit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddDecomp.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddExport.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddGenCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddGenetic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddInteract.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddLevelQ.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddLCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddLiteral.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddLinear.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddLinear.c: In function 'cuddLinearInPlace':
cuddLinear.c:369:12: warning: variable 'oldxkeys' set but not used [-Wunused-but-set-variable]
369 | int oldxkeys, oldykeys;
| ^~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddRead.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddRef.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSplit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddPriority.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddReorder.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSat.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSymmetry.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddCount.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddSubsetHB.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddWindow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddIsop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddLin.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddTable.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddZddSymm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -shared cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o -Wl,-soname=libcudd.so.0 -o libcudd.so.0 ../mtr/libmtr.so \
../st/libst.so ../epd/libepd.so -lm
ln -s libcudd.so.0 libcudd.so
#ar rv libcudd.so cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o
#ranlib libcudd.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
Making dddmp ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:202: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:202: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpDbg.c: In function 'Dddmp_cuddBddDisplayBinary':
dddmpDbg.c:144:3: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
144 | fgets(buf, 999,fp);
| ^~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpLoadCnf.c: In function 'DddmpBddReadHeaderCnf':
dddmpLoadCnf.c:557:7: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result]
557 | fscanf (fp, "%*s %d %d", &nv, &nc);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dddmpLoadCnf.c:572:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
572 | fgets (buf, DDDMP_MAXSTRLEN, fp);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dddmpLoadCnf.c: In function 'DddmpReadCnfClauses':
dddmpLoadCnf.c:814:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
814 | fgets (word, DDDMP_MAX_CNF_ROW_LENGTH-1, fp);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesAndNumber':
dddmpNodeCnf.c:145:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
145 | int retValue, i;
| ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpClearVisitedCnfRecur':
dddmpNodeCnf.c:448:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
448 | int retValue;
| ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpDdNodesResetCountRecur':
dddmpNodeCnf.c:663:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
663 | int retValue;
| ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesRecur':
dddmpNodeCnf.c:701:19: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
701 | int indexValue, retValue;
| ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpPrintBddAndNextRecur':
dddmpNodeCnf.c:896:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
896 | int retValue;
| ^~~~~~~~
dddmpNodeCnf.c: At top level:
dddmpNodeCnf.c:444:1: warning: 'DddmpClearVisitedCnfRecur' defined but not used [-Wunused-function]
444 | DddmpClearVisitedCnfRecur (
| ^~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpStoreAdd.c: In function 'NodeStoreRecurAdd':
dddmpStoreAdd.c:750:7: warning: variable 'vE' set but not used [-Wunused-but-set-variable]
750 | int vE = (-1);
| ^~
dddmpStoreAdd.c:749:7: warning: variable 'vT' set but not used [-Wunused-but-set-variable]
749 | int vT = (-1);
| ^~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpStoreCnf.c: In function 'StoreCnfBestNotSharedRecur':
dddmpStoreCnf.c:1341:11: warning: variable 'one' set but not used [-Wunused-but-set-variable]
1341 | DdNode *one;
| ^~~
dddmpStoreCnf.c: In function 'StoreCnfBestSharedRecur':
dddmpStoreCnf.c:1463:11: warning: variable 'one' set but not used [-Wunused-but-set-variable]
1463 | DdNode *one;
| ^~~
dddmpStoreCnf.c:1462:15: warning: variable 'index' set but not used [-Wunused-but-set-variable]
1462 | int i, idf, index;
| ^~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpLoad.c: In function 'DddmpCuddDdArrayLoad':
dddmpLoad.c:1112:3: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
1112 | fgets (buf, DDDMP_MAXSTRLEN-1,fp);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dddmpLoad.c: In function 'DddmpBddReadHeader':
dddmpLoad.c:1276:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
1276 | fgets(buf,DDDMP_MAXSTRLEN,fp);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dddmpLoad.c:1429:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
1429 | fgets(buf,DDDMP_MAXSTRLEN,fp);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -shared dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o -Wl,-soname=libdddmp.so.0 -o libdddmp.so.0 ../cudd/libcudd.so \
../mtr/libmtr.so ../st/libst.so ../epd/libepd.so
ln -s libdddmp.so.0 libdddmp.so
#ar rv libdddmp.so dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o
#ranlib libdddmp.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
Making nanotrav ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:80: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:80: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ntrShort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ntrMflow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC
ntr.c: In function 'Ntr_buildTR':
ntr.c:404:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
404 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:404:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
404 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:455:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
455 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp);
| ^~
ntr.c:455:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
455 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:480:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
480 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:480:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
480 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:485:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
485 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:485:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
485 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:508:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
508 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:508:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
508 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:513:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
513 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:513:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
513 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c: In function 'Ntr_SCC':
ntr.c:1026:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1026 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~
ntr.c:1026:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1026 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:1029:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1029 | if (neW == NULL) return(0); Cudd_Ref(neW);
| ^~
ntr.c:1029:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1029 | if (neW == NULL) return(0); Cudd_Ref(neW);
| ^~~~~~~~
ntr.c:1082:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1082 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~
ntr.c:1082:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1082 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:1085:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1085 | if (neW == NULL) return(0); Cudd_Ref(neW);
| ^~
ntr.c:1085:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1085 | if (neW == NULL) return(0); Cudd_Ref(neW);
| ^~~~~~~~
ntr.c: In function 'ntrImage':
ntr.c:1977:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1977 | if (abs == NULL) return(NULL); Cudd_Ref(abs);
| ^~
ntr.c:1977:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1977 | if (abs == NULL) return(NULL); Cudd_Ref(abs);
| ^~~~~~~~
ntr.c:1983:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1983 | if (positive == NULL) return(NULL); Cudd_Ref(positive);
| ^~
ntr.c:1983:53: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1983 | if (positive == NULL) return(NULL); Cudd_Ref(positive);
| ^~~~~~~~
ntr.c:1985:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1985 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs);
| ^~
ntr.c:1985:51: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1985 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs);
| ^~~~~~~~
ntr.c:1988:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1988 | if (phi == NULL) return(NULL); Cudd_Ref(phi);
| ^~
ntr.c:1988:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1988 | if (phi == NULL) return(NULL); Cudd_Ref(phi);
| ^~~~~~~~
ntr.c:1992:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1992 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor);
| ^~
ntr.c:1992:50: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1992 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor);
| ^~~~~~~~
ntr.c:1999:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1999 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:1999:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1999 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:2024:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2024 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:2024:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2024 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c: In function 'ntrLatchDependencies':
ntr.c:2315:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2315 | if (positive == NULL) return(-1); Cudd_Ref(positive);
| ^~
ntr.c:2315:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2315 | if (positive == NULL) return(-1); Cudd_Ref(positive);
| ^~~~~~~~
ntr.c:2317:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2317 | if (abs == NULL) return(-1); Cudd_Ref(abs);
| ^~
ntr.c:2317:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2317 | if (abs == NULL) return(-1); Cudd_Ref(abs);
| ^~~~~~~~
ntr.c:2319:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2319 | if (phi == NULL) return(-1); Cudd_Ref(phi);
| ^~
ntr.c:2319:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2319 | if (phi == NULL) return(-1); Cudd_Ref(phi);
| ^~~~~~~~
ntr.c:2362:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2362 | if (abs == NULL) return(-1); Cudd_Ref(abs);
| ^~
ntr.c:2362:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2362 | if (abs == NULL) return(-1); Cudd_Ref(abs);
| ^~~~~~~~
ntr.c: In function 'ntrEliminateDependencies':
ntr.c:2482:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2482 | if (abs == NULL) return(NULL); Cudd_Ref(abs);
| ^~
ntr.c:2482:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2482 | if (abs == NULL) return(NULL); Cudd_Ref(abs);
| ^~~~~~~~
ntr.c:2484:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2484 | if (positive == NULL) return(NULL); Cudd_Ref(positive);
| ^~
ntr.c:2484:49: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2484 | if (positive == NULL) return(NULL); Cudd_Ref(positive);
| ^~~~~~~~
ntr.c:2486:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2486 | if (phi == NULL) return(NULL); Cudd_Ref(phi);
| ^~
ntr.c:2486:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2486 | if (phi == NULL) return(NULL); Cudd_Ref(phi);
| ^~~~~~~~
ntr.c:2498:21: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~
ntr.c:2498:52: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:2523:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2523 | if (*states == NULL) return(NULL); Cudd_Ref(*states);
| ^~
ntr.c:2523:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2523 | if (*states == NULL) return(NULL); Cudd_Ref(*states);
| ^~~~~~~~
ntr.c: In function 'ntrUpdateQuantificationSchedule':
ntr.c:2597:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2597 | if (xnor == NULL) return(0); Cudd_Ref(xnor);
| ^~
ntr.c:2597:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2597 | if (xnor == NULL) return(0); Cudd_Ref(xnor);
| ^~~~~~~~
ntr.c:2599:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2599 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~
ntr.c:2599:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2599 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:2652:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2652 | if (support == NULL) return(0); Cudd_Ref(support);
| ^~
ntr.c:2652:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2652 | if (support == NULL) return(0); Cudd_Ref(support);
| ^~~~~~~~
ntr.c:2796:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2796 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~
ntr.c:2796:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2796 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:2801:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2801 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~
ntr.c:2801:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2801 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~~~~~~~
ntr.c:2811:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
2811 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~
ntr.c:2811:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
2811 | if (tmp == NULL) return(0); Cudd_Ref(tmp);
| ^~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -o nanotrav main.o bnet.o ntr.o ntrHeap.o ntrBddTest.o ntrMflow.o ntrZddTest.o ntrShort.o chkMterm.o ucbqsort.o ../dddmp/libdddmp.so ../cudd/libcudd.so ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so -lm
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export FFLAGS
+ make -j16 nanotrav
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1'
sh ./setup.sh
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1'
Making util ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: 'libutil.a' is up to date.
Making mtr ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:69: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:69: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: 'libmtr.so' is up to date.
Making st ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
make[1]: 'libst.so' is up to date.
Making epd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
make[1]: 'libepd.so' is up to date.
Making cudd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:91: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:91: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: 'libcudd.so' is up to date.
Making dddmp ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:202: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:202: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: 'libdddmp.so' is up to date.
Making nanotrav ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:80: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:80: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: 'nanotrav' is up to date.
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export FFLAGS
+ make -j16 -C mnemosyne
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
cc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemalyse.o mnemalyse.c
mnemalyse.c:70:1: warning: return type defaults to 'int' [-Wimplicit-int]
70 | main()
| ^~~~
mnemalyse.c: In function 'main':
mnemalyse.c:97:17: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration]
97 | exit(1);
| ^~~~
mnemalyse.c:39:1: note: include '<stdlib.h>' or provide a declaration of 'exit'
38 | #include "mnemconf.h"
+++ |+#include <stdlib.h>
39 |
mnemalyse.c:97:17: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch]
97 | exit(1);
| ^~~~
mnemalyse.c:97:17: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:102:17: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch]
102 | exit(1);
| ^~~~
mnemalyse.c:102:17: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:113:25: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch]
113 | exit(1);
| ^~~~
mnemalyse.c:113:25: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:130:27: warning: implicit declaration of function 'atoi' [-Wimplicit-function-declaration]
130 | sp->map = atoi(cpmap);
| ^~~~
mnemalyse.c:142:53: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration]
142 | sp->dat = malloc((unsigned)(strlen(cpfnam) + 1));
| ^~~~~~
mnemalyse.c:39:1: note: include '<string.h>' or provide a declaration of 'strlen'
38 | #include "mnemconf.h"
+++ |+#include <string.h>
39 |
mnemalyse.c:142:53: warning: incompatible implicit declaration of built-in function 'strlen' [-Wbuiltin-declaration-mismatch]
142 | sp->dat = malloc((unsigned)(strlen(cpfnam) + 1));
| ^~~~~~
mnemalyse.c:142:53: note: include '<string.h>' or provide a declaration of 'strlen'
mnemalyse.c:142:42: warning: 'malloc' argument 1 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch]
142 | sp->dat = malloc((unsigned)(strlen(cpfnam) + 1));
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from mnemalyse.c:38:
mnemconf.h:63:17: note: built-in 'malloc' declared here
63 | extern mall_t malloc();
| ^~~~~~
mnemalyse.c:145:33: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch]
145 | exit(1);
| ^~~~
mnemalyse.c:145:33: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:147:31: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
147 | (void)strcpy(sp->dat,cpfnam);
| ^~~~~~
mnemalyse.c:147:31: note: include '<string.h>' or provide a declaration of 'strcpy'
mnemalyse.c:147:31: warning: incompatible implicit declaration of built-in function 'strcpy' [-Wbuiltin-declaration-mismatch]
mnemalyse.c:147:31: note: include '<string.h>' or provide a declaration of 'strcpy'
mnemalyse.c:176:15: warning: implicit declaration of function 'read'; did you mean 'fread'? [-Wimplicit-function-declaration]
176 | while(read(fd,(char *)&(p.dsk),sizeof(p.dsk)) == sizeof(p.dsk)) {
| ^~~~
| fread
mnemalyse.c:196:9: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch]
196 | exit(0);
| ^~~~
mnemalyse.c:196:9: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c: At top level:
mnemalyse.c:36:17: warning: 'rcsid' defined but not used [-Wunused-variable]
36 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemalyse.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp";
| ^~~~~
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
cc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemosyne.o mnemosyne.c
mnemosyne.c: In function 'saveptr':
mnemosyne.c:188:12: warning: implicit declaration of function 'lseek'; did you mean 'fseek'? [-Wimplicit-function-declaration]
188 | if(lseek(map.fd,(off_t)(p->map * sizeof(p->dsk)),0) !=
| ^~~~~
| fseek
mnemosyne.c:195:12: warning: implicit declaration of function 'write'; did you mean 'fwrite'? [-Wimplicit-function-declaration]
195 | if(write(map.fd,(char *)&(p->dsk),sizeof(p->dsk)) != sizeof(p->dsk)) {
| ^~~~~
| fwrite
mnemosyne.c: In function 'lookupsymbyname':
mnemosyne.c:338:21: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
338 | if(!strcmp(s->labl,nam) && s->lineno == lin)
| ^~~~~~
mnemosyne.c:37:1: note: include '<string.h>' or provide a declaration of 'strcmp'
36 | #include "mnemconf.h"
+++ |+#include <string.h>
37 |
mnemosyne.c: In function 'mnem_malloc':
mnemosyne.c:520:26: warning: 'malloc' argument 1 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch]
520 | if((ret = malloc(siz)) == (mall_t)0) {
| ^~~
In file included from mnemosyne.c:36:
mnemconf.h:63:17: note: built-in 'malloc' declared here
63 | extern mall_t malloc();
| ^~~~~~
mnemosyne.c: In function 'mnem_calloc':
mnemosyne.c:551:26: warning: 'calloc' argument 1 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch]
551 | if((ret = calloc(cnt,siz)) == (mall_t)0) {
| ^~~
mnemconf.h:65:17: note: built-in 'calloc' declared here
65 | extern mall_t calloc();
| ^~~~~~
mnemosyne.c:551:30: warning: 'calloc' argument 2 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch]
551 | if((ret = calloc(cnt,siz)) == (mall_t)0) {
| ^~~
mnemconf.h:65:17: note: built-in 'calloc' declared here
65 | extern mall_t calloc();
| ^~~~~~
mnemosyne.c: In function 'mnem_realloc':
mnemosyne.c:582:31: warning: 'realloc' argument 2 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch]
582 | if((ret = realloc(ptr,siz)) == (mall_t)0) {
| ^~~
mnemconf.h:64:17: note: built-in 'realloc' declared here
64 | extern mall_t realloc();
| ^~~~~~~
mnemosyne.c: In function 'mnem_free':
mnemosyne.c:612:11: warning: suggest explicit braces to avoid ambiguous 'else' [-Wdangling-else]
612 | if((rec_state & REC_ON) && !(rec_state & REC_ERR))
| ^
mnemosyne.c: At top level:
mnemosyne.c:38:17: warning: 'rcsid' defined but not used [-Wunused-variable]
38 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemosyne.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp";
| ^~~~~
mnemosyne.c: In function 'mnem_realloc':
mnemosyne.c:590:21: warning: pointer 'ptr_17(D)' may be used after 'realloc' [-Wuse-after-free]
590 | if(!freeptr(ptr,lab,lin))
| ^~~~~~~~~~~~~~~~~~~~
mnemosyne.c:582:19: note: call to 'realloc' here
582 | if((ret = realloc(ptr,siz)) == (mall_t)0) {
| ^~~~~~~~~~~~~~~~
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
cc -L. -o mnemalyse mnemalyse.o
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
gcc -shared mnemosyne.o -Wl,-soname=libmnem.so.0 -o libmnem.so.0
ln -s libmnem.so.0 libmnem.so
#ar rcv libmnem.so mnemosyne.o
#ranlib libmnem.so
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.18244
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/cudd-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/cudd-buildroot
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games
+ cd cudd-2.5.1
+ install -d /usr/src/tmp/cudd-buildroot/usr/bin /usr/src/tmp/cudd-buildroot/usr/include/cudd /usr/src/tmp/cudd-buildroot/usr/lib64 /usr/src/tmp/cudd-buildroot/usr/share/man/man1
+ install -m755 nanotrav/nanotrav /usr/src/tmp/cudd-buildroot/usr/bin/
+ install -m755 nanotrav/nanotrav.1 /usr/src/tmp/cudd-buildroot/usr/share/man/man1/
+ install -m644 include/cstringstream.h include/cudd.h include/cuddInt.h include/cuddObj.hh include/dddmp.h include/epd.h include/mnemosyne.h include/mtr.h include/st.h include/util.h /usr/src/tmp/cudd-buildroot/usr/include/cudd/
+ cp -P cudd/libcudd.so cudd/libcudd.so.0 dddmp/libdddmp.so dddmp/libdddmp.so.0 epd/libepd.so epd/libepd.so.0 mnemosyne/libmnem.so mnemosyne/libmnem.so.0 mtr/libmtr.so mtr/libmtr.so.0 st/libst.so st/libst.so.0 /usr/src/tmp/cudd-buildroot/usr/lib64/
+ ln -s cudd/doc cudd.doc
+ ln -s dddmp/RELEASE_NOTES RELEASE_NOTES.dddmp
+ ln -s dddmp/doc dddmp.doc
+ ln -s mnemosyne/README README.mnemosyne
+ ln -s mtr/doc mtr.doc
+ ln -s nanotrav/README nanotrav.README
+ ln -s nanotrav/doc nanotrav.html
+ ln -s st/doc st.doc
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/cudd-buildroot (auto)
mode of './usr/lib64/libst.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/libmtr.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/libmnem.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/libepd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/libdddmp.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/libcudd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Verifying and fixing files in /usr/src/tmp/cudd-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig)
Checking contents of files in /usr/src/tmp/cudd-buildroot/ (default)
Compressing files in /usr/src/tmp/cudd-buildroot (auto)
mode of '/usr/src/tmp/cudd-buildroot/usr/share/man/man1/nanotrav.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Adjusting library links in /usr/src/tmp/cudd-buildroot
./usr/lib64: (from <cmdline>:0)
libcudd.so.0 -> libcudd.so.0
libdddmp.so.0 -> libdddmp.so.0
libepd.so.0 -> libepd.so.0
libmnem.so.0 -> libmnem.so.0
libmtr.so.0 -> libmtr.so.0
libst.so.0 -> libst.so.0
Verifying ELF objects in /usr/src/tmp/cudd-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Processing files: cudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.12116
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd cudd-2.5.1
+ DOCDIR=/usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1
+ export DOCDIR
+ rm -rf /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1
+ /bin/mkdir -p /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1
+ cp -prL README RELEASE.NOTES nanotrav.README nanotrav.html /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1
+ chmod -R go-w /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1
+ chmod -R a+rX /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.EGwrf3
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.AzIHcz
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Requires: libcudd = 2.5.1-alt3, /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.34)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libcudd.so.0()(64bit) >= set:nfYF8PWV8GG3wjdigRanZKOKZhnb1hcRQ62FHDTdLjaEghZCqowb5E9CDyyE0wIw5ha1BByWuHiaRnX3h37Kc3r4jiQH3zGXZFgD1Imj2bgNNi0ZK3Dg8qRlKZlUhykbKFU8DD1vVrOk12jvYLaPEuu42Qy4GYg2pVPB9uzymOg44CKkxZFeYQy1ShqnpOtmxne1Er4yqHXcaJYKXWdJxE39YmTwXOuSE8rlymcImA059QH861K6M1cwaFaZCVdCLBGk6oZB6fun5sr8LDPC8IBevZlyp2hg8nc51UPbiFBkKREGGCwCBeqw1vOcmUeU9wrMozdUNYgOZp8OIWC8EiIlQSp9hTZgrjLd, libdddmp.so.0()(64bit) >= set:jhqPPQ31, libmtr.so.0()(64bit) >= set:jgzdEwBLRrhsyZ4tCVZg, libst.so.0()(64bit) >= set:ifLGK5z6nGtAV2, rtld(GNU_HASH)
Requires(rpmlib): rpmlib(SetVersions)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.vjeXx5
Creating cudd-debuginfo package
Processing files: libcudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.73884
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd cudd-2.5.1
+ DOCDIR=/usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1
+ export DOCDIR
+ rm -rf /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1
+ /bin/mkdir -p /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1
+ cp -prL dddmp/README.dddmp RELEASE_NOTES.dddmp README.mnemosyne /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1
+ chmod -R go-w /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1
+ chmod -R a+rX /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.hWnz5G
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libcudd.so.0: 628 symbols, 20 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libdddmp.so.0: 61 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libepd.so.0: 37 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmnem.so.0: 8 symbols, 13 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmtr.so.0: 52 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libst.so.0: 22 symbols, 15 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.uAfjs1
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Provides: libcudd.so.0()(64bit) = set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1, libdddmp.so.0()(64bit) = set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7, libepd.so.0()(64bit) = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1, libmnem.so.0()(64bit) = set:gcqHJPx3W3nh7gwsX, libmtr.so.0()(64bit) = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6, libst.so.0()(64bit) = set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6
Requires: libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libm.so.6(GLIBC_2.29)(64bit), rtld(GNU_HASH)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.FqsKHi
Creating libcudd-debuginfo package
Processing files: libcudd-devel-2.5.1-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.pSs7tD
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.eF0f9V
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
/usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh:70:10: fatal error: cstdio: No such file or directory
70 | #include <cstdio>
| ^~~~~~~~
compilation terminated.
cpp.req: /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh: cpp failed, trying c++ mode
Requires: libcudd = 2.5.1-alt3, /usr/lib64/libcudd.so.0, /usr/lib64/libdddmp.so.0, /usr/lib64/libepd.so.0, /usr/lib64/libmnem.so.0, /usr/lib64/libmtr.so.0, /usr/lib64/libst.so.0
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.7B9rMm
Processing files: libcudd-devel-docs-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.213
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd cudd-2.5.1
+ DOCDIR=/usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1
+ export DOCDIR
+ rm -rf /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1
+ /bin/mkdir -p /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1
+ cp -prL cudd.doc dddmp.doc mtr.doc st.doc /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1
+ chmod -R go-w /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1
+ chmod -R a+rX /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.bq4qbT
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.T7KTkO
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Processing files: cudd-debuginfo-2.5.1-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.lBIADY
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.qoQNLL
find-requires: running scripts (debuginfo)
Requires: cudd = 2.5.1-alt3, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libmtr.so.0), debug64(libst.so.0)
Processing files: libcudd-debuginfo-2.5.1-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.afZzOC
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.CfjWZG
find-requires: running scripts (debuginfo)
Provides: debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libepd.so.0), debug64(libmnem.so.0), debug64(libmtr.so.0), debug64(libst.so.0)
Requires: libcudd = 2.5.1-alt3, debug64(libc.so.6), debug64(libm.so.6)
Adding to cudd-debuginfo a strict dependency on libcudd-debuginfo
Removing from cudd-debuginfo 5 sources provided by libcudd-debuginfo
Removing 5 extra deps from cudd due to dependency on libcudd
Removing 6 extra deps from libcudd-devel due to dependency on libcudd
Removing 4 extra deps from cudd-debuginfo due to dependency on libcudd-debuginfo
Removing 6 extra deps from cudd due to repentancy on libcudd
Removing 1 extra deps from cudd-debuginfo due to repentancy on libcudd-debuginfo
Wrote: /usr/src/RPM/RPMS/x86_64/cudd-2.5.1-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-2.5.1-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-devel-2.5.1-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/noarch/libcudd-devel-docs-2.5.1-alt3.noarch.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/cudd-debuginfo-2.5.1-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-debuginfo-2.5.1-alt3.x86_64.rpm (w2.lzdio)
20.59user 6.67system 0:22.75elapsed 119%CPU (0avgtext+0avgdata 64528maxresident)k
0inputs+0outputs (0major+1488813minor)pagefaults 0swaps
3.63user 1.72system 0:31.74elapsed 16%CPU (0avgtext+0avgdata 128408maxresident)k
0inputs+0outputs (0major+279812minor)pagefaults 0swaps
--- cudd-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000
+++ cudd-2.5.1-alt3.x86_64.rpm.hasher 2023-12-30 03:27:38.552912170 +0000
@@ -17,5 +17,6 @@
Requires: /lib64/ld-linux-x86-64.so.2
+Requires: libc.so.6(GLIBC_2.34)(64bit)
Requires: rpmlib(PayloadIsLzma)
Provides: cudd = 2.5.1-alt3
-File: /usr/bin/nanotrav 100755 root:root d9a48efc66154101374ed1baaf892447
+File: /usr/bin/nanotrav 100755 root:root 9e7ebadd11aec1622125add699909e78
File: /usr/share/doc/cudd-2.5.1 40755 root:root
@@ -34,2 +35,2 @@
File: /usr/share/man/man1/nanotrav.1.xz 100644 root:root 2d9d5609fb3580693560d6a94ee432c3
-RPMIdentity: 3571dbd1ecf2daa56533803b2c5a54c7f09512f9dc2e1e7a508a31404a32d134cc6713fb2e8aa1395a250426dc7d60686d927afff80084ab3f89d6434cf10066
+RPMIdentity: eabb79c1356771d87037e7f81f20bd4a2a0ebd538074c03cde7573cab27f8067e6c0cf32b13df7bb577fc0a1898eab56df188d4d45bfdc429971e092c584bb0f
--- cudd-debuginfo-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000
+++ cudd-debuginfo-2.5.1-alt3.x86_64.rpm.hasher 2023-12-30 03:27:38.629913051 +0000
@@ -1,4 +1,4 @@
-/usr/lib/debug/.build-id/ca 40755 root:root
-/usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a 120777 root:root ../../../../bin/nanotrav
-/usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a.debug 120777 root:root ../../usr/bin/nanotrav.debug
+/usr/lib/debug/.build-id/19 40755 root:root
+/usr/lib/debug/.build-id/19/7199c6b1fab4596981da25cf0990d41b38c851 120777 root:root ../../../../bin/nanotrav
+/usr/lib/debug/.build-id/19/7199c6b1fab4596981da25cf0990d41b38c851.debug 120777 root:root ../../usr/bin/nanotrav.debug
/usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root
@@ -25,6 +25,6 @@
Provides: cudd-debuginfo = 2.5.1-alt3
-File: /usr/lib/debug/.build-id/ca 40755 root:root
-File: /usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a 120777 root:root ../../../../bin/nanotrav
-File: /usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a.debug 120777 root:root ../../usr/bin/nanotrav.debug
-File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root 8a7e56c649ee5be8d9965f33daed8c05
+File: /usr/lib/debug/.build-id/19 40755 root:root
+File: /usr/lib/debug/.build-id/19/7199c6b1fab4596981da25cf0990d41b38c851 120777 root:root ../../../../bin/nanotrav
+File: /usr/lib/debug/.build-id/19/7199c6b1fab4596981da25cf0990d41b38c851.debug 120777 root:root ../../usr/bin/nanotrav.debug
+File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root a3a3c84a1496d4d55410c21c92d061bf
File: /usr/src/debug/cudd-2.5.1 40755 root:root
@@ -45,2 +45,2 @@
File: /usr/src/debug/cudd-2.5.1/nanotrav/ucbqsort.c 100644 root:root c5123157ce8a9232a63ac86ac5874d3a
-RPMIdentity: 60a86af4e89fbf818f23e247673d805b301748ac045c5e1c20a97f1bd9bc0c64d77320c65751e7edd7f026d60341fa3f336fe5807d978363abac08bbb924af19
+RPMIdentity: 097b46e53266a2a3951ae8ed527596576198d39171bf8cf439c010d37abe3a83be72b8b2dc3ada35bd8c4f261425e8dd5816974af7671d95cbb84af479e88a24
--- libcudd-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000
+++ libcudd-2.5.1-alt3.x86_64.rpm.hasher 2023-12-30 03:27:38.696913817 +0000
@@ -15,3 +15,3 @@
Requires: libc.so.6(GLIBC_2.7)(64bit)
-Requires: libm.so.6(GLIBC_2.2.5)(64bit)
+Requires: libm.so.6(GLIBC_2.29)(64bit)
Requires: rtld(GNU_HASH)
@@ -21,3 +21,3 @@
Provides: libepd.so.0()(64bit) = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1
-Provides: libmnem.so.0()(64bit) = set:hdgiXaS148oCKteYg95
+Provides: libmnem.so.0()(64bit) = set:gcqHJPx3W3nh7gwsX
Provides: libmtr.so.0()(64bit) = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6
@@ -25,8 +25,8 @@
Provides: libcudd = 2.5.1-alt3
-File: /usr/lib64/libcudd.so.0 100644 root:root 7d1f9562cec3b3577c0444db6e95d1ff
-File: /usr/lib64/libdddmp.so.0 100644 root:root e9e8845680c95e42a3a8432200310a55
-File: /usr/lib64/libepd.so.0 100644 root:root 5e394193c0ea65441abd950b089736a6
-File: /usr/lib64/libmnem.so.0 100644 root:root ab01f38fdbed27d0b3ce00bfab3b9fca
-File: /usr/lib64/libmtr.so.0 100644 root:root 968d2342dbf41886b9e5125e7e04eb6d
-File: /usr/lib64/libst.so.0 100644 root:root 0fa7e13a030b2b575622eab1862adf0b
+File: /usr/lib64/libcudd.so.0 100644 root:root 0cccc8f674ccbc4f53c742420597e444
+File: /usr/lib64/libdddmp.so.0 100644 root:root abe23d7a728e48cb75889724f6106e8d
+File: /usr/lib64/libepd.so.0 100644 root:root aca3358f8821a37a47a07f28e2779d40
+File: /usr/lib64/libmnem.so.0 100644 root:root 75f144d1a339c1e0157df1a8faeaed6a
+File: /usr/lib64/libmtr.so.0 100644 root:root 5651870a43f432e178153f84974822e8
+File: /usr/lib64/libst.so.0 100644 root:root e92b55d49e5076de3c3199e4ab7c7244
File: /usr/share/doc/libcudd-2.5.1 40755 root:root
@@ -35,2 +35,2 @@
File: /usr/share/doc/libcudd-2.5.1/RELEASE_NOTES.dddmp 100644 root:root 198407f7f5098a6eba3de09fdc23e652
-RPMIdentity: 689e2635110ddbb82fe8846a9646b89e2983b67a7089c4dcbf6abadc6cf9e8ee95d502683fd4a0ed0d90bb5ecef2ee5153c01d111d5fcd3f585774497363d0cc
+RPMIdentity: 5720eae5e39f0ae8f2fade087bbdb2e6f5d473c0455aa6a61f6be6caef66b123d48fb735a555068a005bbfb1719ce407fc1dbd31dadaa2563f582ccc16bd6cf6
--- libcudd-debuginfo-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000
+++ libcudd-debuginfo-2.5.1-alt3.x86_64.rpm.hasher 2023-12-30 03:27:38.751914446 +0000
@@ -1,19 +1,19 @@
-/usr/lib/debug/.build-id/05 40755 root:root
-/usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60 120777 root:root ../../../../lib64/libcudd.so.0
-/usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug
-/usr/lib/debug/.build-id/36 40755 root:root
-/usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79 120777 root:root ../../../../lib64/libmtr.so.0
-/usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug
-/usr/lib/debug/.build-id/3b 40755 root:root
-/usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257 120777 root:root ../../../../lib64/libst.so.0
-/usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257.debug 120777 root:root ../../usr/lib64/libst.so.0.debug
-/usr/lib/debug/.build-id/70 40755 root:root
-/usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137 120777 root:root ../../../../lib64/libdddmp.so.0
-/usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug
-/usr/lib/debug/.build-id/af 40755 root:root
-/usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce 120777 root:root ../../../../lib64/libepd.so.0
-/usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug
-/usr/lib/debug/.build-id/eb 40755 root:root
-/usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76 120777 root:root ../../../../lib64/libmnem.so.0
-/usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug
+/usr/lib/debug/.build-id/3c 40755 root:root
+/usr/lib/debug/.build-id/3c/a7d90dacb66dd543da6687511ca3b29f2882f6 120777 root:root ../../../../lib64/libdddmp.so.0
+/usr/lib/debug/.build-id/3c/a7d90dacb66dd543da6687511ca3b29f2882f6.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug
+/usr/lib/debug/.build-id/52 40755 root:root
+/usr/lib/debug/.build-id/52/ed61b3b22c10dc13e7d4af69dd96447c68dc64 120777 root:root ../../../../lib64/libcudd.so.0
+/usr/lib/debug/.build-id/52/ed61b3b22c10dc13e7d4af69dd96447c68dc64.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug
+/usr/lib/debug/.build-id/78 40755 root:root
+/usr/lib/debug/.build-id/78/4ece1960208d23ebe62ff7c1cc684665cec186 120777 root:root ../../../../lib64/libmtr.so.0
+/usr/lib/debug/.build-id/78/4ece1960208d23ebe62ff7c1cc684665cec186.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug
+/usr/lib/debug/.build-id/9b 40755 root:root
+/usr/lib/debug/.build-id/9b/c24358afb6ae257f747ee089a3f1dd08b57f3c 120777 root:root ../../../../lib64/libepd.so.0
+/usr/lib/debug/.build-id/9b/c24358afb6ae257f747ee089a3f1dd08b57f3c.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug
+/usr/lib/debug/.build-id/d6 40755 root:root
+/usr/lib/debug/.build-id/d6/7fd8b89b73e8b86cf6df7f0431e392537d0e7d 120777 root:root ../../../../lib64/libmnem.so.0
+/usr/lib/debug/.build-id/d6/7fd8b89b73e8b86cf6df7f0431e392537d0e7d.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug
+/usr/lib/debug/.build-id/f2 40755 root:root
+/usr/lib/debug/.build-id/f2/6f5e8316640f74af7e1472579f9fb970c4b33a 120777 root:root ../../../../lib64/libst.so.0
+/usr/lib/debug/.build-id/f2/6f5e8316640f74af7e1472579f9fb970c4b33a.debug 120777 root:root ../../usr/lib64/libst.so.0.debug
/usr/lib/debug/usr/lib64/libcudd.so.0.debug 100644 root:root
@@ -152,26 +152,26 @@
Provides: libcudd-debuginfo = 2.5.1-alt3
-File: /usr/lib/debug/.build-id/05 40755 root:root
-File: /usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60 120777 root:root ../../../../lib64/libcudd.so.0
-File: /usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug
-File: /usr/lib/debug/.build-id/36 40755 root:root
-File: /usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79 120777 root:root ../../../../lib64/libmtr.so.0
-File: /usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug
-File: /usr/lib/debug/.build-id/3b 40755 root:root
-File: /usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257 120777 root:root ../../../../lib64/libst.so.0
-File: /usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257.debug 120777 root:root ../../usr/lib64/libst.so.0.debug
-File: /usr/lib/debug/.build-id/70 40755 root:root
-File: /usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137 120777 root:root ../../../../lib64/libdddmp.so.0
-File: /usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug
-File: /usr/lib/debug/.build-id/af 40755 root:root
-File: /usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce 120777 root:root ../../../../lib64/libepd.so.0
-File: /usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug
-File: /usr/lib/debug/.build-id/eb 40755 root:root
-File: /usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76 120777 root:root ../../../../lib64/libmnem.so.0
-File: /usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug
-File: /usr/lib/debug/usr/lib64/libcudd.so.0.debug 100644 root:root 46f10c14a83ddfdc72acb61fa5cc2398
-File: /usr/lib/debug/usr/lib64/libdddmp.so.0.debug 100644 root:root 70c0f7f41084a28b8a228761cf74cddb
-File: /usr/lib/debug/usr/lib64/libepd.so.0.debug 100644 root:root 274e99662a3c6dd0f0c80282dc5e11e1
-File: /usr/lib/debug/usr/lib64/libmnem.so.0.debug 100644 root:root 9d7eac81c05d2d8996a77ed1c7a34c5b
-File: /usr/lib/debug/usr/lib64/libmtr.so.0.debug 100644 root:root 163dd508d7a23d583203a2c4cf7a6ea6
-File: /usr/lib/debug/usr/lib64/libst.so.0.debug 100644 root:root 62cc6fa982fdeba0b68cf09d70f9316c
+File: /usr/lib/debug/.build-id/3c 40755 root:root
+File: /usr/lib/debug/.build-id/3c/a7d90dacb66dd543da6687511ca3b29f2882f6 120777 root:root ../../../../lib64/libdddmp.so.0
+File: /usr/lib/debug/.build-id/3c/a7d90dacb66dd543da6687511ca3b29f2882f6.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug
+File: /usr/lib/debug/.build-id/52 40755 root:root
+File: /usr/lib/debug/.build-id/52/ed61b3b22c10dc13e7d4af69dd96447c68dc64 120777 root:root ../../../../lib64/libcudd.so.0
+File: /usr/lib/debug/.build-id/52/ed61b3b22c10dc13e7d4af69dd96447c68dc64.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug
+File: /usr/lib/debug/.build-id/78 40755 root:root
+File: /usr/lib/debug/.build-id/78/4ece1960208d23ebe62ff7c1cc684665cec186 120777 root:root ../../../../lib64/libmtr.so.0
+File: /usr/lib/debug/.build-id/78/4ece1960208d23ebe62ff7c1cc684665cec186.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug
+File: /usr/lib/debug/.build-id/9b 40755 root:root
+File: /usr/lib/debug/.build-id/9b/c24358afb6ae257f747ee089a3f1dd08b57f3c 120777 root:root ../../../../lib64/libepd.so.0
+File: /usr/lib/debug/.build-id/9b/c24358afb6ae257f747ee089a3f1dd08b57f3c.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug
+File: /usr/lib/debug/.build-id/d6 40755 root:root
+File: /usr/lib/debug/.build-id/d6/7fd8b89b73e8b86cf6df7f0431e392537d0e7d 120777 root:root ../../../../lib64/libmnem.so.0
+File: /usr/lib/debug/.build-id/d6/7fd8b89b73e8b86cf6df7f0431e392537d0e7d.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug
+File: /usr/lib/debug/.build-id/f2 40755 root:root
+File: /usr/lib/debug/.build-id/f2/6f5e8316640f74af7e1472579f9fb970c4b33a 120777 root:root ../../../../lib64/libst.so.0
+File: /usr/lib/debug/.build-id/f2/6f5e8316640f74af7e1472579f9fb970c4b33a.debug 120777 root:root ../../usr/lib64/libst.so.0.debug
+File: /usr/lib/debug/usr/lib64/libcudd.so.0.debug 100644 root:root fce3f6543f5f9072947d190bdd248f10
+File: /usr/lib/debug/usr/lib64/libdddmp.so.0.debug 100644 root:root 09d182c3297acfd2b0d82cf4307d0337
+File: /usr/lib/debug/usr/lib64/libepd.so.0.debug 100644 root:root 7d5b444c3bc68c0f182bf87992c1c556
+File: /usr/lib/debug/usr/lib64/libmnem.so.0.debug 100644 root:root 71d75ec695d351ed66cf4150ea59a108
+File: /usr/lib/debug/usr/lib64/libmtr.so.0.debug 100644 root:root eaf1225bc86f470ea1375fba4b3194c4
+File: /usr/lib/debug/usr/lib64/libst.so.0.debug 100644 root:root ac55731ebd7dd7b4605cfbf3e779290c
File: /usr/src/debug/cudd-2.5.1 40755 root:root
@@ -293,2 +293,2 @@
File: /usr/src/debug/cudd-2.5.1/util/util.h 100644 root:root 838080203d6b75c83fbf57d160d0eec6
-RPMIdentity: 690ebd02228953e7c2574a6e5c5804da2ea15dcdfc592c4a972a52bbf4646c41d46577700fc956147aa17e54f9e21820752217fe6ff78e73f11c6107c0cb10aa
+RPMIdentity: 6f9ebb9c9c629e2bc700ebcdc35e8fcb15b0c44abe87f51244e6c666335eab5ca2cb03641d966cd0b416ca3b250c390ddb33b77b318222fd3c057e840bb3916e