<86>Feb 21 03:22:54 userdel[1763108]: delete user 'rooter' <86>Feb 21 03:22:54 userdel[1763108]: removed group 'rooter' owned by 'rooter' <86>Feb 21 03:22:54 userdel[1763108]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 21 03:22:54 groupadd[1763158]: group added to /etc/group: name=rooter, GID=1814 <86>Feb 21 03:22:54 groupadd[1763158]: group added to /etc/gshadow: name=rooter <86>Feb 21 03:22:54 groupadd[1763158]: new group: name=rooter, GID=1814 <86>Feb 21 03:22:54 useradd[1763195]: new user: name=rooter, UID=1814, GID=1814, home=/root, shell=/bin/bash, from=none <86>Feb 21 03:22:54 userdel[1763256]: delete user 'builder' <86>Feb 21 03:22:54 userdel[1763256]: removed group 'builder' owned by 'builder' <86>Feb 21 03:22:54 userdel[1763256]: removed shadow group 'builder' owned by 'builder' <86>Feb 21 03:22:54 groupadd[1763307]: group added to /etc/group: name=builder, GID=1815 <86>Feb 21 03:22:54 groupadd[1763307]: group added to /etc/gshadow: name=builder <86>Feb 21 03:22:54 groupadd[1763307]: new group: name=builder, GID=1815 <86>Feb 21 03:22:54 useradd[1763345]: new user: name=builder, UID=1815, GID=1815, home=/usr/src, shell=/bin/bash, from=none <13>Feb 21 03:22:58 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Feb 21 03:22:59 rpmi: gcc-c++-common-1.4.28-alt1 sisyphus+348678.100.1.1 1716396142 installed <13>Feb 21 03:23:00 rpmi: libstdc++14-devel-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Feb 21 03:23:00 rpmi: gcc14-c++-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Feb 21 03:23:00 rpmi: gcc-c++-14-alt1 sisyphus+360995.300.1.1 1730139222 installed <13>Feb 21 03:23:00 rpmi: libstdc++-devel-14-alt1 sisyphus+360995.300.1.1 1730139222 installed Building target platforms: x86_64 Building for target x86_64 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: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.39405 + 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.39405 + 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' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS= + 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=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --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... x86_64-alt-linux-gnu checking host system type... x86_64-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 x86_64-alt-linux-gcc... x86_64-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 x86_64-alt-linux-gcc accepts -g... yes checking for x86_64-alt-linux-gcc option to enable C11 features... none needed checking whether x86_64-alt-linux-gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of x86_64-alt-linux-gcc... none checking for x86_64-alt-linux-g++... x86_64-alt-linux-g++ checking whether the compiler supports GNU C++... yes checking whether x86_64-alt-linux-g++ accepts -g... yes checking for x86_64-alt-linux-g++ option to enable C++11 features... none needed checking dependency style of x86_64-alt-linux-g++... none checking for x86_64-alt-linux-ar... no checking for x86_64-alt-linux-lib... no checking for x86_64-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 x86_64-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 x86_64-alt-linux-gnu file names to x86_64-alt-linux-gnu format... func_convert_file_noop checking how to convert x86_64-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 x86_64-alt-linux-file... no checking for file... file checking for x86_64-alt-linux-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... (cached) pass_all checking for x86_64-alt-linux-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alt-linux-ar... ar checking for archiver @FILE support... @ checking for x86_64-alt-linux-strip... no checking for strip... strip checking for x86_64-alt-linux-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from x86_64-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 x86_64-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 x86_64-alt-linux-gcc supports -fno-rtti -fno-exceptions... no checking for x86_64-alt-linux-gcc option to produce PIC... -fPIC -DPIC checking if x86_64-alt-linux-gcc PIC flag -fPIC -DPIC works... yes checking if x86_64-alt-linux-gcc static flag -static works... no checking if x86_64-alt-linux-gcc supports -c -o file.o... yes checking if x86_64-alt-linux-gcc supports -c -o file.o... (cached) yes checking whether the x86_64-alt-linux-gcc linker (/usr/bin/ld -m elf_x86_64) 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... x86_64-alt-linux-g++ -E checking for ld used by x86_64-alt-linux-g++... /usr/bin/ld -m elf_x86_64 checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the x86_64-alt-linux-g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for x86_64-alt-linux-g++ option to produce PIC... -fPIC -DPIC checking if x86_64-alt-linux-g++ PIC flag -fPIC -DPIC works... yes checking if x86_64-alt-linux-g++ static flag -static works... no checking if x86_64-alt-linux-g++ supports -c -o file.o... yes checking if x86_64-alt-linux-g++ supports -c -o file.o... (cached) yes checking whether the x86_64-alt-linux-g++ linker (/usr/bin/ld -m elf_x86_64) 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... 8 checking size of void *... 8 checking size of long double... 16 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 : x86_64-alt-linux-gnu Host system : x86_64-alt-linux-gnu Prefix : '/usr' Compilers : 'x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' : 'x86_64-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' 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 x86_64-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 -c -o cudd/libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o cudd/libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-prtime.lo `test -f 'util/prtime.c' || echo './'`util/prtime.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpBinary.lo `test -f 'dddmp/dddmpBinary.c' || echo './'`dddmp/dddmpBinary.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpConvert.lo `test -f 'dddmp/dddmpConvert.c' || echo './'`dddmp/dddmpConvert.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o mtr/cudd_libcudd_la-mtrGroup.lo `test -f 'mtr/mtrGroup.c' || echo './'`mtr/mtrGroup.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpNodeBdd.lo `test -f 'dddmp/dddmpNodeBdd.c' || echo './'`dddmp/dddmpNodeBdd.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpDbg.lo `test -f 'dddmp/dddmpDbg.c' || echo './'`dddmp/dddmpDbg.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpNodeCnf.lo `test -f 'dddmp/dddmpNodeCnf.c' || echo './'`dddmp/dddmpNodeCnf.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpLoad.lo `test -f 'dddmp/dddmpLoad.c' || echo './'`dddmp/dddmpLoad.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpStoreAdd.lo `test -f 'dddmp/dddmpStoreAdd.c' || echo './'`dddmp/dddmpStoreAdd.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpUtil.lo `test -f 'dddmp/dddmpUtil.c' || echo './'`dddmp/dddmpUtil.c libtool: compile: x86_64-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 -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 x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpStoreCnf.lo `test -f 'dddmp/dddmpStoreCnf.c' || echo './'`dddmp/dddmpStoreCnf.c libtool: compile: x86_64-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 -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=CC --mode=compile x86_64-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 -c -o dddmp/cudd_libcudd_la-dddmpStoreMisc.lo `test -f 'dddmp/dddmpStoreMisc.c' || echo './'`dddmp/dddmpStoreMisc.c libtool: compile: x86_64-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 -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=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cplusplus/libobj_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -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 x86_64-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -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 x86_64-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -release 3.0.0 -version-info 0:0:0 -no-undefined -o cudd/libcudd.la -rpath /usr/lib64 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: x86_64-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib64/gcc/x86_64-alt-linux/14/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-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/lib64/gcc/x86_64-alt-linux/14 -L/usr/lib64/gcc/x86_64-alt-linux/14/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib64/gcc/x86_64-alt-linux/14/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib64/gcc/x86_64-alt-linux/14/crtendS.o /usr/lib64/gcc/x86_64-alt-linux/14/../../../../lib64/crtn.o -g -O2 -flto=auto -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.95167 + 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/lib64' /bin/sh ./libtool --mode=install /usr/libexec/rpm-build/install -p cudd/libcudd.la '/usr/src/tmp/libcudd-buildroot/usr/lib64' libtool: install: /usr/libexec/rpm-build/install -p cudd/.libs/libcudd-3.0.0.so.0.0.0 /usr/src/tmp/libcudd-buildroot/usr/lib64/libcudd-3.0.0.so.0.0.0 libtool: install: (cd /usr/src/tmp/libcudd-buildroot/usr/lib64 && { 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/lib64 && { 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/lib64/libcudd.la libtool: warning: remember to run 'libtool --finish /usr/lib64' /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/lib64/libcudd.la' mode of './usr/lib64/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/lib64: (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) 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.91829 + 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.lXrhkN find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/libcudd-buildroot/usr/lib64/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.RUXDDG find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: libcudd-3.0.0.so.0()(64bit) = set:ndI1icciMSvqONMVw87pOF578Yofm0DFZi1sN5HypDYvKwSpt3LX0xliKZn8G9hVoD0NlYOpxy7PQqGfSEPgsFbifICAS92yJjVVrn1SJjq9dhGrKfMOTyt6T7DY48af6qZz0jEOghYfx6nSsWYMTAFIDp0aJ0zhYb6rZmRArxkEtPZJBmEfwkMbDtmZwPkZbviZbroq4HMI1cgYRmCDhNLIDofIxkcbZL21XXNQkRE8pCUm9pEuQ7qtJ5J2x8WwrVS8uXHRtgZmp5rcZoCO2E666DS4UaM1p1XmwbQwIrj3zw5yVQf3RDMpghsXdvOin534vWZE7t6hzMWvrxsVJUdQ3hFKTCl68vZiunD2sT9SpzOd8Ze5ymFOZDZqhm59CyPMZ5j9goq4ZAjBFgeKKeHAGq5Zewpkw9tBokDpX0771I8APlFcqobSnqKvHC1Z6lVXhu7rsE3G28SrFE3eI05YQbo0C96j2RIpGGCehvaDK95az72Nr6tAdOREeSAwfC9qRnREnGLN2UJRpItZrZ9So9jgPprUuQywrp7ON5M2RlKvBfd9FwlnmFB1R1tVHvMG8Z37R3KKpIlqj8RAgcj7VePlBZjPx2v2xiypobbAF2YUd1NAYCBfFsJAJoIbh3KnSJi4jjTLhXbR92dw1RmdHoHXgWvTtA1azXy6BciOVZevFtl5TCnQJwKmF7V5g7ucuc0L6BZB170Q4Ce3tUE91CC9TTZwXwlV6t2KQIrW6CMVdObrzL6zHb72MQ7kiEXE3iCaCBzopbY9OqiFid7g5eMcsqwozZK1iEZAtSUNoOGfZaobfnL58qMjpEGCUZsYvAFSTaG3XZpVjsWekHWDealYWKONcU40H2P0AZCxgZyIxAfbVcZ6r8esRjymHGlVLWx7W9QBRydE5rVgA7AcBW7NzWZHB5LrlpfLq37aEyEon8ncWGTr5IZgYV2J261QLXrtP1NIna8NobUJksGeKr7ld6X0q0WqUgaLs2cwKWZJz4PgD2B1dWLhtEypGxhokg4Wj5e2iXqOqKtzjV17MYVMFsZfVXlnJCVRVFN6N0IKBxBtR1ONkBYYT4NEKWUaRZjxAI0yzEEi8rT8QkBs0FOgxileS4D2lRae16J6gclf4vs9Av34hk0c5rfHRVn81wCqHLJegG3TUWbaC9FMyJRQunD5WhuDcbpgrXLXKkiibTtfh0hbZrqnUs7RKYKZ5OZw0X67ZqplozHk4E6IbvoHyrzWtx8lv2EdRcmkVmZocZE2xZu7hTsZjtP2GrQlQ9LnBZ54D8soK3ejviXFoWERYZzNb03Til44bwvbaGLd9sTcPxP1copJEpCAtHZ6v6GiLvRfmBlxhdp65DdZuz1sviD52nieDd6LQqwTChsN3L2AaWlSovgxIE1UnCqW8HdtaPXKCVWQzJwlCiRlE5JFF2yoIoIyO1IYFcdkYArnRbZc0jHzMKH8hojUZ58sOSe9M53ZyfiokeLGsTiKGLeq2KGReq2YBL9udkG4sNh1ilioZBK9ZLZJqgOgGvyeNRZH1FRI5YOSVq8VlcqRiDFhtcqs9Lbb3yJqaFMDgM1gZ2jEbAXhSv9pVN4rfB4b8l4ekJKm2SPmlBaQhV9Ydd3BS0 Requires: libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), libm.so.6(GLIBC_2.29)(64bit), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.nzoq89 Creating libcudd-debuginfo package Processing files: libcudd-devel-3.0.0-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.94952 + 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.oz9t2N 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.ejk3JZ 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/lib64/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.rlYqFq 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.hmroaK find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.yZ1K4M find-requires: running scripts (debuginfo) Provides: debug64(libcudd-3.0.0.so.0) Requires: libcudd = 3.0.0-alt1, debug64(libc.so.6), debug64(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/x86_64/libcudd-3.0.0-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-devel-3.0.0-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-debuginfo-3.0.0-alt1.x86_64.rpm (w2.lzdio) 30.94user 10.35system 0:22.46elapsed 183%CPU (0avgtext+0avgdata 136764maxresident)k 0inputs+0outputs (0major+1958479minor)pagefaults 0swaps 4.52user 2.85system 0:34.37elapsed 21%CPU (0avgtext+0avgdata 138868maxresident)k 0inputs+0outputs (0major+263337minor)pagefaults 0swaps