<86>Aug 12 09:29:53 userdel[1029391]: delete user 'rooter'
<86>Aug 12 09:29:53 userdel[1029391]: removed group 'rooter' owned by 'rooter'
<86>Aug 12 09:29:53 userdel[1029391]: removed shadow group 'rooter' owned by 'rooter'
<86>Aug 12 09:29:53 groupadd[1029406]: group added to /etc/group: name=rooter, GID=627
<86>Aug 12 09:29:53 groupadd[1029406]: group added to /etc/gshadow: name=rooter
<86>Aug 12 09:29:53 groupadd[1029406]: new group: name=rooter, GID=627
<86>Aug 12 09:29:53 useradd[1029415]: new user: name=rooter, UID=627, GID=627, home=/root, shell=/bin/bash
<86>Aug 12 09:29:53 userdel[1029435]: delete user 'builder'
<86>Aug 12 09:29:53 userdel[1029435]: removed group 'builder' owned by 'builder'
<86>Aug 12 09:29:53 userdel[1029435]: removed shadow group 'builder' owned by 'builder'
<86>Aug 12 09:29:53 groupadd[1029451]: group added to /etc/group: name=builder, GID=628
<86>Aug 12 09:29:53 groupadd[1029451]: group added to /etc/gshadow: name=builder
<86>Aug 12 09:29:53 groupadd[1029451]: new group: name=builder, GID=628
<86>Aug 12 09:29:53 useradd[1029463]: new user: name=builder, UID=628, GID=628, home=/usr/src, shell=/bin/bash
<13>Aug 12 09:29:55 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>Aug 12 09:29:56 rpmi: gcc-c++-common-1.4.25-alt1 sisyphus+255450.100.1.1 1595851517 installed
<13>Aug 12 09:29:57 rpmi: libstdc++9-devel-9.3.1-alt1 sisyphus+251917.40.3.1 1589812684 installed
<13>Aug 12 09:29:58 rpmi: gcc9-c++-9.3.1-alt1 sisyphus+251917.40.3.1 1589812684 installed
<13>Aug 12 09:29:58 rpmi: gcc-c++-9-alt2 sisyphus+251923.100.2.2 1589881401 installed
<13>Aug 12 09:29:58 rpmi: libstdc++-devel-9-alt2 sisyphus+251923.100.2.2 1589881406 installed
Building target platforms: i586
Building for target i586
Wrote: /usr/src/in/nosrpm/cudd-2.5.1-alt3.nosrc.rpm
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.53251
+ 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.53251
+ 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 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export FFLAGS
+ make -j8 build
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1'
sh ./setup.sh
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1'
Making util ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC
In file included from /usr/include/string.h:508,
                 from cstringstream.c:49:
In function 'strncpy',
    inlined from 'appendStringStringStream' at cstringstream.c:141:3:
/usr/include/bits/string_fortified.h:106:10: warning: '__builtin_strncpy' output truncated before terminating nul copying as many bytes from a string as its length [-Wstringop-truncation]
  106 |   return __builtin___strncpy_chk (__dest, __src, __len, __bos (__dest));
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cstringstream.c: In function 'appendStringStringStream':
cstringstream.c:138:16: note: length computed here
  138 |   size_t len = strlen(s);
      |                ^~~~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  mtrBasic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  mtrGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c st.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c epd.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddInv.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddNeg.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddAddIte.c: In function 'cuddAddIteRecur':
cuddAddIte.c:529:24: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized]
  529 |     r = (t == e) ? t : cuddUniqueInter(dd,index,t,e);
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddApply.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAnneal.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBddCorr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddApa.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBridge.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddBddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddBddIte.c: In function 'cuddBddIteRecur':
cuddBddIte.c:853:24: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized]
  853 |     r = (t == e) ? t : cuddUniqueInter(dd,index,t,e);
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddClip.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCheck.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddAPI.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddApprox.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddExact.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddGenetic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddCompose.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddEssent.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddInit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddDecomp.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddDecomp.c: In function 'BuildConjuncts':
cuddDecomp.c:1692:28: warning: 'factorsNnv' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1692 |     Conjuncts *factorsNv, *factorsNnv, *factors;
      |                            ^~~~~~~~~~
cuddDecomp.c:1844:6: warning: 'factorsNv' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1844 |      Cudd_RecursiveDeref(dd, factorsNv->g);
      |      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddInteract.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddExport.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddHarwell.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddHarwell.c: In function 'Cudd_addHarwell':
cuddHarwell.c:143:33: warning: 'lyn' may be used uninitialized in this function [-Wmaybe-uninitialized]
  143 |     DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */
      |                                 ^~~
cuddHarwell.c:143:20: warning: 'ly' may be used uninitialized in this function [-Wmaybe-uninitialized]
  143 |     DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */
      |                    ^~
cuddHarwell.c:143:26: warning: 'lxn' may be used uninitialized in this function [-Wmaybe-uninitialized]
  143 |     DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */
      |                          ^~~
cuddHarwell.c:143:14: warning: 'lx' may be used uninitialized in this function [-Wmaybe-uninitialized]
  143 |     DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */
      |              ^~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLiteral.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLevelQ.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddGenCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddGroup.c: In function 'ddGroupMove':
cuddGroup.c:1569:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1569 |     move->y = swapy;
      |     ~~~~~~~~^~~~~~~
cuddGroup.c:1568:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1568 |     move->x = swapx;
      |     ~~~~~~~~^~~~~~~
cuddGroup.c: In function 'ddReorderChildren':
cuddGroup.c:465:8: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized]
  465 |     if (upper == -1)
      |        ^
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddRef.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddRead.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddLinear.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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;
      |            ^~~~~~~~
cuddLinear.c:451:13: warning: 'last' may be used uninitialized in this function [-Wmaybe-uninitialized]
  451 |  last->next = NULL;
      |             ^
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSplit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddReorder.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddReorder.c: In function 'cuddSwapping':
cuddReorder.c:653:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized]
  653 |      modulo = pivot - lower - 1;
      |               ~~~~~~^~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSat.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddPriority.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddPriority.c: In function 'Cudd_Inequality':
cuddPriority.c:857:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
  857 |   if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]);
      |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c:856:36: warning: 'newMap[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
  856 |   if (newIndex[0] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[0]);
      |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c:855:33: warning: 'map[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
  855 |   if (index[1] != invalidIndex) Cudd_IterDerefBdd(dd, map[1]);
      |                                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c:854:33: warning: 'map[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
  854 |   if (index[0] != invalidIndex) Cudd_IterDerefBdd(dd, map[0]);
      |                                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c: In function 'Cudd_Disequality':
cuddPriority.c:1045:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1045 |   if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]);
      |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c:1044:36: warning: 'newMap[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1044 |   if (newIndex[0] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[0]);
      |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c:1043:33: warning: 'map[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1043 |   if (index[1] != invalidIndex) Cudd_IterDerefBdd(dd, map[1]);
      |                                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c:1042:33: warning: 'map[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1042 |   if (index[0] != invalidIndex) Cudd_IterDerefBdd(dd, map[0]);
      |                                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cuddPriority.c: In function 'cuddCProjectionRecur':
cuddPriority.c:1477:36: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1477 |  res = cuddBddIteRecur(dd, dd->vars[index], res1, res2);
      |                                    ^
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSubsetHB.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddSubsetSP.c: In function 'BuildSubsetBdd':
cuddSubsetSP.c:1430:18: warning: 'NnvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1430 |   ((NvPathLength == NnvPathLength) && (tiebreakChild == 1))) {
      |    ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
cuddSubsetSP.c:1488:12: warning: 'regNnv' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1488 |        if (st_insert(info->maxpathTable, regChild,
      |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1489 |        NULL) == ST_OUT_OF_MEM) {
      |        ~~~~~
cuddSubsetSP.c:1430:18: warning: 'NvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1430 |   ((NvPathLength == NnvPathLength) && (tiebreakChild == 1))) {
      |    ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddCount.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddWindow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddSymmetry.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddSymmetry.c: In function 'ddSymmGroupMove':
cuddSymmetry.c:1538:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1538 |     move->y = swapy;
      |     ~~~~~~~~^~~~~~~
cuddSymmetry.c:1537:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1537 |     move->x = swapx;
      |     ~~~~~~~~^~~~~~~
cuddSymmetry.c:1539:16: warning: 'size' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1539 |     move->size = size;
      |     ~~~~~~~~~~~^~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddIsop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddLin.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddZddGroup.c: In function 'zddGroupMove':
cuddZddGroup.c:1154:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1154 |     move->y = swapy;
      |     ~~~~~~~~^~~~~~~
cuddZddGroup.c:1153:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1153 |     move->x = swapx;
      |     ~~~~~~~~^~~~~~~
cuddZddGroup.c: In function 'zddReorderChildren':
cuddZddGroup.c:441:8: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized]
  441 |     if (upper == -1)
      |        ^
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddTable.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddTable.c: In function 'ddResizeTable':
cuddTable.c:2587:33: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized]
 2587 |     int *newperm, *newinvperm, *newmap;
      |                                 ^~~~~~
cuddTable.c: In function 'cuddInsertSubtables':
cuddTable.c:1857:33: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1857 |     int *newperm, *newinvperm, *newmap;
      |                                 ^~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
In file included from cuddZddReord.c:77:
cuddZddReord.c: In function 'cuddZddSwapInPlace':
cuddInt.h:699:4: warning: 'newf1' may be used uninitialized in this function [-Wmaybe-uninitialized]
  699 | ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
      |    ^
cuddZddReord.c:494:13: note: 'newf1' was declared here
  494 |     DdNode *newf1, *newf0, *next;
      |             ^~~~~
cuddZddReord.c: In function 'cuddZddSwapping':
cuddZddReord.c:785:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized]
  785 |      modulo = pivot - lower - 1;
      |               ~~~~~~^~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c  cuddZddSymm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC  -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD  
cuddZddSymm.c: In function 'cuddZddSymmSiftingBackward':
cuddZddSymm.c:1465:26: warning: 'size' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1465 |  if (i_best == -1 && res == size)
      |                      ~~~~^~~~~~~
cuddZddSymm.c: In function 'zdd_group_move':
cuddZddSymm.c:1564:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1564 |     move->y = swapy;
      |     ~~~~~~~~^~~~~~~
cuddZddSymm.c:1563:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1563 |     move->x = swapx;
      |     ~~~~~~~~^~~~~~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesAndNumber':
dddmpNodeCnf.c:145:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
  145 |   int retValue, i;
      |       ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpClearVisitedCnfRecur':
dddmpNodeCnf.c:448:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
  448 |   int retValue;
      |       ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpDdNodesResetCountRecur':
dddmpNodeCnf.c:663:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
  663 |   int retValue;
      |       ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesRecur':
dddmpNodeCnf.c:701:19: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
  701 |   int indexValue, retValue;
      |                   ^~~~~~~~
dddmpNodeCnf.c: In function 'DddmpPrintBddAndNextRecur':
dddmpNodeCnf.c:896:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
  896 |   int retValue;
      |       ^~~~~~~~
At top level:
dddmpNodeCnf.c:444:1: warning: 'DddmpClearVisitedCnfRecur' defined but not used [-Wunused-function]
  444 | DddmpClearVisitedCnfRecur (
      | ^~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD    
dddmpLoad.c: In function 'DddmpCuddDdArrayLoad':
dddmpLoad.c:1112:3: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
 1112 |   fgets (buf, DDDMP_MAXSTRLEN-1,fp);
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dddmpLoad.c: In function 'DddmpBddReadHeader':
dddmpLoad.c:1276:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
 1276 |       fgets(buf,DDDMP_MAXSTRLEN,fp);
      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dddmpLoad.c:1429:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
 1429 |       fgets(buf,DDDMP_MAXSTRLEN,fp);
      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -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 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrShort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC 
In file included from bnet.h:60,
                 from bnet.c:49:
bnet.c: In function 'Bnet_BuildNodeBDD':
../include/cudd.h:373:55: warning: 'phase[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
  373 | #define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c)))
      |                                                       ^
bnet.c:1909:9: note: 'phase[1]' was declared here
 1909 |     int phase[2];
      |         ^~~~~
In file included from bnet.h:60,
                 from bnet.c:49:
../include/cudd.h:373:55: warning: 'phase[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
  373 | #define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c)))
      |                                                       ^
bnet.c:1909:9: note: 'phase[0]' was declared here
 1909 |     int phase[2];
      |         ^~~~~
bnet.c:2010:40: warning: 'mux[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
 2010 |     if (!st_lookup(hash, nd->inputs[mux[1]], &auxnd)) {
      |                                     ~~~^~~
bnet.c:1908:9: note: 'mux[1]' was declared here
 1908 |     int mux[2];
      |         ^~~
bnet.c:1989:40: warning: 'mux[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
 1989 |     if (!st_lookup(hash, nd->inputs[mux[0]], &auxnd)) {
      |                                     ~~~^~~
bnet.c:1908:9: note: 'mux[0]' was declared here
 1908 |     int mux[2];
      |         ^~~
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 -march=i586 -mtune=generic -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC 
ntr.c: In function 'Ntr_buildTR':
ntr.c:404:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  404 |  if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |  ^~
ntr.c:404:33: 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:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  455 |  if (tmp == NULL) goto endgame; Cudd_Ref(tmp);
      |  ^~
ntr.c:455:33: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  480 |      if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |      ^~
ntr.c:480:37: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  485 |      if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |      ^~
ntr.c:485:37: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  508 |   if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |   ^~
ntr.c:508:34: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  513 |   if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |   ^~
ntr.c:513:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1026 |      if (tmp == NULL) return(0); Cudd_Ref(tmp);
      |      ^~
ntr.c:1026:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1029 |      if (neW == NULL) return(0); Cudd_Ref(neW);
      |      ^~
ntr.c:1029:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1082 |      if (tmp == NULL) return(0); Cudd_Ref(tmp);
      |      ^~
ntr.c:1082:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1085 |      if (neW == NULL) return(0); Cudd_Ref(neW);
      |      ^~
ntr.c:1085:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1977 |      if (abs == NULL) return(NULL); Cudd_Ref(abs);
      |      ^~
ntr.c:1977:37: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1983 |   if (positive == NULL) return(NULL); Cudd_Ref(positive);
      |   ^~
ntr.c:1983:39: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1985 |   if (absabs == NULL) return(NULL); Cudd_Ref(absabs);
      |   ^~
ntr.c:1985:37: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1988 |   if (phi == NULL) return(NULL); Cudd_Ref(phi);
      |   ^~
ntr.c:1988:34: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1992 |   if (exnor == NULL) return(NULL); Cudd_Ref(exnor);
      |   ^~
ntr.c:1992:36: 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:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1999 |   if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |   ^~
ntr.c:1999:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2024 |      if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |      ^~
ntr.c:2024:37: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2315 |      if (positive == NULL) return(-1); Cudd_Ref(positive);
      |      ^~
ntr.c:2315:40: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2317 |      if (abs == NULL) return(-1); Cudd_Ref(abs);
      |      ^~
ntr.c:2317:35: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2319 |      if (phi == NULL) return(-1); Cudd_Ref(phi);
      |      ^~
ntr.c:2319:35: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2362 |      if (abs == NULL) return(-1); Cudd_Ref(abs);
      |      ^~
ntr.c:2362:35: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2482 |      if (abs == NULL) return(NULL); Cudd_Ref(abs);
      |      ^~
ntr.c:2482:37: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2484 |      if (positive == NULL) return(NULL); Cudd_Ref(positive);
      |      ^~
ntr.c:2484:42: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2486 |      if (phi == NULL) return(NULL); Cudd_Ref(phi);
      |      ^~
ntr.c:2486:37: 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:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2498 |       if (tmp == NULL) return(NULL); Cudd_Ref(tmp);
      |       ^~
ntr.c:2498:38: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2597 |      if (xnor == NULL) return(0); Cudd_Ref(xnor);
      |      ^~
ntr.c:2597:35: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2599 |      if (tmp == NULL) return(0); Cudd_Ref(tmp);
      |      ^~
ntr.c:2599:34: 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:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2652 |  if (support == NULL) return(0); Cudd_Ref(support);
      |  ^~
ntr.c:2652:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2796 |      if (tmp == NULL) return(0); Cudd_Ref(tmp);
      |      ^~
ntr.c:2796:34: 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:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2801 |      if (tmp == NULL) return(0); Cudd_Ref(tmp);
      |      ^~
ntr.c:2801:34: 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:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 2811 |  if (tmp == NULL) return(0); Cudd_Ref(tmp);
      |  ^~
ntr.c:2811:30: 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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrMflow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -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 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export FFLAGS
+ make -j8 nanotrav
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1'
sh ./setup.sh
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1'
Making util ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:35: warning: ignoring prerequisites on suffix rule definition
Makefile:44: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: 'libutil.a' is up to date.
Making mtr ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:69: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:60: warning: ignoring prerequisites on suffix rule definition
Makefile:69: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: 'libmtr.so' is up to date.
Making st ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
make[1]: 'libst.so' is up to date.
Making epd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:37: warning: ignoring prerequisites on suffix rule definition
Makefile:46: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
make[1]: 'libepd.so' is up to date.
Making cudd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:91: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:82: warning: ignoring prerequisites on suffix rule definition
Makefile:91: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: 'libcudd.so' is up to date.
Making dddmp ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:202: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:193: warning: ignoring prerequisites on suffix rule definition
Makefile:202: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: 'libdddmp.so' is up to date.
Making nanotrav ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:80: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:67: warning: ignoring prerequisites on suffix rule definition
Makefile:80: warning: ignoring prerequisites on suffix rule definition
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: 'nanotrav' is up to date.
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC'
+ export FFLAGS
+ make -j8 -C mnemosyne
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
cc -pipe -frecord-gcc-switches -Wall -g -O2 -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:3: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration]
   97 |   exit(1);
      |   ^~~~
mnemalyse.c:97:3: warning: incompatible implicit declaration of built-in function 'exit'
mnemalyse.c:39:1: note: include '<stdlib.h>' or provide a declaration of 'exit'
   38 | #include "mnemconf.h"
  +++ |+#include <stdlib.h>
   39 | 
mnemalyse.c:102:3: warning: incompatible implicit declaration of built-in function 'exit'
  102 |   exit(1);
      |   ^~~~
mnemalyse.c:102:3: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:113:4: warning: incompatible implicit declaration of built-in function 'exit'
  113 |    exit(1);
      |    ^~~~
mnemalyse.c:113:4: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:130:13: warning: implicit declaration of function 'atoi' [-Wimplicit-function-declaration]
  130 |   sp->map = atoi(cpmap);
      |             ^~~~
mnemalyse.c:142:32: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration]
  142 |    sp->dat = malloc((unsigned)(strlen(cpfnam) + 1));
      |                                ^~~~~~
mnemalyse.c:142:32: warning: incompatible implicit declaration of built-in function 'strlen'
mnemalyse.c:39:1: note: include '<string.h>' or provide a declaration of 'strlen'
   38 | #include "mnemconf.h"
  +++ |+#include <string.h>
   39 | 
mnemalyse.c:145:5: warning: incompatible implicit declaration of built-in function 'exit'
  145 |     exit(1);
      |     ^~~~
mnemalyse.c:145:5: note: include '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:147:10: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
  147 |    (void)strcpy(sp->dat,cpfnam);
      |          ^~~~~~
mnemalyse.c:147:10: warning: incompatible implicit declaration of built-in function 'strcpy'
mnemalyse.c:147:10: note: include '<string.h>' or provide a declaration of 'strcpy'
mnemalyse.c:176:8: 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:2: warning: incompatible implicit declaration of built-in function 'exit'
  196 |  exit(0);
      |  ^~~~
mnemalyse.c:196:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
At top level:
mnemalyse.c:36:13: 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 -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'
cc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR    -c -o mnemosyne.o mnemosyne.c
mnemosyne.c: In function 'saveptr':
mnemosyne.c:188:5: 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:5: 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:7: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
  338 |   if(!strcmp(s->labl,nam) && s->lineno == lin)
      |       ^~~~~~
mnemosyne.c: In function 'mnem_free':
mnemosyne.c:612:4: warning: suggest explicit braces to avoid ambiguous 'else' [-Wdangling-else]
  612 |  if((rec_state & REC_ON) && !(rec_state & REC_ERR))
      |    ^
At top level:
mnemosyne.c:38:13: warning: 'rcsid' defined but not used [-Wunused-variable]
   38 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemosyne.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp";
      |             ^~~~~
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
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.6057
+ 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
+ cd cudd-2.5.1
+ install -d /usr/src/tmp/cudd-buildroot/usr/bin /usr/src/tmp/cudd-buildroot/usr/include/cudd /usr/src/tmp/cudd-buildroot/usr/lib /usr/src/tmp/cudd-buildroot/usr/share/man/man1
+ install -m755 nanotrav/nanotrav /usr/src/tmp/cudd-buildroot/usr/bin/
+ install -m755 nanotrav/nanotrav.1 /usr/src/tmp/cudd-buildroot/usr/share/man/man1/
+ install -m644 include/cstringstream.h include/cudd.h include/cuddInt.h include/cuddObj.hh include/dddmp.h include/epd.h include/mnemosyne.h include/mtr.h include/st.h include/util.h /usr/src/tmp/cudd-buildroot/usr/include/cudd/
+ cp -P cudd/libcudd.so cudd/libcudd.so.0 dddmp/libdddmp.so dddmp/libdddmp.so.0 epd/libepd.so epd/libepd.so.0 mnemosyne/libmnem.so mnemosyne/libmnem.so.0 mtr/libmtr.so mtr/libmtr.so.0 st/libst.so st/libst.so.0 /usr/src/tmp/cudd-buildroot/usr/lib/
+ ln -s cudd/doc cudd.doc
+ ln -s dddmp/RELEASE_NOTES RELEASE_NOTES.dddmp
+ ln -s dddmp/doc dddmp.doc
+ ln -s mnemosyne/README README.mnemosyne
+ ln -s mtr/doc mtr.doc
+ ln -s nanotrav/README nanotrav.README
+ ln -s nanotrav/doc nanotrav.html
+ ln -s st/doc st.doc
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/cudd-buildroot (auto)
mode of './usr/lib/libst.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libmtr.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libmnem.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libepd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libdddmp.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib/libcudd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Verifying and fixing files in /usr/src/tmp/cudd-buildroot (binconfig,pkgconfig,libtool,desktop)
Checking contents of files in /usr/src/tmp/cudd-buildroot/ (default)
Compressing files in /usr/src/tmp/cudd-buildroot (auto)
mode of '/usr/src/tmp/cudd-buildroot/usr/share/man/man1/nanotrav.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Adjusting library links in /usr/src/tmp/cudd-buildroot
./usr/lib:
	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
Hardlinking identical .pyc and .pyo files
Processing files: cudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.51509
+ 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.ePXXBJ
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.bUPBSI
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,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.3.4), 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:ifLGK5z6nZnMJycn, 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.vTF3ZH
Creating cudd-debuginfo package
Processing files: libcudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.27037
+ 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.5r97SL
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,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.lI6eZK
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,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.0DJLjL
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.7OgLZL
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.qjdNrM
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services)
/usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh:70:10: fatal error: cstdio: No such file or directory
   70 | #include <cstdio>
      |          ^~~~~~~~
compilation terminated.
cpp.req: /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh: cpp failed, trying c++ mode
Requires: libcudd = 2.5.1-alt3, /usr/lib/libcudd.so.0, /usr/lib/libdddmp.so.0, /usr/lib/libepd.so.0, /usr/lib/libmnem.so.0, /usr/lib/libmtr.so.0, /usr/lib/libst.so.0
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.mzEICJ
Processing files: libcudd-devel-docs-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.33676
+ 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.5W3vPK
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.rZcxyI
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,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.hjXUsI
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.e39R8L
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.bL4f4H
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.SPcC2J
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 6 extra deps from cudd due to repentancy on libcudd
Removing 1 extra deps from cudd-debuginfo due to repentancy on libcudd-debuginfo
Wrote: /usr/src/RPM/RPMS/i586/cudd-2.5.1-alt3.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/libcudd-2.5.1-alt3.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/libcudd-devel-2.5.1-alt3.i586.rpm
Wrote: /usr/src/RPM/RPMS/noarch/libcudd-devel-docs-2.5.1-alt3.noarch.rpm
Wrote: /usr/src/RPM/RPMS/i586/cudd-debuginfo-2.5.1-alt3.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/libcudd-debuginfo-2.5.1-alt3.i586.rpm
32.44user 3.77system 0:26.65elapsed 135%CPU (0avgtext+0avgdata 40116maxresident)k
0inputs+0outputs (0major+1365937minor)pagefaults 0swaps
38.39user 6.70system 0:35.26elapsed 127%CPU (0avgtext+0avgdata 110352maxresident)k
8inputs+0outputs (0major+1811740minor)pagefaults 0swaps
--- libcudd-2.5.1-alt3.i586.rpm.repo	2018-08-12 07:08:18.000000000 +0000
+++ libcudd-2.5.1-alt3.i586.rpm.hasher	2020-08-12 09:30:27.177858919 +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