<86>Feb  5 03:58:15 userdel[2356114]: delete user 'rooter'
<86>Feb  5 03:58:15 userdel[2356114]: removed group 'rooter' owned by 'rooter'
<86>Feb  5 03:58:15 userdel[2356114]: removed shadow group 'rooter' owned by 'rooter'
<86>Feb  5 03:58:15 groupadd[2356136]: group added to /etc/group: name=rooter, GID=966
<86>Feb  5 03:58:15 groupadd[2356136]: group added to /etc/gshadow: name=rooter
<86>Feb  5 03:58:15 groupadd[2356136]: new group: name=rooter, GID=966
<86>Feb  5 03:58:15 useradd[2356156]: new user: name=rooter, UID=966, GID=966, home=/root, shell=/bin/bash
<86>Feb  5 03:58:15 userdel[2356182]: delete user 'builder'
<86>Feb  5 03:58:15 userdel[2356182]: removed group 'builder' owned by 'builder'
<86>Feb  5 03:58:15 userdel[2356182]: removed shadow group 'builder' owned by 'builder'
<86>Feb  5 03:58:15 groupadd[2356206]: group added to /etc/group: name=builder, GID=967
<86>Feb  5 03:58:15 groupadd[2356206]: group added to /etc/gshadow: name=builder
<86>Feb  5 03:58:15 groupadd[2356206]: new group: name=builder, GID=967
<86>Feb  5 03:58:15 useradd[2356221]: new user: name=builder, UID=967, GID=967, home=/usr/src, shell=/bin/bash
<13>Feb  5 03:58:16 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>Feb  5 03:58:17 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed
<13>Feb  5 03:58:17 rpmi: libstdc++11-devel-11.2.1-alt2 sisyphus+291192.100.1.1 1638461765 installed
<13>Feb  5 03:58:17 rpmi: gcc11-c++-11.2.1-alt2 sisyphus+291192.100.1.1 1638461765 installed
<13>Feb  5 03:58:17 rpmi: gcc-c++-11-alt1 sisyphus+285602.400.1.1 1632239666 installed
<13>Feb  5 03:58:17 rpmi: libstdc++-devel-11-alt1 sisyphus+285602.400.1.1 1632238564 installed
Building target platforms: i586
Building for target i586
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: i586
Building for target i586
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.56832
+ 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|#@i586@||' Makefile
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.56832
+ 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 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c  mtrBasic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c  mtrGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c st.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c epd.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddNeg.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddInv.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBddCorr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAnneal.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddApply.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddApa.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBridge.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddClip.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddApprox.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddExact.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddHarwell.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCompose.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddInit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddEssent.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddGenetic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAPI.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddExport.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddInteract.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCheck.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddDecomp.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddGenCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLiteral.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLevelQ.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddRead.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddRef.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLinear.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSat.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSplit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddCount.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddReorder.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddPriority.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSubsetHB.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddWindow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddIsop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSymmetry.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddLin.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddSymm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddTable.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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;
      |       ^~~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
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 -march=i586 -mtune=generic -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrShort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrMflow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -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: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'
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 -march=i586 -mtune=generic -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_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))
      |           ^
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";
      |                 ^~~~~
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.36943
+ 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/lib /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/lib/
+ 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/lib/libst.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libmtr.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libmnem.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libepd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libdddmp.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/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/lib: (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)
verify-elf: WARNING: ./usr/lib/libmtr.so.0: uses non-LFS functions: getrlimit
verify-elf: WARNING: ./usr/lib/libmnem.so.0: uses non-LFS functions: fopen lseek open
verify-elf: WARNING: ./usr/lib/libdddmp.so.0: uses non-LFS functions: fgetpos fopen fsetpos
verify-elf: WARNING: ./usr/bin/nanotrav: uses non-LFS functions: fopen
Processing files: cudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.36943
+ 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.kKGiRe
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.fQZaDM
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, /lib/ld-linux.so.2, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.34), libc.so.6(GLIBC_2.4), libc.so.6(GLIBC_2.7), libcudd.so.0 >= set:nfYF8PWV8GG3wjdigRanZKOKZhnb1hcRQ62FHDTdLjaEghZCqowb5E9CDyyE0wIw5ha1BByWuHiaRnX3h37Kc3r4jiQH3zGXZFgD1Imj2bgNNi0ZK3Dg8qRlKZlUhykbKFU8DD1vVrOk12jvYLaPEuu42Qy4GYg2pVPB9uzymOg44CKkxZFeYQy1ShqnpOtmxne1Er4yqHXcaJYKXWdJxE39YmTwXOuSE8rlymcImA059QH861K6M1cwaFaZCVdCLBGk6oZB6fun5sr8LDPC8IBevZlyp2hg8nc51UPbiFBkKREGGCwCBeqw1vOcmUeU9wrMozdUNYgOZp8OIWC8EiIlQSp9hTZgrjLd, libdddmp.so.0 >= set:jhqPPQ31, libmtr.so.0 >= set:jgzdEwBLRrhsyZ4tCVZg, libst.so.0 >= 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.K2a8Re
Creating cudd-debuginfo package
Processing files: libcudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.36850
+ 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.NpE2X9
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libcudd.so.0: 628 symbols, 20 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libdddmp.so.0: 61 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libepd.so.0: 37 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libmnem.so.0: 8 symbols, 13 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libmtr.so.0: 52 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libst.so.0: 22 symbols, 15 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8wQNal
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 = set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1, libdddmp.so.0 = set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7, libepd.so.0 = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1, libmnem.so.0 = set:gcqHJPx3W3nh7gwsX, libmtr.so.0 = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6, libst.so.0 = set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6
Requires: libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.2), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.4), libc.so.6(GLIBC_2.7), libm.so.6(GLIBC_2.29), rtld(GNU_HASH)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.y0Dabq
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.gtxeDL
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.vZS6yT
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/lib/libcudd.so.0, /usr/lib/libdddmp.so.0, /usr/lib/libepd.so.0, /usr/lib/libmnem.so.0, /usr/lib/libmtr.so.0, /usr/lib/libst.so.0
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ShaK7O
Processing files: libcudd-devel-docs-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.47828
+ 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.LGCszu
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.lHwMwR
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.5IsJmr
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.RDgSb4
find-requires: running scripts (debuginfo)
Requires: cudd = 2.5.1-alt3, /usr/lib/debug/lib/ld-linux.so.2.debug, debug(libc.so.6), debug(libcudd.so.0), debug(libdddmp.so.0), debug(libmtr.so.0), debug(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.Cg5ap2
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.F6LHUZ
find-requires: running scripts (debuginfo)
Provides: debug(libcudd.so.0), debug(libdddmp.so.0), debug(libepd.so.0), debug(libmnem.so.0), debug(libmtr.so.0), debug(libst.so.0)
Requires: libcudd = 2.5.1-alt3, debug(libc.so.6), debug(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 7 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/i586/cudd-2.5.1-alt3.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libcudd-2.5.1-alt3.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libcudd-devel-2.5.1-alt3.i586.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/i586/cudd-debuginfo-2.5.1-alt3.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libcudd-debuginfo-2.5.1-alt3.i586.rpm (w2.lzdio)
23.54user 3.52system 0:24.23elapsed 111%CPU (0avgtext+0avgdata 49232maxresident)k
0inputs+0outputs (0major+1408590minor)pagefaults 0swaps
27.42user 6.58system 0:30.30elapsed 112%CPU (0avgtext+0avgdata 103912maxresident)k
0inputs+0outputs (45183major+1800824minor)pagefaults 0swaps
--- cudd-2.5.1-alt3.i586.rpm.repo	2018-08-12 07:08:18.000000000 +0000
+++ cudd-2.5.1-alt3.i586.rpm.hasher	2022-02-05 03:58:43.835678717 +0000
@@ -17,5 +17,6 @@
 Requires: /lib/ld-linux.so.2  
+Requires: libc.so.6(GLIBC_2.34)  
 Requires: rpmlib(PayloadIsLzma)  
 Provides: cudd = 2.5.1-alt3
-File: /usr/bin/nanotrav	100755	root:root	2a235e2f9818194e361bdb5eca65c1da	
+File: /usr/bin/nanotrav	100755	root:root	46bdb282f50595d2a12fe8e5a829c504	
 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: b43b66a077cfa44625c7dfbd4bdb9515782002ac8f45c0e83eb484db0a681d0753cfd892b6ecddba743c1bc3efd6658c35ec7cda369cd191cb2e8b15c117021f
+RPMIdentity: 0b9df67c91d6fd570970b3a3f1c6e4bc1beda380b07de788d15c5e6dca87548619e4f70943c13bfa8fd34f3fd19e50411fd224f8edd51f105073a55471848c18
--- cudd-debuginfo-2.5.1-alt3.i586.rpm.repo	2018-08-12 07:08:18.000000000 +0000
+++ cudd-debuginfo-2.5.1-alt3.i586.rpm.hasher	2022-02-05 03:58:43.881679333 +0000
@@ -1,4 +1,4 @@
-/usr/lib/debug/.build-id/7e	40755	root:root	
-/usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6	120777	root:root	../../../../bin/nanotrav
-/usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6.debug	120777	root:root	../../usr/bin/nanotrav.debug
+/usr/lib/debug/.build-id/33	40755	root:root	
+/usr/lib/debug/.build-id/33/1106afab0edcd6c9875a6216064fcb990c557a	120777	root:root	../../../../bin/nanotrav
+/usr/lib/debug/.build-id/33/1106afab0edcd6c9875a6216064fcb990c557a.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/7e	40755	root:root		
-File: /usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6	120777	root:root		../../../../bin/nanotrav
-File: /usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6.debug	120777	root:root		../../usr/bin/nanotrav.debug
-File: /usr/lib/debug/usr/bin/nanotrav.debug	100644	root:root	d7253f54f6137ea66b6826e124b9b62a	
+File: /usr/lib/debug/.build-id/33	40755	root:root		
+File: /usr/lib/debug/.build-id/33/1106afab0edcd6c9875a6216064fcb990c557a	120777	root:root		../../../../bin/nanotrav
+File: /usr/lib/debug/.build-id/33/1106afab0edcd6c9875a6216064fcb990c557a.debug	120777	root:root		../../usr/bin/nanotrav.debug
+File: /usr/lib/debug/usr/bin/nanotrav.debug	100644	root:root	6dfc396313df3d91623facbc6c5e4210	
 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: 9c1272833dde7e8aad08e87acdb2748559f1de312fffac3b7b6f757df62284d07c5767c19fa5de9ff6746c54bbbd4db27a076c7d3a1241ae1c7bb6bc4e9a6608
+RPMIdentity: 7c303216bedf413adf2125c1d528784f969d32e9923626716a1d7a7fb145f36f44c9a366542e342f1fa07f6d2538ae0b30159c2f77cc2b0a3c237a9f13523151
--- libcudd-2.5.1-alt3.i586.rpm.repo	2018-08-12 07:08:18.000000000 +0000
+++ libcudd-2.5.1-alt3.i586.rpm.hasher	2022-02-05 03:58:43.926679936 +0000
@@ -17,3 +17,3 @@
 Requires: libc.so.6(GLIBC_2.7)  
-Requires: libm.so.6(GLIBC_2.0)  
+Requires: libm.so.6(GLIBC_2.29)  
 Requires: rtld(GNU_HASH)  
@@ -23,3 +23,3 @@
 Provides: libepd.so.0 = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1
-Provides: libmnem.so.0 = set:hdgiXaS148oCKteYg95
+Provides: libmnem.so.0 = set:gcqHJPx3W3nh7gwsX
 Provides: libmtr.so.0 = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6
@@ -27,8 +27,8 @@
 Provides: libcudd = 2.5.1-alt3
-File: /usr/lib/libcudd.so.0	100644	root:root	05da1099f4ca5f2576d5782a0de2c7dc	
-File: /usr/lib/libdddmp.so.0	100644	root:root	b65fe62b9e6956474f670a48288b61c5	
-File: /usr/lib/libepd.so.0	100644	root:root	2b67195bca5fc608d56bc05cea4a389d	
-File: /usr/lib/libmnem.so.0	100644	root:root	f4ce59dec5fd8bdf8f4292896d794269	
-File: /usr/lib/libmtr.so.0	100644	root:root	4946f1f5fd93594e4ce454d692ad70bd	
-File: /usr/lib/libst.so.0	100644	root:root	1f411fbfd7ee961991cda149d26038b2	
+File: /usr/lib/libcudd.so.0	100644	root:root	5c210662960ea8634b867d613f8a2b69	
+File: /usr/lib/libdddmp.so.0	100644	root:root	8fc9f16013e720d3f1a6b0960e32246f	
+File: /usr/lib/libepd.so.0	100644	root:root	6d154edb5155e49bfd4f6311c30abb1a	
+File: /usr/lib/libmnem.so.0	100644	root:root	c638b5f1c6b4d2078ce558e3cfc210ce	
+File: /usr/lib/libmtr.so.0	100644	root:root	18dce43b480cf39b77fee9c690fdac9b	
+File: /usr/lib/libst.so.0	100644	root:root	f203a90ba70541f60158468390ed97bb	
 File: /usr/share/doc/libcudd-2.5.1	40755	root:root		
@@ -37,2 +37,2 @@
 File: /usr/share/doc/libcudd-2.5.1/RELEASE_NOTES.dddmp	100644	root:root	198407f7f5098a6eba3de09fdc23e652	
-RPMIdentity: 7d673185e63fa01d1d5e9bb3faeaeb8ccb71da2ce69b78aa5c224f54ab5e733c0200cfe9be19bb8b69214bafc162e43716847772a3577c24901adbcf3e759607
+RPMIdentity: 5ac33210945275e348e9389e33665b53001528d66f8d2aea4d0f4a4662a4fd03c8af26a7b83f153b415dc227e9277dd75f05b619b2cb3025ea868a6a01daea57
--- libcudd-debuginfo-2.5.1-alt3.i586.rpm.repo	2018-08-12 07:08:18.000000000 +0000
+++ libcudd-debuginfo-2.5.1-alt3.i586.rpm.hasher	2022-02-05 03:58:43.984680712 +0000
@@ -1,19 +1,19 @@
-/usr/lib/debug/.build-id/04	40755	root:root	
-/usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26	120777	root:root	../../../libst.so.0
-/usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26.debug	120777	root:root	../../usr/lib/libst.so.0.debug
-/usr/lib/debug/.build-id/41	40755	root:root	
-/usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688	120777	root:root	../../../libmtr.so.0
-/usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688.debug	120777	root:root	../../usr/lib/libmtr.so.0.debug
-/usr/lib/debug/.build-id/54	40755	root:root	
-/usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae	120777	root:root	../../../libepd.so.0
-/usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae.debug	120777	root:root	../../usr/lib/libepd.so.0.debug
-/usr/lib/debug/.build-id/59	40755	root:root	
-/usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36	120777	root:root	../../../libcudd.so.0
-/usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36.debug	120777	root:root	../../usr/lib/libcudd.so.0.debug
-/usr/lib/debug/.build-id/ae	40755	root:root	
-/usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e	120777	root:root	../../../libdddmp.so.0
-/usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e.debug	120777	root:root	../../usr/lib/libdddmp.so.0.debug
-/usr/lib/debug/.build-id/eb	40755	root:root	
-/usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1	120777	root:root	../../../libmnem.so.0
-/usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1.debug	120777	root:root	../../usr/lib/libmnem.so.0.debug
+/usr/lib/debug/.build-id/03	40755	root:root	
+/usr/lib/debug/.build-id/03/34d73a76c339aae1d2b8f506f9be367503e201	120777	root:root	../../../libmnem.so.0
+/usr/lib/debug/.build-id/03/34d73a76c339aae1d2b8f506f9be367503e201.debug	120777	root:root	../../usr/lib/libmnem.so.0.debug
+/usr/lib/debug/.build-id/4c	40755	root:root	
+/usr/lib/debug/.build-id/4c/46f9097dc95badacb9610908f06caa8d76674d	120777	root:root	../../../libmtr.so.0
+/usr/lib/debug/.build-id/4c/46f9097dc95badacb9610908f06caa8d76674d.debug	120777	root:root	../../usr/lib/libmtr.so.0.debug
+/usr/lib/debug/.build-id/71	40755	root:root	
+/usr/lib/debug/.build-id/71/814e27d76e3aff450275b9b5eec56e7ff47825	120777	root:root	../../../libdddmp.so.0
+/usr/lib/debug/.build-id/71/814e27d76e3aff450275b9b5eec56e7ff47825.debug	120777	root:root	../../usr/lib/libdddmp.so.0.debug
+/usr/lib/debug/.build-id/9c	40755	root:root	
+/usr/lib/debug/.build-id/9c/ad4e42abe19648f2e8dedc0fbac0173db9f76b	120777	root:root	../../../libcudd.so.0
+/usr/lib/debug/.build-id/9c/ad4e42abe19648f2e8dedc0fbac0173db9f76b.debug	120777	root:root	../../usr/lib/libcudd.so.0.debug
+/usr/lib/debug/.build-id/9d	40755	root:root	
+/usr/lib/debug/.build-id/9d/c7b30d6adc74885a77a8190a1185792823b480	120777	root:root	../../../libepd.so.0
+/usr/lib/debug/.build-id/9d/c7b30d6adc74885a77a8190a1185792823b480.debug	120777	root:root	../../usr/lib/libepd.so.0.debug
+/usr/lib/debug/.build-id/e9	40755	root:root	
+/usr/lib/debug/.build-id/e9/38e4c906d439974f5326fc8d8d3ebb2a75a2f6	120777	root:root	../../../libst.so.0
+/usr/lib/debug/.build-id/e9/38e4c906d439974f5326fc8d8d3ebb2a75a2f6.debug	120777	root:root	../../usr/lib/libst.so.0.debug
 /usr/lib/debug/usr/lib/libcudd.so.0.debug	100644	root:root	
@@ -152,26 +152,26 @@
 Provides: libcudd-debuginfo = 2.5.1-alt3
-File: /usr/lib/debug/.build-id/04	40755	root:root		
-File: /usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26	120777	root:root		../../../libst.so.0
-File: /usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26.debug	120777	root:root		../../usr/lib/libst.so.0.debug
-File: /usr/lib/debug/.build-id/41	40755	root:root		
-File: /usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688	120777	root:root		../../../libmtr.so.0
-File: /usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688.debug	120777	root:root		../../usr/lib/libmtr.so.0.debug
-File: /usr/lib/debug/.build-id/54	40755	root:root		
-File: /usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae	120777	root:root		../../../libepd.so.0
-File: /usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae.debug	120777	root:root		../../usr/lib/libepd.so.0.debug
-File: /usr/lib/debug/.build-id/59	40755	root:root		
-File: /usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36	120777	root:root		../../../libcudd.so.0
-File: /usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36.debug	120777	root:root		../../usr/lib/libcudd.so.0.debug
-File: /usr/lib/debug/.build-id/ae	40755	root:root		
-File: /usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e	120777	root:root		../../../libdddmp.so.0
-File: /usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e.debug	120777	root:root		../../usr/lib/libdddmp.so.0.debug
-File: /usr/lib/debug/.build-id/eb	40755	root:root		
-File: /usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1	120777	root:root		../../../libmnem.so.0
-File: /usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1.debug	120777	root:root		../../usr/lib/libmnem.so.0.debug
-File: /usr/lib/debug/usr/lib/libcudd.so.0.debug	100644	root:root	36a82e0eb1acca445b22eeec3e2cb793	
-File: /usr/lib/debug/usr/lib/libdddmp.so.0.debug	100644	root:root	c844fbf670d5ad80c02d2fc2fccd15cb	
-File: /usr/lib/debug/usr/lib/libepd.so.0.debug	100644	root:root	4e8473c52c94019d1117d3afaeb9255e	
-File: /usr/lib/debug/usr/lib/libmnem.so.0.debug	100644	root:root	e9e964f261d1451590a4e5b3e75e6c22	
-File: /usr/lib/debug/usr/lib/libmtr.so.0.debug	100644	root:root	e67b327e47169678ebc0db748c700607	
-File: /usr/lib/debug/usr/lib/libst.so.0.debug	100644	root:root	fa004df816a2e0f95519d42a8e96f7aa	
+File: /usr/lib/debug/.build-id/03	40755	root:root		
+File: /usr/lib/debug/.build-id/03/34d73a76c339aae1d2b8f506f9be367503e201	120777	root:root		../../../libmnem.so.0
+File: /usr/lib/debug/.build-id/03/34d73a76c339aae1d2b8f506f9be367503e201.debug	120777	root:root		../../usr/lib/libmnem.so.0.debug
+File: /usr/lib/debug/.build-id/4c	40755	root:root		
+File: /usr/lib/debug/.build-id/4c/46f9097dc95badacb9610908f06caa8d76674d	120777	root:root		../../../libmtr.so.0
+File: /usr/lib/debug/.build-id/4c/46f9097dc95badacb9610908f06caa8d76674d.debug	120777	root:root		../../usr/lib/libmtr.so.0.debug
+File: /usr/lib/debug/.build-id/71	40755	root:root		
+File: /usr/lib/debug/.build-id/71/814e27d76e3aff450275b9b5eec56e7ff47825	120777	root:root		../../../libdddmp.so.0
+File: /usr/lib/debug/.build-id/71/814e27d76e3aff450275b9b5eec56e7ff47825.debug	120777	root:root		../../usr/lib/libdddmp.so.0.debug
+File: /usr/lib/debug/.build-id/9c	40755	root:root		
+File: /usr/lib/debug/.build-id/9c/ad4e42abe19648f2e8dedc0fbac0173db9f76b	120777	root:root		../../../libcudd.so.0
+File: /usr/lib/debug/.build-id/9c/ad4e42abe19648f2e8dedc0fbac0173db9f76b.debug	120777	root:root		../../usr/lib/libcudd.so.0.debug
+File: /usr/lib/debug/.build-id/9d	40755	root:root		
+File: /usr/lib/debug/.build-id/9d/c7b30d6adc74885a77a8190a1185792823b480	120777	root:root		../../../libepd.so.0
+File: /usr/lib/debug/.build-id/9d/c7b30d6adc74885a77a8190a1185792823b480.debug	120777	root:root		../../usr/lib/libepd.so.0.debug
+File: /usr/lib/debug/.build-id/e9	40755	root:root		
+File: /usr/lib/debug/.build-id/e9/38e4c906d439974f5326fc8d8d3ebb2a75a2f6	120777	root:root		../../../libst.so.0
+File: /usr/lib/debug/.build-id/e9/38e4c906d439974f5326fc8d8d3ebb2a75a2f6.debug	120777	root:root		../../usr/lib/libst.so.0.debug
+File: /usr/lib/debug/usr/lib/libcudd.so.0.debug	100644	root:root	11e6efaf3daa3541cbdf0a3188bfaff3	
+File: /usr/lib/debug/usr/lib/libdddmp.so.0.debug	100644	root:root	76c353a38466e7d617dea702378aceea	
+File: /usr/lib/debug/usr/lib/libepd.so.0.debug	100644	root:root	44dc63b34b22d70607af5b177bf2f3f3	
+File: /usr/lib/debug/usr/lib/libmnem.so.0.debug	100644	root:root	9c617481a3c1e0439308ff06adf8ad4e	
+File: /usr/lib/debug/usr/lib/libmtr.so.0.debug	100644	root:root	0db51d21c3c511729055984abd662215	
+File: /usr/lib/debug/usr/lib/libst.so.0.debug	100644	root:root	493ae7f861e8b5cc121ebf1a75e01bae	
 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: b58b88e3b551860b5415490fa3a5b06f877b70089e70512831087fa291401999f7b7740ffe8d56b9d404252b2dd1d05201c22f6f56e4bd6dd976a02dce6979e5
+RPMIdentity: ba7c9a454f3d9acd951817c45d70caf284c593bc74bb2ac29a6d7b0cf8ba2d924433121de949133f9faaf6b8b55979d8518a5d5535812175b4ba7dc58d5b75d1