<86>Feb 22 07:24:29 userdel[3927263]: delete user 'rooter' <86>Feb 22 07:24:29 userdel[3927263]: removed group 'rooter' owned by 'rooter' <86>Feb 22 07:24:29 userdel[3927263]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 22 07:24:29 groupadd[3927272]: group added to /etc/group: name=rooter, GID=1811 <86>Feb 22 07:24:29 groupadd[3927272]: group added to /etc/gshadow: name=rooter <86>Feb 22 07:24:29 groupadd[3927272]: new group: name=rooter, GID=1811 <86>Feb 22 07:24:29 useradd[3927279]: new user: name=rooter, UID=1811, GID=1811, home=/root, shell=/bin/bash, from=none <86>Feb 22 07:24:29 userdel[3927299]: delete user 'builder' <86>Feb 22 07:24:29 userdel[3927299]: removed group 'builder' owned by 'builder' <86>Feb 22 07:24:29 userdel[3927299]: removed shadow group 'builder' owned by 'builder' <86>Feb 22 07:24:29 groupadd[3927311]: group added to /etc/group: name=builder, GID=1812 <86>Feb 22 07:24:29 groupadd[3927311]: group added to /etc/gshadow: name=builder <86>Feb 22 07:24:29 groupadd[3927311]: new group: name=builder, GID=1812 <86>Feb 22 07:24:29 useradd[3927327]: new user: name=builder, UID=1812, GID=1812, home=/usr/src, shell=/bin/bash, from=none <13>Feb 22 07:24:32 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Feb 22 07:24:33 rpmi: gcc-c++-common-1.4.28-alt1 sisyphus+348678.100.1.1 1716396142 installed <13>Feb 22 07:24:33 rpmi: libstdc++14-devel-14.2.1-alt1 sisyphus+360995.100.1.1 1730131612 installed <13>Feb 22 07:24:34 rpmi: gcc14-c++-14.2.1-alt1 sisyphus+360995.100.1.1 1730131612 installed <13>Feb 22 07:24:34 rpmi: gcc-c++-14-alt1 sisyphus+360995.300.1.1 1730139881 installed <13>Feb 22 07:24:34 rpmi: libstdc++-devel-14-alt1 sisyphus+360995.300.1.1 1730139222 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/libcudd-3.0.0-alt1.nosrc.rpm (w1.gzdio) Installing libcudd-3.0.0-alt1.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.67020 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf libcudd-3.0.0 + echo 'Source #0 (libcudd-3.0.0.tar):' Source #0 (libcudd-3.0.0.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/libcudd-3.0.0.tar + cd libcudd-3.0.0 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.67020 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libcudd-3.0.0 + autoreconf -fisv autoreconf-default: export WARNINGS= autoreconf-default: Entering directory '.' autoreconf-default: configure.ac: not using Gettext autoreconf-default: running: aclocal --force -I m4 autoreconf-default: configure.ac: tracing autoreconf-default: running: libtoolize --force --install libtoolize-default: putting auxiliary files in AC_CONFIG_AUX_DIR, 'build-aux'. libtoolize-default: linking file 'build-aux/config.guess' libtoolize-default: linking file 'build-aux/config.sub' libtoolize-default: linking file 'build-aux/install-sh' libtoolize-default: linking file 'build-aux/ltmain.sh' libtoolize-default: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'. libtoolize-default: linking file 'm4/libtool.m4' libtoolize-default: linking file 'm4/ltoptions.m4' libtoolize-default: linking file 'm4/ltsugar.m4' libtoolize-default: linking file 'm4/ltversion.m4' libtoolize-default: linking file 'm4/lt~obsolete.m4' autoreconf-default: configure.ac: not using Intltool autoreconf-default: configure.ac: not using Gtkdoc autoreconf-default: running: aclocal --force -I m4 autoreconf-default: running: /usr/bin/autoconf-2.71 --force configure.ac:131: warning: The macro `AC_TRY_RUN' is obsolete. configure.ac:131: You should run autoupdate. ./lib/autoconf/general.m4:2997: AC_TRY_RUN is expanded from... lib/m4sugar/m4sh.m4:692: _AS_IF_ELSE is expanded from... lib/m4sugar/m4sh.m4:699: AS_IF is expanded from... ./lib/autoconf/general.m4:2249: AC_CACHE_VAL is expanded from... configure.ac:131: the top level autoreconf-default: running: /usr/bin/autoheader-2.71 --force autoreconf-default: running: automake --add-missing --force-missing configure.ac:34: installing 'build-aux/compile' configure.ac:9: installing 'build-aux/missing' Makefile.am: installing 'build-aux/depcomp' autoreconf-default: Leaving directory '.' + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS=' -march=i586 -mtune=generic' + export ASFLAGS + export lt_cv_deplibs_check_method=pass_all + lt_cv_deplibs_check_method=pass_all + readlink -e -- ./configure + xargs -ri dirname -- '{}' + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + sort -u + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + configure_runstatedir_flags= + grep -qF runstatedir=DIR ./configure + configure_runstatedir_flags=--runstatedir=/var/run + ./configure --build=i586-alt-linux --host=i586-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --runstatedir=/var/run --without-included-gettext --enable-shared --disable-static --enable-dddmp --disable-silent-rules --with-system-qsort configure: WARNING: unrecognized options: --without-included-gettext checking build system type... i586-alt-linux-gnu checking host system type... i586-alt-linux-gnu checking for a BSD-compatible install... /usr/bin/ginstall -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for i586-alt-linux-gcc... i586-alt-linux-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether i586-alt-linux-gcc accepts -g... yes checking for i586-alt-linux-gcc option to enable C11 features... none needed checking whether i586-alt-linux-gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of i586-alt-linux-gcc... none checking for i586-alt-linux-g++... i586-alt-linux-g++ checking whether the compiler supports GNU C++... yes checking whether i586-alt-linux-g++ accepts -g... yes checking for i586-alt-linux-g++ option to enable C++11 features... none needed checking dependency style of i586-alt-linux-g++... none checking for i586-alt-linux-ar... no checking for i586-alt-linux-lib... no checking for i586-alt-linux-link... no checking for ar... ar checking the archiver (ar) interface... ar checking how to print strings... printf checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by i586-alt-linux-gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert i586-alt-linux-gnu file names to i586-alt-linux-gnu format... func_convert_file_noop checking how to convert i586-alt-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for i586-alt-linux-file... no checking for file... file checking for i586-alt-linux-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... (cached) pass_all checking for i586-alt-linux-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alt-linux-ar... ar checking for archiver @FILE support... @ checking for i586-alt-linux-strip... no checking for strip... strip checking for i586-alt-linux-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from i586-alt-linux-gcc object... ok checking for sysroot... no checking for a working dd... /usr/bin/dd checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 checking for i586-alt-linux-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if i586-alt-linux-gcc supports -fno-rtti -fno-exceptions... no checking for i586-alt-linux-gcc option to produce PIC... -fPIC -DPIC checking if i586-alt-linux-gcc PIC flag -fPIC -DPIC works... yes checking if i586-alt-linux-gcc static flag -static works... no checking if i586-alt-linux-gcc supports -c -o file.o... yes checking if i586-alt-linux-gcc supports -c -o file.o... (cached) yes checking whether the i586-alt-linux-gcc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... i586-alt-linux-g++ -E checking for ld used by i586-alt-linux-g++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the i586-alt-linux-g++ linker (/usr/bin/ld) supports shared libraries... yes checking for i586-alt-linux-g++ option to produce PIC... -fPIC -DPIC checking if i586-alt-linux-g++ PIC flag -fPIC -DPIC works... yes checking if i586-alt-linux-g++ static flag -static works... no checking if i586-alt-linux-g++ supports -c -o file.o... yes checking if i586-alt-linux-g++ supports -c -o file.o... (cached) yes checking whether the i586-alt-linux-g++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether byte ordering is bigendian... no checking for doxygen... no configure: WARNING: Doxygen not found - continuing without Doxygen support checking for pdflatex... no configure: WARNING: pdflatex not found - unable to compile manual to PDF checking for makeindex... no configure: WARNING: makeindex not found - unable to compile manual to PDF checking for library containing pow... -lm checking for pthread_create in -lpthread... yes checking for library containing WSAStartup... no checking for library containing GetProcessMemoryInfo... no checking for float.h... yes checking for inttypes.h... (cached) yes checking for limits.h... yes checking for stddef.h... yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for assert.h... yes checking for math.h... yes checking for unistd.h... (cached) yes checking for sys/time.h... yes checking for sys/times.h... yes checking for sys/resource.h... yes checking for sys/wait.h... yes checking for working C++ thread header... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for size_t... yes checking for uint16_t... yes checking for uint32_t... yes checking for ptrdiff_t... yes checking size of int... 4 checking size of long... 4 checking size of void *... 4 checking size of long double... 12 checking whether we are building for a Win32 host... no checking whether enough of C++11 is supported... yes checking for pow... yes checking for sqrt... yes checking for strchr... yes checking for strstr... yes checking for powl... yes checking for gethostname... yes checking for getrlimit... yes checking for getrusage... yes checking for sysconf... yes checking for +Infinity (IEEE 754 floating point)... no checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating dddmp/exp/test1.sh config.status: creating dddmp/exp/test2.sh config.status: creating dddmp/exp/test3.sh config.status: creating dddmp/exp/test4.sh config.status: creating dddmp/exp/test5.sh config.status: creating dddmp/exp/test6.sh config.status: creating dddmp/exp/test7.sh config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands configure: WARNING: unrecognized options: --without-included-gettext -------------------------------------------------- Configuration summary for cudd 3.0.0 Build system : i586-alt-linux-gnu Host system : i586-alt-linux-gnu Prefix : '/usr' Compilers : 'i586-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' : 'i586-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' Shared library : yes dddmp enabled : yes obj enabled : no -------------------------------------------------- + make -j16 make all-am make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddInv.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddInv.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddFind.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddFind.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAndAbs.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAndAbs.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddWalsh.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddWalsh.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddAbs.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddAbs.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddIte.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddIte.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddApply.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddApply.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAddNeg.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAddNeg.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAnneal.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAnneal.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddBddAbs.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddBddAbs.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddApa.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddApa.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddBddCorr.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddBddCorr.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddBridge.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddBridge.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddBddIte.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddBddIte.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddApprox.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddApprox.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddClip.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddClip.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddCache.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddCache.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddCof.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddCof.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddAPI.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddAPI.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddCheck.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddCheck.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddGenetic.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddGenetic.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddExact.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddExact.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddHarwell.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddHarwell.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddInit.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddInit.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddCompose.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddCompose.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddEssent.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddEssent.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddExport.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddExport.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddDecomp.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddDecomp.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddInteract.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddInteract.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddGroup.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddGroup.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddGenCof.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddGenCof.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddLevelQ.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddLevelQ.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddLiteral.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddLiteral.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddLCache.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddLCache.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddRead.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddRead.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddMatMult.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddMatMult.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddLinear.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddLinear.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSolve.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSolve.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddRef.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddRef.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSign.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSign.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSplit.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSplit.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddReorder.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddReorder.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddPriority.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddPriority.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSat.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSat.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSubsetHB.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSubsetHB.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSubsetSP.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSubsetSP.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddCount.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddCount.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddSymmetry.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddSymmetry.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddMisc.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddMisc.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddIsop.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddIsop.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddWindow.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddWindow.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddGroup.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddGroup.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddLin.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddLin.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddFuncs.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddFuncs.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddPort.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddPort.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddReord.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddReord.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/cpu_stats.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_stats.o In file included from /usr/include/assert.h:35, from util/util.h:70, from util/cpu_stats.c:66: /usr/include/features.h:197:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] 197 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" | ^~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddTable.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddTable.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddSetop.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddSetop.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/datalimit.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-datalimit.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/cpu_time.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_time.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/cstringstream.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cstringstream.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/pipefork.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pipefork.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-prtime.lo `test -f 'util/prtime.c' || echo './'`util/prtime.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/prtime.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-prtime.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddUtil.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddUtil.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/pathsearch.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pathsearch.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/safe_mem.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-safe_mem.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddZddSymm.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddZddSymm.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/strsav.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-strsav.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/texpand.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-texpand.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cudd/libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cudd/cuddUtil.c -fPIC -DPIC -o cudd/.libs/libcudd_la-cuddUtil.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c util/ucbqsort.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-ucbqsort.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c mtr/mtrBasic.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrBasic.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o mtr/cudd_libcudd_la-mtrGroup.lo `test -f 'mtr/mtrGroup.c' || echo './'`mtr/mtrGroup.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c mtr/mtrGroup.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrGroup.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpBinary.lo `test -f 'dddmp/dddmpBinary.c' || echo './'`dddmp/dddmpBinary.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpBinary.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpBinary.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpConvert.lo `test -f 'dddmp/dddmpConvert.c' || echo './'`dddmp/dddmpConvert.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpConvert.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpConvert.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c st/st.c -fPIC -DPIC -o st/.libs/cudd_libcudd_la-st.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpNodeBdd.lo `test -f 'dddmp/dddmpNodeBdd.c' || echo './'`dddmp/dddmpNodeBdd.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpNodeBdd.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpNodeBdd.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c epd/epd.c -fPIC -DPIC -o epd/.libs/cudd_libcudd_la-epd.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpNodeAdd.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpNodeAdd.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpDbg.lo `test -f 'dddmp/dddmpDbg.c' || echo './'`dddmp/dddmpDbg.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpDbg.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpDbg.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpNodeCnf.lo `test -f 'dddmp/dddmpNodeCnf.c' || echo './'`dddmp/dddmpNodeCnf.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpNodeCnf.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpNodeCnf.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpLoadCnf.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpLoadCnf.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpStoreBdd.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreBdd.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpStoreAdd.lo `test -f 'dddmp/dddmpStoreAdd.c' || echo './'`dddmp/dddmpStoreAdd.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpStoreAdd.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreAdd.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpLoad.lo `test -f 'dddmp/dddmpLoad.c' || echo './'`dddmp/dddmpLoad.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpLoad.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpLoad.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpStoreMisc.lo `test -f 'dddmp/dddmpStoreMisc.c' || echo './'`dddmp/dddmpStoreMisc.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpStoreMisc.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreMisc.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpUtil.lo `test -f 'dddmp/dddmpUtil.c' || echo './'`dddmp/dddmpUtil.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpUtil.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpUtil.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o dddmp/cudd_libcudd_la-dddmpStoreCnf.lo `test -f 'dddmp/dddmpStoreCnf.c' || echo './'`dddmp/dddmpStoreCnf.c libtool: compile: i586-alt-linux-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c dddmp/dddmpStoreCnf.c -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreCnf.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CXX --mode=compile i586-alt-linux-g++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c -o cplusplus/libobj_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc libtool: compile: i586-alt-linux-g++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -c cplusplus/cuddObj.cc -fPIC -DPIC -o cplusplus/.libs/libobj_la-cuddObj.o make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CXX --mode=link i586-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -o cplusplus/libobj.la cplusplus/libobj_la-cuddObj.lo -lm libtool: link: ar cr cplusplus/.libs/libobj.a cplusplus/.libs/libobj_la-cuddObj.o libtool: link: ranlib cplusplus/.libs/libobj.a libtool: link: ( cd "cplusplus/.libs" && rm -f "libobj.la" && ln -s "../libobj.la" "libobj.la" ) make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /bin/sh ./libtool --tag=CXX --mode=link i586-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -release 3.0.0 -version-info 0:0:0 -no-undefined -o cudd/libcudd.la -rpath /usr/lib cudd/libcudd_la-cuddAddAbs.lo cudd/libcudd_la-cuddAddApply.lo cudd/libcudd_la-cuddAddFind.lo cudd/libcudd_la-cuddAddInv.lo cudd/libcudd_la-cuddAddIte.lo cudd/libcudd_la-cuddAddNeg.lo cudd/libcudd_la-cuddAddWalsh.lo cudd/libcudd_la-cuddAndAbs.lo cudd/libcudd_la-cuddAnneal.lo cudd/libcudd_la-cuddApa.lo cudd/libcudd_la-cuddAPI.lo cudd/libcudd_la-cuddApprox.lo cudd/libcudd_la-cuddBddAbs.lo cudd/libcudd_la-cuddBddCorr.lo cudd/libcudd_la-cuddBddIte.lo cudd/libcudd_la-cuddBridge.lo cudd/libcudd_la-cuddCache.lo cudd/libcudd_la-cuddCheck.lo cudd/libcudd_la-cuddClip.lo cudd/libcudd_la-cuddCof.lo cudd/libcudd_la-cuddCompose.lo cudd/libcudd_la-cuddDecomp.lo cudd/libcudd_la-cuddEssent.lo cudd/libcudd_la-cuddExact.lo cudd/libcudd_la-cuddExport.lo cudd/libcudd_la-cuddGenCof.lo cudd/libcudd_la-cuddGenetic.lo cudd/libcudd_la-cuddGroup.lo cudd/libcudd_la-cuddHarwell.lo cudd/libcudd_la-cuddInit.lo cudd/libcudd_la-cuddInteract.lo cudd/libcudd_la-cuddLCache.lo cudd/libcudd_la-cuddLevelQ.lo cudd/libcudd_la-cuddLinear.lo cudd/libcudd_la-cuddLiteral.lo cudd/libcudd_la-cuddMatMult.lo cudd/libcudd_la-cuddPriority.lo cudd/libcudd_la-cuddRead.lo cudd/libcudd_la-cuddRef.lo cudd/libcudd_la-cuddReorder.lo cudd/libcudd_la-cuddSat.lo cudd/libcudd_la-cuddSign.lo cudd/libcudd_la-cuddSolve.lo cudd/libcudd_la-cuddSplit.lo cudd/libcudd_la-cuddSubsetHB.lo cudd/libcudd_la-cuddSubsetSP.lo cudd/libcudd_la-cuddSymmetry.lo cudd/libcudd_la-cuddTable.lo cudd/libcudd_la-cuddUtil.lo cudd/libcudd_la-cuddWindow.lo cudd/libcudd_la-cuddZddCount.lo cudd/libcudd_la-cuddZddFuncs.lo cudd/libcudd_la-cuddZddGroup.lo cudd/libcudd_la-cuddZddIsop.lo cudd/libcudd_la-cuddZddLin.lo cudd/libcudd_la-cuddZddMisc.lo cudd/libcudd_la-cuddZddPort.lo cudd/libcudd_la-cuddZddReord.lo cudd/libcudd_la-cuddZddSetop.lo cudd/libcudd_la-cuddZddSymm.lo cudd/libcudd_la-cuddZddUtil.lo util/cudd_libcudd_la-cpu_stats.lo util/cudd_libcudd_la-cpu_time.lo util/cudd_libcudd_la-cstringstream.lo util/cudd_libcudd_la-datalimit.lo util/cudd_libcudd_la-pathsearch.lo util/cudd_libcudd_la-pipefork.lo util/cudd_libcudd_la-prtime.lo util/cudd_libcudd_la-safe_mem.lo util/cudd_libcudd_la-strsav.lo util/cudd_libcudd_la-texpand.lo util/cudd_libcudd_la-ucbqsort.lo st/cudd_libcudd_la-st.lo epd/cudd_libcudd_la-epd.lo mtr/cudd_libcudd_la-mtrBasic.lo mtr/cudd_libcudd_la-mtrGroup.lo dddmp/cudd_libcudd_la-dddmpBinary.lo dddmp/cudd_libcudd_la-dddmpConvert.lo dddmp/cudd_libcudd_la-dddmpDbg.lo dddmp/cudd_libcudd_la-dddmpLoad.lo dddmp/cudd_libcudd_la-dddmpLoadCnf.lo dddmp/cudd_libcudd_la-dddmpNodeAdd.lo dddmp/cudd_libcudd_la-dddmpNodeBdd.lo dddmp/cudd_libcudd_la-dddmpNodeCnf.lo dddmp/cudd_libcudd_la-dddmpStoreAdd.lo dddmp/cudd_libcudd_la-dddmpStoreBdd.lo dddmp/cudd_libcudd_la-dddmpStoreCnf.lo dddmp/cudd_libcudd_la-dddmpStoreMisc.lo dddmp/cudd_libcudd_la-dddmpUtil.lo -lm libtool: link: i586-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/i586-alt-linux/14/../../../crti.o /usr/lib/gcc/i586-alt-linux/14/crtbeginS.o cudd/.libs/libcudd_la-cuddAddAbs.o cudd/.libs/libcudd_la-cuddAddApply.o cudd/.libs/libcudd_la-cuddAddFind.o cudd/.libs/libcudd_la-cuddAddInv.o cudd/.libs/libcudd_la-cuddAddIte.o cudd/.libs/libcudd_la-cuddAddNeg.o cudd/.libs/libcudd_la-cuddAddWalsh.o cudd/.libs/libcudd_la-cuddAndAbs.o cudd/.libs/libcudd_la-cuddAnneal.o cudd/.libs/libcudd_la-cuddApa.o cudd/.libs/libcudd_la-cuddAPI.o cudd/.libs/libcudd_la-cuddApprox.o cudd/.libs/libcudd_la-cuddBddAbs.o cudd/.libs/libcudd_la-cuddBddCorr.o cudd/.libs/libcudd_la-cuddBddIte.o cudd/.libs/libcudd_la-cuddBridge.o cudd/.libs/libcudd_la-cuddCache.o cudd/.libs/libcudd_la-cuddCheck.o cudd/.libs/libcudd_la-cuddClip.o cudd/.libs/libcudd_la-cuddCof.o cudd/.libs/libcudd_la-cuddCompose.o cudd/.libs/libcudd_la-cuddDecomp.o cudd/.libs/libcudd_la-cuddEssent.o cudd/.libs/libcudd_la-cuddExact.o cudd/.libs/libcudd_la-cuddExport.o cudd/.libs/libcudd_la-cuddGenCof.o cudd/.libs/libcudd_la-cuddGenetic.o cudd/.libs/libcudd_la-cuddGroup.o cudd/.libs/libcudd_la-cuddHarwell.o cudd/.libs/libcudd_la-cuddInit.o cudd/.libs/libcudd_la-cuddInteract.o cudd/.libs/libcudd_la-cuddLCache.o cudd/.libs/libcudd_la-cuddLevelQ.o cudd/.libs/libcudd_la-cuddLinear.o cudd/.libs/libcudd_la-cuddLiteral.o cudd/.libs/libcudd_la-cuddMatMult.o cudd/.libs/libcudd_la-cuddPriority.o cudd/.libs/libcudd_la-cuddRead.o cudd/.libs/libcudd_la-cuddRef.o cudd/.libs/libcudd_la-cuddReorder.o cudd/.libs/libcudd_la-cuddSat.o cudd/.libs/libcudd_la-cuddSign.o cudd/.libs/libcudd_la-cuddSolve.o cudd/.libs/libcudd_la-cuddSplit.o cudd/.libs/libcudd_la-cuddSubsetHB.o cudd/.libs/libcudd_la-cuddSubsetSP.o cudd/.libs/libcudd_la-cuddSymmetry.o cudd/.libs/libcudd_la-cuddTable.o cudd/.libs/libcudd_la-cuddUtil.o cudd/.libs/libcudd_la-cuddWindow.o cudd/.libs/libcudd_la-cuddZddCount.o cudd/.libs/libcudd_la-cuddZddFuncs.o cudd/.libs/libcudd_la-cuddZddGroup.o cudd/.libs/libcudd_la-cuddZddIsop.o cudd/.libs/libcudd_la-cuddZddLin.o cudd/.libs/libcudd_la-cuddZddMisc.o cudd/.libs/libcudd_la-cuddZddPort.o cudd/.libs/libcudd_la-cuddZddReord.o cudd/.libs/libcudd_la-cuddZddSetop.o cudd/.libs/libcudd_la-cuddZddSymm.o cudd/.libs/libcudd_la-cuddZddUtil.o util/.libs/cudd_libcudd_la-cpu_stats.o util/.libs/cudd_libcudd_la-cpu_time.o util/.libs/cudd_libcudd_la-cstringstream.o util/.libs/cudd_libcudd_la-datalimit.o util/.libs/cudd_libcudd_la-pathsearch.o util/.libs/cudd_libcudd_la-pipefork.o util/.libs/cudd_libcudd_la-prtime.o util/.libs/cudd_libcudd_la-safe_mem.o util/.libs/cudd_libcudd_la-strsav.o util/.libs/cudd_libcudd_la-texpand.o util/.libs/cudd_libcudd_la-ucbqsort.o st/.libs/cudd_libcudd_la-st.o epd/.libs/cudd_libcudd_la-epd.o mtr/.libs/cudd_libcudd_la-mtrBasic.o mtr/.libs/cudd_libcudd_la-mtrGroup.o dddmp/.libs/cudd_libcudd_la-dddmpBinary.o dddmp/.libs/cudd_libcudd_la-dddmpConvert.o dddmp/.libs/cudd_libcudd_la-dddmpDbg.o dddmp/.libs/cudd_libcudd_la-dddmpLoad.o dddmp/.libs/cudd_libcudd_la-dddmpLoadCnf.o dddmp/.libs/cudd_libcudd_la-dddmpNodeAdd.o dddmp/.libs/cudd_libcudd_la-dddmpNodeBdd.o dddmp/.libs/cudd_libcudd_la-dddmpNodeCnf.o dddmp/.libs/cudd_libcudd_la-dddmpStoreAdd.o dddmp/.libs/cudd_libcudd_la-dddmpStoreBdd.o dddmp/.libs/cudd_libcudd_la-dddmpStoreCnf.o dddmp/.libs/cudd_libcudd_la-dddmpStoreMisc.o dddmp/.libs/cudd_libcudd_la-dddmpUtil.o -L/usr/lib/gcc/i586-alt-linux/14 -L/usr/lib/gcc/i586-alt-linux/14/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/i586-alt-linux/14/crtendS.o /usr/lib/gcc/i586-alt-linux/14/../../../crtn.o -g -O2 -flto=auto -march=i586 -mtune=generic -Wl,-soname -Wl,libcudd-3.0.0.so.0 -o cudd/.libs/libcudd-3.0.0.so.0.0.0 libtool: link: (cd "cudd/.libs" && rm -f "libcudd-3.0.0.so.0" && ln -s "libcudd-3.0.0.so.0.0.0" "libcudd-3.0.0.so.0") libtool: link: (cd "cudd/.libs" && rm -f "libcudd.so" && ln -s "libcudd-3.0.0.so.0.0.0" "libcudd.so") libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.20545 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/libcudd-buildroot + : + /bin/rm -rf -- /usr/src/tmp/libcudd-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd libcudd-3.0.0 + make 'INSTALL=/usr/libexec/rpm-build/install -p' install DESTDIR=/usr/src/tmp/libcudd-buildroot make: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make[1]: Entering directory '/usr/src/RPM/BUILD/libcudd-3.0.0' /usr/bin/mkdir -p '/usr/src/tmp/libcudd-buildroot/usr/lib' /bin/sh ./libtool --mode=install /usr/libexec/rpm-build/install -p cudd/libcudd.la '/usr/src/tmp/libcudd-buildroot/usr/lib' libtool: install: /usr/libexec/rpm-build/install -p cudd/.libs/libcudd-3.0.0.so.0.0.0 /usr/src/tmp/libcudd-buildroot/usr/lib/libcudd-3.0.0.so.0.0.0 libtool: install: (cd /usr/src/tmp/libcudd-buildroot/usr/lib && { ln -s -f libcudd-3.0.0.so.0.0.0 libcudd-3.0.0.so.0 || { rm -f libcudd-3.0.0.so.0 && ln -s libcudd-3.0.0.so.0.0.0 libcudd-3.0.0.so.0; }; }) libtool: install: (cd /usr/src/tmp/libcudd-buildroot/usr/lib && { ln -s -f libcudd-3.0.0.so.0.0.0 libcudd.so || { rm -f libcudd.so && ln -s libcudd-3.0.0.so.0.0.0 libcudd.so; }; }) libtool: install: /usr/libexec/rpm-build/install -p cudd/.libs/libcudd.lai /usr/src/tmp/libcudd-buildroot/usr/lib/libcudd.la libtool: warning: remember to run 'libtool --finish /usr/lib' /usr/bin/mkdir -p '/usr/src/tmp/libcudd-buildroot/usr/include' /usr/libexec/rpm-build/install -p -m 644 cudd/cudd.h dddmp/dddmp.h '/usr/src/tmp/libcudd-buildroot/usr/include' make[1]: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' make: Leaving directory '/usr/src/RPM/BUILD/libcudd-3.0.0' + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/libcudd-buildroot (auto) removed './usr/lib/libcudd.la' mode of './usr/lib/libcudd-3.0.0.so.0.0.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/libcudd-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/libcudd-buildroot/ (default) Compressing files in /usr/src/tmp/libcudd-buildroot (auto) Adjusting library links in /usr/src/tmp/libcudd-buildroot ./usr/lib: (from :0) libcudd-3.0.0.so.0 -> libcudd-3.0.0.so.0.0.0 Verifying ELF objects in /usr/src/tmp/libcudd-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) verify-elf: WARNING: ./usr/lib/libcudd-3.0.0.so.0.0.0: uses non-LFS functions: fgetpos fopen fsetpos getrlimit Splitting links to aliased files under /{,s}bin in /usr/src/tmp/libcudd-buildroot Processing files: libcudd-3.0.0-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.41637 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libcudd-3.0.0 + DOCDIR=/usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-3.0.0 + export DOCDIR + rm -rf /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-3.0.0 + /bin/mkdir -p /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-3.0.0 + cp -prL dddmp/README.dddmp RELEASE.NOTES README /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-3.0.0 + chmod -R go-w /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-3.0.0 + chmod -R a+rX /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-3.0.0 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.9WIzGd find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/libcudd-buildroot/usr/lib/libcudd-3.0.0.so.0: 816 symbols, 20 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DLdqFA find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) lib.req: WARNING: /usr/src/tmp/libcudd-buildroot/usr/lib/libcudd-3.0.0.so.0.0.0: overlinked libraries: /lib/libgcc_s.so.1 lib.req: WARNING: /usr/src/tmp/libcudd-buildroot/usr/lib/libcudd-3.0.0.so.0: overlinked libraries: /lib/libgcc_s.so.1 Provides: libcudd-3.0.0.so.0 = set:ndI1icciMSvqONMVw87pOF578Yofm0DFZi1sN5HypDYvKwSpt3LX0xliKZn8G9hVoD0NlYOpxy7PQqGfSEPgsFbifICAS92yJjVVrn1SJjq9dhGrKfMOTyt6T7DY48af6qZz0jEOghYfx6nSsWYMTAFIDp0aJ0zhYb6rZmRArxkEtPZJBmEfwkMbDtmZwPkZbviZbroq4HMI1cgYRmCDhNLIDofIxkcbZL21XXNQkRE8pCUm9pEuQ7qtJ5J2x8WwrVS8uXHRtgZmp5rcZoCO2E666DS4UaM1p1XmwbQwIrj3zw5yVQf3RDMpghsXdvOin534vWZE7t6hzMWvrxsVJUdQ3hFKTCl68vZiunD2sT9SpzOd8Ze5ymFOZDZqhm59CyPMZ5j9goq4ZAjBFgeKKeHAGq5Zewpkw9tBokDpX0771I8APlFcqobSnqKvHC1Z6lVXhu7rsE3G28SrFE3eI05YQbo0C96j2RIpGGCehvaDK95az72Nr6tAdOREeSAwfC9qRnREnGLN2UJRpItZrZ9So9jgPprUuQywrp7ON5M2RlKvBfd9FwlnmFB1R1tVHvMG8Z37R3KKpIlqj8RAgcj7VePlBZjPx2v2xiypobbAF2YUd1NAYCBfFsJAJoIbh3KnSJi4jjTLhXbR92dw1RmdHoHXgWvTtA1azXy6BciOVZevFtl5TCnQJwKmF7V5g7ucuc0L6BZB170Q4Ce3tUE91CC9TTZwXwlV6t2KQIrW6CMVdObrzL6zHb72MQ7kiEXE3iCaCBzopbY9OqiFid7g5eMcsqwozZK1iEZAtSUNoOGfZaobfnL58qMjpEGCUZsYvAFSTaG3XZpVjsWekHWDealYWKONcU40H2P0AZCxgZyIxAfbVcZ6r8esRjymHGlVLWx7W9QBRydE5rVgA7AcBW7NzWZHB5LrlpfLq37aEyEon8ncWGTr5IZgYV2J261QLXrtP1NIna8NobUJksGeKr7ld6X0q0WqUgaLs2cwKWZJz4PgD2B1dWLhtEypGxhokg4Wj5e2iXqOqKtzjV17MYVMFsZfVXlnJCVRVFN6N0IKBxBtR1ONkBYYT4NEKWUaRZjxAI0yzEEi8rT8QkBs0FOgxileS4D2lRae16J6gclf4vs9Av34hk0c5rfHRVn81wCqHLJegG3TUWbaC9FMyJRQunD5WhuDcbpgrXLXKkiibTtfh0hbZrqnUs7RKYKZ5OZw0X67ZqplozHk4E6IbvoHyrzWtx8lv2EdRcmkVmZocZE2xZu7hTsZjtP2GrQlQ9LnBZ54D8soK3ejviXFoWERYZzNb03Til44bwvbaGLd9sTcPxP1copJEpCAtHZ6v6GiLvRfmBlxhdp65DdZuz1sviD52nieDd6LQqwTChsN3L2AaWlSovgxIE1UnCqW8HdtaPXKCVWQzJwlCiRlE5JFF2yoIoIyO1IYFcdkYArnRbZc0jHzMKH8hojUZ58sOSe9M53ZyfiokeLGsTiKGLeq2KGReq2YBL9udkG4sNh1ilioZBK9ZLZJqgOgGvyeNRZH1FRI5YOSVq8VlcqRiDFhtcqs9Lbb3yJqaFMDgM1gZ2jEbAXhSv9pVN4rfB4b8l4ekJKm2SPmlBaQhV9Ydd3BS0 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), libgcc_s.so.1, libm.so.6(GLIBC_2.0), 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.f8XFDS Creating libcudd-debuginfo package Processing files: libcudd-devel-3.0.0-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.65275 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libcudd-3.0.0 + DOCDIR=/usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-devel-3.0.0 + export DOCDIR + rm -rf /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-devel-3.0.0 + /bin/mkdir -p /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-devel-3.0.0 + cp -prL dddmp/README.dddmp RELEASE.NOTES README /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-devel-3.0.0 + chmod -R go-w /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-devel-3.0.0 + chmod -R a+rX /usr/src/tmp/libcudd-buildroot/usr/share/doc/libcudd-devel-3.0.0 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ToPVRz find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.jy9kzS find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) /usr/src/tmp/libcudd-buildroot/usr/include/dddmp.h:40:10: fatal error: util.h: No such file or directory 40 | #include "util.h" | ^~~~~~~~ compilation terminated. cpp.req: /usr/src/tmp/libcudd-buildroot/usr/include/dddmp.h: cpp failed, trying c++ mode /usr/src/tmp/libcudd-buildroot/usr/include/dddmp.h:40:10: fatal error: util.h: No such file or directory 40 | #include "util.h" | ^~~~~~~~ compilation terminated. cpp.req: WARNING: /usr/src/tmp/libcudd-buildroot/usr/include/dddmp.h: cpp failed Requires: /usr/lib/libcudd-3.0.0.so.0.0.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Jh07t7 Processing files: libcudd-debuginfo-3.0.0-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.scMVkj find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.XAlSW4 find-requires: running scripts (debuginfo) Provides: debug(libcudd-3.0.0.so.0) Requires: libcudd = 3.0.0-alt1, debug(libc.so.6), debug(libgcc_s.so.1), debug(libm.so.6) Adding to libcudd-debuginfo a strict dependency on libcudd Adding to libcudd-devel a strict dependency on libcudd Removing 1 extra deps from libcudd-devel due to dependency on libcudd Wrote: /usr/src/RPM/RPMS/i586/libcudd-3.0.0-alt1.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libcudd-devel-3.0.0-alt1.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libcudd-debuginfo-3.0.0-alt1.i586.rpm (w2.lzdio) 37.57user 10.45system 0:24.61elapsed 195%CPU (0avgtext+0avgdata 92424maxresident)k 0inputs+0outputs (0major+2177999minor)pagefaults 0swaps 3.54user 2.59system 0:35.05elapsed 17%CPU (0avgtext+0avgdata 131236maxresident)k 24inputs+0outputs (0major+258474minor)pagefaults 0swaps