<86>Feb 25 05:51:57 userdel[198606]: delete user 'rooter'
<86>Feb 25 05:51:57 userdel[198606]: removed group 'rooter' owned by 'rooter'
<86>Feb 25 05:51:57 userdel[198606]: removed shadow group 'rooter' owned by 'rooter'
<86>Feb 25 05:51:57 groupadd[198626]: group added to /etc/group: name=rooter, GID=759
<86>Feb 25 05:51:57 groupadd[198626]: group added to /etc/gshadow: name=rooter
<86>Feb 25 05:51:57 groupadd[198626]: new group: name=rooter, GID=759
<86>Feb 25 05:51:57 useradd[198636]: new user: name=rooter, UID=759, GID=759, home=/root, shell=/bin/bash
<86>Feb 25 05:51:57 userdel[198646]: delete user 'builder'
<86>Feb 25 05:51:57 userdel[198646]: removed group 'builder' owned by 'builder'
<86>Feb 25 05:51:57 userdel[198646]: removed shadow group 'builder' owned by 'builder'
<86>Feb 25 05:51:57 groupadd[198652]: group added to /etc/group: name=builder, GID=760
<86>Feb 25 05:51:57 groupadd[198652]: group added to /etc/gshadow: name=builder
<86>Feb 25 05:51:57 groupadd[198652]: new group: name=builder, GID=760
<86>Feb 25 05:51:57 useradd[198657]: new user: name=builder, UID=760, GID=760, home=/usr/src, shell=/bin/bash
<13>Feb 25 05:51:58 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>Feb 25 05:52:00 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed
<13>Feb 25 05:52:00 rpmi: libstdc++12-devel-12.1.1-alt2 sisyphus+307182.100.1.1 1663782147 installed
<13>Feb 25 05:52:01 rpmi: gcc12-c++-12.1.1-alt2 sisyphus+307182.100.1.1 1663782147 installed
<13>Feb 25 05:52:01 rpmi: gcc-c++-12-alt1 sisyphus+300988.300.1.1 1654033914 installed
<13>Feb 25 05:52:01 rpmi: libstdc++-devel-12-alt1 sisyphus+300988.300.1.1 1654033053 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.67097
+ 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.67097
+ 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 -j8 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 -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 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 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 -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 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 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 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 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 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 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;
| ^~~~~~~~
dddmpNodeCnf.c: At top level:
dddmpNodeCnf.c:444:1: warning: 'DddmpClearVisitedCnfRecur' defined but not used [-Wunused-function]
444 | DddmpClearVisitedCnfRecur (
| ^~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -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 -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 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 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 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 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 -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 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 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 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 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 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 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 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 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 -j8 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 -j8 -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'
mnemalyse.c: At top level:
mnemalyse.c:36:17: warning: 'rcsid' defined but not used [-Wunused-variable]
36 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemalyse.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp";
| ^~~~~
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
cc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -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))
| ^
mnemosyne.c: At top level:
mnemosyne.c:38:17: warning: 'rcsid' defined but not used [-Wunused-variable]
38 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemosyne.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp";
| ^~~~~
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.42070
+ 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.63557
+ 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.AK2hpO
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.AQMQp0
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.DOSS6B
Creating cudd-debuginfo package
Processing files: libcudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.17649
+ 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.vBxyf2
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.csqOwf
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.7ljQh3
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.nShKae
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.Y6sxGC
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.k5EVDU
Processing files: libcudd-devel-docs-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.30736
+ 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.Kklxdu
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.KNOnsS
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.EuAA9O
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.BG2tiw
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.AyJxrM
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.CQnwRd
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)
34.97user 5.20system 0:28.45elapsed 141%CPU (0avgtext+0avgdata 51592maxresident)k
0inputs+0outputs (0major+1375634minor)pagefaults 0swaps
3.40user 1.75system 0:38.21elapsed 13%CPU (0avgtext+0avgdata 108376maxresident)k
0inputs+0outputs (48060major+204651minor)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 2023-02-25 05:52:32.870739067 +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 ebcaf29a4bb6143e64245289c212d9fb
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: f4bde8d4af63193c38a356d08d51d4c92715a0694ec4f7c1451f6a29f8b85cd5fc2a9f3518349f1ee2664e7b23e2faeb3186a671770700607331f49d30cda63a
--- 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 2023-02-25 05:52:32.944739351 +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/5a 40755 root:root
+/usr/lib/debug/.build-id/5a/702292d922f2d210a9a53986e6330c17c2683d 120777 root:root ../../../../bin/nanotrav
+/usr/lib/debug/.build-id/5a/702292d922f2d210a9a53986e6330c17c2683d.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/5a 40755 root:root
+File: /usr/lib/debug/.build-id/5a/702292d922f2d210a9a53986e6330c17c2683d 120777 root:root ../../../../bin/nanotrav
+File: /usr/lib/debug/.build-id/5a/702292d922f2d210a9a53986e6330c17c2683d.debug 120777 root:root ../../usr/bin/nanotrav.debug
+File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root 176ef04fc77613803898a4b7f34da1a9
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: 638fae6744c1022341ad7376d28a21beed257d5bc117b44ecdc7d38936096b036582ea1fbb4d3209a023441c8bd576ac6a3fa009f66e172398d161869b0b700e
--- libcudd-2.5.1-alt3.i586.rpm.repo 2018-08-12 07:08:18.000000000 +0000
+++ libcudd-2.5.1-alt3.i586.rpm.hasher 2023-02-25 05:52:33.006739589 +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 7f26ca14ccdeb16c3edf78b782ab5211
+File: /usr/lib/libdddmp.so.0 100644 root:root 0a7497c4982a600d7857b10fee91f6fb
+File: /usr/lib/libepd.so.0 100644 root:root c8e2a97b4c2c2d1dba3fc115804203ac
+File: /usr/lib/libmnem.so.0 100644 root:root 8554d3602bbce12256e91f2be8e0606c
+File: /usr/lib/libmtr.so.0 100644 root:root 083262c27c8efea2d9ad5fef8254f785
+File: /usr/lib/libst.so.0 100644 root:root 6e5299d3353df6189ed7d82b7897c4b1
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: 258bd6115e2843316ca5ccf3689f4f9570566f6cadf900dece34661a0c39ad3876c20fe4be7a834e0f990c86978bfac5dc625bd88cf9f1c4cd7f6bcaebb085b6
--- 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 2023-02-25 05:52:33.076739858 +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/15 40755 root:root
+/usr/lib/debug/.build-id/15/0d60f94d609806edd8a712f9374ab6d54bd9d1 120777 root:root ../../../libcudd.so.0
+/usr/lib/debug/.build-id/15/0d60f94d609806edd8a712f9374ab6d54bd9d1.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/8348ac475b4b95769c52cfe284278e87c19a65 120777 root:root ../../../libmtr.so.0
+/usr/lib/debug/.build-id/9d/8348ac475b4b95769c52cfe284278e87c19a65.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug
+/usr/lib/debug/.build-id/a4 40755 root:root
+/usr/lib/debug/.build-id/a4/fc0519f866fe77b7b059c1e9573fa2c981abdc 120777 root:root ../../../libdddmp.so.0
+/usr/lib/debug/.build-id/a4/fc0519f866fe77b7b059c1e9573fa2c981abdc.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug
+/usr/lib/debug/.build-id/ab 40755 root:root
+/usr/lib/debug/.build-id/ab/37ed426d953499cb0b1cd8d87c88a1fe43493d 120777 root:root ../../../libmnem.so.0
+/usr/lib/debug/.build-id/ab/37ed426d953499cb0b1cd8d87c88a1fe43493d.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug
+/usr/lib/debug/.build-id/b2 40755 root:root
+/usr/lib/debug/.build-id/b2/fb4b61b1744a0e7c4ae2629471eefaa2b48399 120777 root:root ../../../libst.so.0
+/usr/lib/debug/.build-id/b2/fb4b61b1744a0e7c4ae2629471eefaa2b48399.debug 120777 root:root ../../usr/lib/libst.so.0.debug
+/usr/lib/debug/.build-id/fd 40755 root:root
+/usr/lib/debug/.build-id/fd/631aa9f088a795ac10105a4f8d5894185a8f90 120777 root:root ../../../libepd.so.0
+/usr/lib/debug/.build-id/fd/631aa9f088a795ac10105a4f8d5894185a8f90.debug 120777 root:root ../../usr/lib/libepd.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/15 40755 root:root
+File: /usr/lib/debug/.build-id/15/0d60f94d609806edd8a712f9374ab6d54bd9d1 120777 root:root ../../../libcudd.so.0
+File: /usr/lib/debug/.build-id/15/0d60f94d609806edd8a712f9374ab6d54bd9d1.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/8348ac475b4b95769c52cfe284278e87c19a65 120777 root:root ../../../libmtr.so.0
+File: /usr/lib/debug/.build-id/9d/8348ac475b4b95769c52cfe284278e87c19a65.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug
+File: /usr/lib/debug/.build-id/a4 40755 root:root
+File: /usr/lib/debug/.build-id/a4/fc0519f866fe77b7b059c1e9573fa2c981abdc 120777 root:root ../../../libdddmp.so.0
+File: /usr/lib/debug/.build-id/a4/fc0519f866fe77b7b059c1e9573fa2c981abdc.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug
+File: /usr/lib/debug/.build-id/ab 40755 root:root
+File: /usr/lib/debug/.build-id/ab/37ed426d953499cb0b1cd8d87c88a1fe43493d 120777 root:root ../../../libmnem.so.0
+File: /usr/lib/debug/.build-id/ab/37ed426d953499cb0b1cd8d87c88a1fe43493d.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug
+File: /usr/lib/debug/.build-id/b2 40755 root:root
+File: /usr/lib/debug/.build-id/b2/fb4b61b1744a0e7c4ae2629471eefaa2b48399 120777 root:root ../../../libst.so.0
+File: /usr/lib/debug/.build-id/b2/fb4b61b1744a0e7c4ae2629471eefaa2b48399.debug 120777 root:root ../../usr/lib/libst.so.0.debug
+File: /usr/lib/debug/.build-id/fd 40755 root:root
+File: /usr/lib/debug/.build-id/fd/631aa9f088a795ac10105a4f8d5894185a8f90 120777 root:root ../../../libepd.so.0
+File: /usr/lib/debug/.build-id/fd/631aa9f088a795ac10105a4f8d5894185a8f90.debug 120777 root:root ../../usr/lib/libepd.so.0.debug
+File: /usr/lib/debug/usr/lib/libcudd.so.0.debug 100644 root:root b1a85739e951c4adbfc83c0f01e7cff4
+File: /usr/lib/debug/usr/lib/libdddmp.so.0.debug 100644 root:root 0443008ff292182ec7562dc96501c7b7
+File: /usr/lib/debug/usr/lib/libepd.so.0.debug 100644 root:root 21f3d27dd6218842a9488c3601756b4d
+File: /usr/lib/debug/usr/lib/libmnem.so.0.debug 100644 root:root f3db56dbcb5198b81cb664cd24874b3e
+File: /usr/lib/debug/usr/lib/libmtr.so.0.debug 100644 root:root f3335f9953d22317d4d5d8a7d44cee13
+File: /usr/lib/debug/usr/lib/libst.so.0.debug 100644 root:root adc7938963920989d1f44d0290ffe965
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: be9838930884a6ef4e5709d603271243d9eb2b8631dfc6423aac0f8ea824de2e7eae073aa0c9f4a86cc919fc794f9b35ac955c2245ee901c0f75558b361ad290