<86>Apr 20 07:09:09 userdel[2661399]: delete user 'rooter' <86>Apr 20 07:09:09 userdel[2661399]: removed group 'rooter' owned by 'rooter' <86>Apr 20 07:09:09 userdel[2661399]: removed shadow group 'rooter' owned by 'rooter' <86>Apr 20 07:09:09 groupadd[2661432]: group added to /etc/group: name=rooter, GID=1865 <86>Apr 20 07:09:09 groupadd[2661432]: group added to /etc/gshadow: name=rooter <86>Apr 20 07:09:09 groupadd[2661432]: new group: name=rooter, GID=1865 <86>Apr 20 07:09:09 useradd[2661483]: new user: name=rooter, UID=1865, GID=1865, home=/root, shell=/bin/bash, from=none <86>Apr 20 07:09:09 userdel[2661526]: delete user 'builder' <86>Apr 20 07:09:09 userdel[2661526]: removed group 'builder' owned by 'builder' <86>Apr 20 07:09:09 userdel[2661526]: removed shadow group 'builder' owned by 'builder' <86>Apr 20 07:09:09 groupadd[2661587]: group added to /etc/group: name=builder, GID=1866 <86>Apr 20 07:09:09 groupadd[2661587]: group added to /etc/gshadow: name=builder <86>Apr 20 07:09:09 groupadd[2661587]: new group: name=builder, GID=1866 <86>Apr 20 07:09:09 useradd[2661645]: new user: name=builder, UID=1866, GID=1866, home=/usr/src, shell=/bin/bash, from=none <13>Apr 20 07:09:13 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Apr 20 07:09:14 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed <13>Apr 20 07:09:15 rpmi: libstdc++13-devel-13.2.1-alt3 sisyphus+339335.100.1.1 1706563095 installed <13>Apr 20 07:09:15 rpmi: gcc13-c++-13.2.1-alt3 sisyphus+339335.100.1.1 1706563095 installed <13>Apr 20 07:09:15 rpmi: gcc-c++-13-alt1 sisyphus+323337.300.1.1 1687268227 installed <13>Apr 20 07:09:15 rpmi: libstdc++-devel-13-alt1 sisyphus+323337.300.1.1 1687267966 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.8067 + 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.8067 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cudd-2.5.1 + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export FFLAGS + make -j16 build make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1' Making util ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 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 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 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 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 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 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 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 cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 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 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 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 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 cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 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 cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -shared cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o -Wl,-soname=libcudd.so.0 -o libcudd.so.0 ../mtr/libmtr.so \ ../st/libst.so ../epd/libepd.so -lm ln -s libcudd.so.0 libcudd.so #ar rv libcudd.so cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o #ranlib libcudd.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' Making dddmp ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 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 dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD dddmpDbg.c: In function 'Dddmp_cuddBddDisplayBinary': dddmpDbg.c:144:3: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 144 | fgets(buf, 999,fp); | ^~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 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 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 dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD dddmpStoreCnf.c: In function 'StoreCnfBestNotSharedRecur': dddmpStoreCnf.c:1341:11: warning: variable 'one' set but not used [-Wunused-but-set-variable] 1341 | DdNode *one; | ^~~ dddmpStoreCnf.c: In function 'StoreCnfBestSharedRecur': dddmpStoreCnf.c:1463:11: warning: variable 'one' set but not used [-Wunused-but-set-variable] 1463 | DdNode *one; | ^~~ dddmpStoreCnf.c:1462:15: warning: variable 'index' set but not used [-Wunused-but-set-variable] 1462 | int i, idf, index; | ^~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD dddmpLoad.c: In function 'DddmpCuddDdArrayLoad': dddmpLoad.c:1112:3: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 1112 | fgets (buf, DDDMP_MAXSTRLEN-1,fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoad.c: In function 'DddmpBddReadHeader': dddmpLoad.c:1276:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 1276 | fgets(buf,DDDMP_MAXSTRLEN,fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoad.c:1429:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 1429 | fgets(buf,DDDMP_MAXSTRLEN,fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -shared dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o -Wl,-soname=libdddmp.so.0 -o libdddmp.so.0 ../cudd/libcudd.so \ ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so ln -s libdddmp.so.0 libdddmp.so #ar rv libdddmp.so dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o #ranlib libdddmp.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Making nanotrav ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c 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 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 main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC ntr.c: In function 'Ntr_buildTR': ntr.c:404:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 404 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:404:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 404 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:455:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 455 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); | ^~ ntr.c:455:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 455 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:480:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 480 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:480:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 480 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:485:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 485 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:485:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 485 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:508:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 508 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:508:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 508 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:513:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 513 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:513:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 513 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c: In function 'Ntr_SCC': ntr.c:1026:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1026 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:1026:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1026 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:1029:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1029 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~ ntr.c:1029:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1029 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~~~~~~~ ntr.c:1082:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1082 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:1082:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1082 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:1085:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1085 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~ ntr.c:1085:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1085 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~~~~~~~ ntr.c: In function 'ntrImage': ntr.c:1977:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1977 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~ ntr.c:1977:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1977 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~~~~~~~ ntr.c:1983:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1983 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~ ntr.c:1983:53: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1983 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~~~~~~~ ntr.c:1985:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1985 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); | ^~ ntr.c:1985:51: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1985 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); | ^~~~~~~~ ntr.c:1988:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1988 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~ ntr.c:1988:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1988 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~~~~~~~ ntr.c:1992:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1992 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); | ^~ ntr.c:1992:50: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1992 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); | ^~~~~~~~ ntr.c:1999:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1999 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:1999:48: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1999 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2024:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2024 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:2024:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2024 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c: In function 'ntrLatchDependencies': ntr.c:2315:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2315 | if (positive == NULL) return(-1); Cudd_Ref(positive); | ^~ ntr.c:2315:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2315 | if (positive == NULL) return(-1); Cudd_Ref(positive); | ^~~~~~~~ ntr.c:2317:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2317 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~ ntr.c:2317:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2317 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~~~~~~~ ntr.c:2319:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2319 | if (phi == NULL) return(-1); Cudd_Ref(phi); | ^~ ntr.c:2319:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2319 | if (phi == NULL) return(-1); Cudd_Ref(phi); | ^~~~~~~~ ntr.c:2362:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2362 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~ ntr.c:2362:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2362 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~~~~~~~ ntr.c: In function 'ntrEliminateDependencies': ntr.c:2482:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2482 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~ ntr.c:2482:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2482 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~~~~~~~ ntr.c:2484:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2484 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~ ntr.c:2484:49: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2484 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~~~~~~~ ntr.c:2486:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2486 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~ ntr.c:2486:44: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2486 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~~~~~~~ ntr.c:2498:21: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:2498:52: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2523:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2523 | if (*states == NULL) return(NULL); Cudd_Ref(*states); | ^~ ntr.c:2523:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2523 | if (*states == NULL) return(NULL); Cudd_Ref(*states); | ^~~~~~~~ ntr.c: In function 'ntrUpdateQuantificationSchedule': ntr.c:2597:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2597 | if (xnor == NULL) return(0); Cudd_Ref(xnor); | ^~ ntr.c:2597:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2597 | if (xnor == NULL) return(0); Cudd_Ref(xnor); | ^~~~~~~~ ntr.c:2599:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2599 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2599:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2599 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2652:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2652 | if (support == NULL) return(0); Cudd_Ref(support); | ^~ ntr.c:2652:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2652 | if (support == NULL) return(0); Cudd_Ref(support); | ^~~~~~~~ ntr.c:2796:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2796 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2796:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2796 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2801:13: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2801 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2801:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2801 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2811:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2811 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2811:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2811 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -o nanotrav main.o bnet.o ntr.o ntrHeap.o ntrBddTest.o ntrMflow.o ntrZddTest.o ntrShort.o chkMterm.o ucbqsort.o ../dddmp/libdddmp.so ../cudd/libcudd.so ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so -lm make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export FFLAGS + make -j16 nanotrav make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1' Making util ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: 'libutil.a' is up to date. Making mtr ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: 'libmtr.so' is up to date. Making st ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' make[1]: 'libst.so' is up to date. Making epd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' make[1]: 'libepd.so' is up to date. Making cudd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: 'libcudd.so' is up to date. Making dddmp ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: 'libdddmp.so' is up to date. Making nanotrav ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: 'nanotrav' is up to date. + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC' + export FFLAGS + make -j16 -C mnemosyne make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemalyse.o mnemalyse.c mnemalyse.c:70:1: warning: return type defaults to 'int' [-Wimplicit-int] 70 | main() | ^~~~ mnemalyse.c: In function 'main': mnemalyse.c:97:17: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] 97 | exit(1); | ^~~~ mnemalyse.c:39:1: note: include '' or provide a declaration of 'exit' 38 | #include "mnemconf.h" +++ |+#include 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 '' 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 '' 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 '' 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 '' or provide a declaration of 'strlen' 38 | #include "mnemconf.h" +++ |+#include 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 '' 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 '' 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 '' 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 '' 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 '' 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 '' or provide a declaration of 'strcmp' 36 | #include "mnemconf.h" +++ |+#include 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"; | ^~~~~ mnemosyne.c: In function 'mnem_realloc': mnemosyne.c:590:21: warning: pointer 'ptr_17(D)' may be used after 'realloc' [-Wuse-after-free] 590 | if(!freeptr(ptr,lab,lin)) | ^~~~~~~~~~~~~~~~~~~~ mnemosyne.c:582:19: note: call to 'realloc' here 582 | if((ret = realloc(ptr,siz)) == (mall_t)0) { | ^~~~~~~~~~~~~~~~ make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -L. -o mnemalyse mnemalyse.o make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' gcc -shared mnemosyne.o -Wl,-soname=libmnem.so.0 -o libmnem.so.0 ln -s libmnem.so.0 libmnem.so #ar rcv libmnem.so mnemosyne.o #ranlib libmnem.so make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.83711 + 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--) mode of 'usr/share/man/man1/nanotrav.1' 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) Adjusting library links in /usr/src/tmp/cudd-buildroot ./usr/lib: (from :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 Splitting links to aliased files under /{,s}bin in /usr/src/tmp/cudd-buildroot Processing files: cudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.55519 + 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.Arf7Dl 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.H6ElED 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.xQgeMV Creating cudd-debuginfo package Processing files: libcudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.43178 + 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.sM4EMd 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.KMZoGw 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.f8aVRG 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.9hU77o 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.LCw9uC 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 | ^~~~~~~~ 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.N9cc31 Processing files: libcudd-devel-docs-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.28820 + 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.uLGuTV 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.j9ba1q 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.vbvEIX find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.e7fkDC 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.jH3bvq find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.dIM79r 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) 26.44user 10.87system 0:26.67elapsed 139%CPU (0avgtext+0avgdata 52848maxresident)k 0inputs+0outputs (0major+1386093minor)pagefaults 0swaps 4.33user 3.17system 0:39.66elapsed 18%CPU (0avgtext+0avgdata 127296maxresident)k 0inputs+0outputs (0major+270122minor)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 2024-04-20 07:09:46.097719568 +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 6d624d12c9e2785e81120574dcd817ee 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: 0abed7ce9021648a80a3ae47fb99a691b9ca87657676e89439694ffb0631c744079340436bb8b90e7d91f6f35a02a1793bb883ca7de6047055b50240ed04e67a --- 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 2024-04-20 07:09:46.201721584 +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/47 40755 root:root +/usr/lib/debug/.build-id/47/8a3f1d50b647c920f660453f272880d129f093 120777 root:root ../../../../bin/nanotrav +/usr/lib/debug/.build-id/47/8a3f1d50b647c920f660453f272880d129f093.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/47 40755 root:root +File: /usr/lib/debug/.build-id/47/8a3f1d50b647c920f660453f272880d129f093 120777 root:root ../../../../bin/nanotrav +File: /usr/lib/debug/.build-id/47/8a3f1d50b647c920f660453f272880d129f093.debug 120777 root:root ../../usr/bin/nanotrav.debug +File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root d30bd1461f489a3c3eb93ad5205b039b 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: 77508d08e30c5a8d6ddb415072df2fb702c8bdfa23cbc70398052925bb698641ae4be639bb596b402349704c64be5e854d3c69fdf72d9aee75cb749ea4c4ece5 --- libcudd-2.5.1-alt3.i586.rpm.repo 2018-08-12 07:08:18.000000000 +0000 +++ libcudd-2.5.1-alt3.i586.rpm.hasher 2024-04-20 07:09:46.284723193 +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 4e76663f79c227a3142e89add6c87b31 +File: /usr/lib/libdddmp.so.0 100644 root:root 164373f9e1f66cfbaee47f4f3eb204b4 +File: /usr/lib/libepd.so.0 100644 root:root 258c754ae97172641f01c9e82e662ea4 +File: /usr/lib/libmnem.so.0 100644 root:root aff90ee698e837c29200a7f328d4b243 +File: /usr/lib/libmtr.so.0 100644 root:root 53540c621e5b634f6f13b27a332219c5 +File: /usr/lib/libst.so.0 100644 root:root fff76b3a1a8dd042c0e601bee7d794e2 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: 4987edd95a4c0816de586d6d3379e67ea8ab3afcd6e9953cca63e07030dab784906ce54eb2fdd9484c60be3578ab477bd0775c44a4a6b9ec5631c81bfd0779b5 --- 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 2024-04-20 07:09:46.378725015 +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/92 40755 root:root +/usr/lib/debug/.build-id/92/4a85987021c3f643cf2d798563c9335ca4db54 120777 root:root ../../../libdddmp.so.0 +/usr/lib/debug/.build-id/92/4a85987021c3f643cf2d798563c9335ca4db54.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug +/usr/lib/debug/.build-id/b1 40755 root:root +/usr/lib/debug/.build-id/b1/ebb9dca26a35607dff062cce0a500d7b6dff90 120777 root:root ../../../libst.so.0 +/usr/lib/debug/.build-id/b1/ebb9dca26a35607dff062cce0a500d7b6dff90.debug 120777 root:root ../../usr/lib/libst.so.0.debug +/usr/lib/debug/.build-id/b9 40755 root:root +/usr/lib/debug/.build-id/b9/16e956e62d9664892ddf7bfc89cc19c8ce12ab 120777 root:root ../../../libepd.so.0 +/usr/lib/debug/.build-id/b9/16e956e62d9664892ddf7bfc89cc19c8ce12ab.debug 120777 root:root ../../usr/lib/libepd.so.0.debug +/usr/lib/debug/.build-id/c5 40755 root:root +/usr/lib/debug/.build-id/c5/b507bfb7b83a251e20b66eae928f898483c2f8 120777 root:root ../../../libmtr.so.0 +/usr/lib/debug/.build-id/c5/b507bfb7b83a251e20b66eae928f898483c2f8.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug +/usr/lib/debug/.build-id/f1 40755 root:root +/usr/lib/debug/.build-id/f1/ffd65ec6f34ce9e41cf0ec297f9586097c5dbf 120777 root:root ../../../libmnem.so.0 +/usr/lib/debug/.build-id/f1/ffd65ec6f34ce9e41cf0ec297f9586097c5dbf.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug +/usr/lib/debug/.build-id/f9 40755 root:root +/usr/lib/debug/.build-id/f9/57033fa22d1940a71e288af94e86e94cdd5188 120777 root:root ../../../libcudd.so.0 +/usr/lib/debug/.build-id/f9/57033fa22d1940a71e288af94e86e94cdd5188.debug 120777 root:root ../../usr/lib/libcudd.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/92 40755 root:root +File: /usr/lib/debug/.build-id/92/4a85987021c3f643cf2d798563c9335ca4db54 120777 root:root ../../../libdddmp.so.0 +File: /usr/lib/debug/.build-id/92/4a85987021c3f643cf2d798563c9335ca4db54.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug +File: /usr/lib/debug/.build-id/b1 40755 root:root +File: /usr/lib/debug/.build-id/b1/ebb9dca26a35607dff062cce0a500d7b6dff90 120777 root:root ../../../libst.so.0 +File: /usr/lib/debug/.build-id/b1/ebb9dca26a35607dff062cce0a500d7b6dff90.debug 120777 root:root ../../usr/lib/libst.so.0.debug +File: /usr/lib/debug/.build-id/b9 40755 root:root +File: /usr/lib/debug/.build-id/b9/16e956e62d9664892ddf7bfc89cc19c8ce12ab 120777 root:root ../../../libepd.so.0 +File: /usr/lib/debug/.build-id/b9/16e956e62d9664892ddf7bfc89cc19c8ce12ab.debug 120777 root:root ../../usr/lib/libepd.so.0.debug +File: /usr/lib/debug/.build-id/c5 40755 root:root +File: /usr/lib/debug/.build-id/c5/b507bfb7b83a251e20b66eae928f898483c2f8 120777 root:root ../../../libmtr.so.0 +File: /usr/lib/debug/.build-id/c5/b507bfb7b83a251e20b66eae928f898483c2f8.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug +File: /usr/lib/debug/.build-id/f1 40755 root:root +File: /usr/lib/debug/.build-id/f1/ffd65ec6f34ce9e41cf0ec297f9586097c5dbf 120777 root:root ../../../libmnem.so.0 +File: /usr/lib/debug/.build-id/f1/ffd65ec6f34ce9e41cf0ec297f9586097c5dbf.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug +File: /usr/lib/debug/.build-id/f9 40755 root:root +File: /usr/lib/debug/.build-id/f9/57033fa22d1940a71e288af94e86e94cdd5188 120777 root:root ../../../libcudd.so.0 +File: /usr/lib/debug/.build-id/f9/57033fa22d1940a71e288af94e86e94cdd5188.debug 120777 root:root ../../usr/lib/libcudd.so.0.debug +File: /usr/lib/debug/usr/lib/libcudd.so.0.debug 100644 root:root bc1233230b9879ed0c0af8683c2cff8d +File: /usr/lib/debug/usr/lib/libdddmp.so.0.debug 100644 root:root 7f5b252f7062f711e0778f4a733f0b79 +File: /usr/lib/debug/usr/lib/libepd.so.0.debug 100644 root:root 75b3a9f128f036a0c6d0254c571a92d3 +File: /usr/lib/debug/usr/lib/libmnem.so.0.debug 100644 root:root fcd9cdcf254c92471dee7a563123d33e +File: /usr/lib/debug/usr/lib/libmtr.so.0.debug 100644 root:root 3e3bef7063b0a58dc75b41f4dd1193bf +File: /usr/lib/debug/usr/lib/libst.so.0.debug 100644 root:root 269d61c731b71bbc474b8052ff9e6f1b 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: 79edcb3aca22a708324bb15c9ec0ce1b304c505da57058d64e211f0f0c01d80188b975de46b5b4ec7ae730810dc1a1cee7ef49c5c4175db8636f77b3dd309938