sci-mathematics:cudd-3.0.0:20240726-063226.log

sci-mathematics:cudd-3.0.0:20240726-063226.log (text/plain), 74.63 KB, created by Toralf Förster on 2024-07-26 06:55:01 UTC

 * Package:    sci-mathematics/cudd-3.0.0:0/3.0.0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking cudd-3.0.0.tar.gz to /var/tmp/portage/sci-mathematics/cudd-3.0.0/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cudd-3.0.0/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0 ...
 * econf: updating cudd-3.0.0/build-aux/config.guess with /usr/share/gnuconfig/config.guess
 * econf: updating cudd-3.0.0/build-aux/config.sub with /usr/share/gnuconfig/config.sub
./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --datarootdir=/usr/share --disable-dependency-tracking --disable-silent-rules --disable-static --docdir=/usr/share/doc/cudd-3.0.0 --htmldir=/usr/share/doc/cudd-3.0.0/html --with-sysroot=/ --libdir=/usr/lib64 --enable-dddmp --enable-obj --enable-shared
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for a BSD-compatible install... /usr/lib/portage/python3.12/ebuild-helpers/xattr/install -c
checking whether build environment is sane... yes
checking for a thread-safe 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-pc-linux-gnu-gcc... x86_64-pc-linux-gnu-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 we are using the GNU C compiler... yes
checking whether x86_64-pc-linux-gnu-gcc accepts -g... yes
checking for x86_64-pc-linux-gnu-gcc option to accept ISO C89... none needed
checking whether x86_64-pc-linux-gnu-gcc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of x86_64-pc-linux-gnu-gcc... none
checking for x86_64-pc-linux-gnu-g++... x86_64-pc-linux-gnu-g++
checking whether we are using the GNU C++ compiler... yes
checking whether x86_64-pc-linux-gnu-g++ accepts -g... yes
checking dependency style of x86_64-pc-linux-gnu-g++... none
checking for x86_64-pc-linux-gnu-ar... x86_64-pc-linux-gnu-ar
checking the archiver (x86_64-pc-linux-gnu-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-pc-linux-gnu-gcc... /usr/libexec/gcc/x86_64-pc-linux-gnu/ld
checking if the linker (/usr/libexec/gcc/x86_64-pc-linux-gnu/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 whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/libexec/gcc/x86_64-pc-linux-gnu/ld option to reload object files... -r
checking for x86_64-pc-linux-gnu-objdump... x86_64-pc-linux-gnu-objdump
checking how to recognize dependent libraries... pass_all
checking for x86_64-pc-linux-gnu-dlltool... x86_64-pc-linux-gnu-dlltool
checking how to associate runtime and link libraries... printf %s\n
checking for x86_64-pc-linux-gnu-ar... (cached) x86_64-pc-linux-gnu-ar
checking for archiver @FILE support... @
checking for x86_64-pc-linux-gnu-strip... x86_64-pc-linux-gnu-strip
checking for x86_64-pc-linux-gnu-ranlib... x86_64-pc-linux-gnu-ranlib
checking command to parse /usr/bin/nm -B output from x86_64-pc-linux-gnu-gcc object... ok
checking for sysroot... /
checking for x86_64-pc-linux-gnu-mt... no
checking for mt... no
checking if : is a manifest tool... no
checking how to run the C preprocessor... x86_64-pc-linux-gnu-gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if x86_64-pc-linux-gnu-gcc supports -fno-rtti -fno-exceptions... no
checking for x86_64-pc-linux-gnu-gcc option to produce PIC... -fPIC -DPIC
checking if x86_64-pc-linux-gnu-gcc PIC flag -fPIC -DPIC works... yes
checking if x86_64-pc-linux-gnu-gcc static flag -static works... yes
checking if x86_64-pc-linux-gnu-gcc supports -c -o file.o... yes
checking if x86_64-pc-linux-gnu-gcc supports -c -o file.o... (cached) yes
checking whether the x86_64-pc-linux-gnu-gcc linker (/usr/libexec/gcc/x86_64-pc-linux-gnu/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-pc-linux-gnu-g++ -E
checking for ld used by x86_64-pc-linux-gnu-g++... /usr/libexec/gcc/x86_64-pc-linux-gnu/ld -m elf_x86_64
checking if the linker (/usr/libexec/gcc/x86_64-pc-linux-gnu/ld -m elf_x86_64) is GNU ld... yes
checking whether the x86_64-pc-linux-gnu-g++ linker (/usr/libexec/gcc/x86_64-pc-linux-gnu/ld -m elf_x86_64) supports shared libraries... yes
checking for x86_64-pc-linux-gnu-g++ option to produce PIC... -fPIC -DPIC
checking if x86_64-pc-linux-gnu-g++ PIC flag -fPIC -DPIC works... yes
checking if x86_64-pc-linux-gnu-g++ static flag -static works... yes
checking if x86_64-pc-linux-gnu-g++ supports -c -o file.o... yes
checking if x86_64-pc-linux-gnu-g++ supports -c -o file.o... (cached) yes
checking whether the x86_64-pc-linux-gnu-g++ linker (/usr/libexec/gcc/x86_64-pc-linux-gnu/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... doxygen
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 float.h usability... yes
checking float.h presence... yes
checking for float.h... yes
checking for inttypes.h... (cached) yes
checking limits.h usability... yes
checking limits.h presence... yes
checking for limits.h... yes
checking stddef.h usability... yes
checking stddef.h presence... yes
checking for stddef.h... yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking assert.h usability... yes
checking assert.h presence... yes
checking for assert.h... yes
checking math.h usability... yes
checking math.h presence... yes
checking for math.h... yes
checking for unistd.h... (cached) yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/times.h usability... yes
checking sys/times.h presence... yes
checking for sys/times.h... yes
checking sys/resource.h usability... yes
checking sys/resource.h presence... yes
checking for sys/resource.h... yes
checking sys/wait.h usability... yes
checking sys/wait.h presence... yes
checking for sys/wait.h... yes
checking for working C++ thread header... yes
checking for stdbool.h that conforms to C99... yes
checking for _Bool... 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 Doxyfile
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
--------------------------------------------------
Configuration summary for cudd 3.0.0

Build system   : x86_64-pc-linux-gnu
Host system    : x86_64-pc-linux-gnu
Prefix         : '/usr'
Compilers      : 'x86_64-pc-linux-gnu-gcc    -O2 -pipe -march=native -fno-diagnostics-color'
               : 'x86_64-pc-linux-gnu-g++    -O2 -pipe -march=native -fno-diagnostics-color'
Shared library : yes
 dddmp enabled : yes
 obj enabled   : yes
--------------------------------------------------
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0 ...
make -j4 
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddAbs.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddFind.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddFind.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddApply.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddApply.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddInv.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddInv.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddIte.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddIte.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddNeg.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAddWalsh.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAndAbs.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAnneal.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAnneal.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddApa.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApa.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddAPI.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAPI.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddApprox.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApprox.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddBddAbs.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddBddCorr.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddBddIte.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddIte.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddBridge.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBridge.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddCache.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCache.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddCheck.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCheck.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddClip.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddClip.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddCof.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCof.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddCompose.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCompose.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddDecomp.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddDecomp.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddEssent.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddEssent.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddExact.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExact.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddExport.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExport.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddGenCof.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenCof.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddGenetic.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenetic.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddGroup.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGroup.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddHarwell.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddHarwell.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddInit.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInit.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddInteract.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInteract.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddLCache.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLCache.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddLevelQ.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddLinear.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLinear.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddLiteral.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLiteral.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddMatMult.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddMatMult.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddPriority.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddPriority.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddRead.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRead.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddRef.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRef.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddReorder.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddReorder.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSat.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSat.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSign.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSign.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSolve.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSolve.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSplit.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSplit.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSubsetHB.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSubsetSP.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddSymmetry.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddTable.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddTable.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddUtil.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddUtil.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddWindow.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddWindow.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddCount.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddCount.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddFuncs.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddGroup.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddIsop.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddLin.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddLin.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddMisc.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddPort.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddPort.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddReord.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddReord.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddSetop.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddSymm.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cudd/cudd_libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cudd/cuddZddUtil.c  -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -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"
      |   ^~~~~~~
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/cpu_time.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_time.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/cstringstream.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cstringstream.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/datalimit.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-datalimit.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/pathsearch.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pathsearch.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/pipefork.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pipefork.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-prtime.lo `test -f 'util/prtime.c' || echo './'`util/prtime.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/prtime.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-prtime.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/safe_mem.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-safe_mem.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/strsav.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-strsav.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/texpand.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-texpand.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c util/ucbqsort.c  -fPIC -DPIC -o util/.libs/cudd_libcudd_la-ucbqsort.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c st/st.c  -fPIC -DPIC -o st/.libs/cudd_libcudd_la-st.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c epd/epd.c  -fPIC -DPIC -o epd/.libs/cudd_libcudd_la-epd.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c mtr/mtrBasic.c  -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrBasic.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o mtr/cudd_libcudd_la-mtrGroup.lo `test -f 'mtr/mtrGroup.c' || echo './'`mtr/mtrGroup.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c mtr/mtrGroup.c  -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrGroup.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpBinary.lo `test -f 'dddmp/dddmpBinary.c' || echo './'`dddmp/dddmpBinary.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpBinary.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpBinary.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpConvert.lo `test -f 'dddmp/dddmpConvert.c' || echo './'`dddmp/dddmpConvert.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpConvert.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpConvert.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpDbg.lo `test -f 'dddmp/dddmpDbg.c' || echo './'`dddmp/dddmpDbg.c
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpLoad.lo `test -f 'dddmp/dddmpLoad.c' || echo './'`dddmp/dddmpLoad.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpDbg.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpDbg.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpLoad.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpLoad.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpLoadCnf.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpLoadCnf.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpNodeAdd.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpNodeAdd.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpNodeBdd.lo `test -f 'dddmp/dddmpNodeBdd.c' || echo './'`dddmp/dddmpNodeBdd.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpNodeBdd.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpNodeBdd.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpNodeCnf.lo `test -f 'dddmp/dddmpNodeCnf.c' || echo './'`dddmp/dddmpNodeCnf.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpNodeCnf.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpNodeCnf.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpStoreAdd.lo `test -f 'dddmp/dddmpStoreAdd.c' || echo './'`dddmp/dddmpStoreAdd.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpStoreAdd.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreAdd.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpStoreBdd.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreBdd.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpStoreCnf.lo `test -f 'dddmp/dddmpStoreCnf.c' || echo './'`dddmp/dddmpStoreCnf.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpStoreCnf.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreCnf.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpStoreMisc.lo `test -f 'dddmp/dddmpStoreMisc.c' || echo './'`dddmp/dddmpStoreMisc.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpStoreMisc.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpStoreMisc.o
/bin/sh ./libtool  --tag=CC --tag=CXX  --mode=compile x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o dddmp/cudd_libcudd_la-dddmpUtil.lo `test -f 'dddmp/dddmpUtil.c' || echo './'`dddmp/dddmpUtil.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c dddmp/dddmpUtil.c  -fPIC -DPIC -o dddmp/.libs/cudd_libcudd_la-dddmpUtil.o
/bin/sh ./libtool  --tag=CXX --tag=CXX  --mode=compile x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I.  -I./cudd -I./st -I./epd -I./mtr -I./util   -O2 -pipe -march=native -fno-diagnostics-color -c -o cplusplus/cudd_libcudd_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc
libtool: compile:  x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -march=native -fno-diagnostics-color -c cplusplus/cuddObj.cc  -fPIC -DPIC -o cplusplus/.libs/cudd_libcudd_la-cuddObj.o
/bin/sh ./libtool  --tag=CXX --tag=CXX  --mode=link x86_64-pc-linux-gnu-g++  -O2 -pipe -march=native -fno-diagnostics-color -release 3.0.0 -version-info 0:0:0 -no-undefined -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -o cudd/libcudd.la -rpath /usr/lib64 cudd/cudd_libcudd_la-cuddAddAbs.lo cudd/cudd_libcudd_la-cuddAddApply.lo cudd/cudd_libcudd_la-cuddAddFind.lo cudd/cudd_libcudd_la-cuddAddInv.lo cudd/cudd_libcudd_la-cuddAddIte.lo cudd/cudd_libcudd_la-cuddAddNeg.lo cudd/cudd_libcudd_la-cuddAddWalsh.lo cudd/cudd_libcudd_la-cuddAndAbs.lo cudd/cudd_libcudd_la-cuddAnneal.lo cudd/cudd_libcudd_la-cuddApa.lo cudd/cudd_libcudd_la-cuddAPI.lo cudd/cudd_libcudd_la-cuddApprox.lo cudd/cudd_libcudd_la-cuddBddAbs.lo cudd/cudd_libcudd_la-cuddBddCorr.lo cudd/cudd_libcudd_la-cuddBddIte.lo cudd/cudd_libcudd_la-cuddBridge.lo cudd/cudd_libcudd_la-cuddCache.lo cudd/cudd_libcudd_la-cuddCheck.lo cudd/cudd_libcudd_la-cuddClip.lo cudd/cudd_libcudd_la-cuddCof.lo cudd/cudd_libcudd_la-cuddCompose.lo cudd/cudd_libcudd_la-cuddDecomp.lo cudd/cudd_libcudd_la-cuddEssent.lo cudd/cudd_libcudd_la-cuddExact.lo cudd/cudd_libcudd_la-cuddExport.lo cudd/cudd_libcudd_la-cuddGenCof.lo cudd/cudd_libcudd_la-cuddGenetic.lo cudd/cudd_libcudd_la-cuddGroup.lo cudd/cudd_libcudd_la-cuddHarwell.lo cudd/cudd_libcudd_la-cuddInit.lo cudd/cudd_libcudd_la-cuddInteract.lo cudd/cudd_libcudd_la-cuddLCache.lo cudd/cudd_libcudd_la-cuddLevelQ.lo cudd/cudd_libcudd_la-cuddLinear.lo cudd/cudd_libcudd_la-cuddLiteral.lo cudd/cudd_libcudd_la-cuddMatMult.lo cudd/cudd_libcudd_la-cuddPriority.lo cudd/cudd_libcudd_la-cuddRead.lo cudd/cudd_libcudd_la-cuddRef.lo cudd/cudd_libcudd_la-cuddReorder.lo cudd/cudd_libcudd_la-cuddSat.lo cudd/cudd_libcudd_la-cuddSign.lo cudd/cudd_libcudd_la-cuddSolve.lo cudd/cudd_libcudd_la-cuddSplit.lo cudd/cudd_libcudd_la-cuddSubsetHB.lo cudd/cudd_libcudd_la-cuddSubsetSP.lo cudd/cudd_libcudd_la-cuddSymmetry.lo cudd/cudd_libcudd_la-cuddTable.lo cudd/cudd_libcudd_la-cuddUtil.lo cudd/cudd_libcudd_la-cuddWindow.lo cudd/cudd_libcudd_la-cuddZddCount.lo cudd/cudd_libcudd_la-cuddZddFuncs.lo cudd/cudd_libcudd_la-cuddZddGroup.lo cudd/cudd_libcudd_la-cuddZddIsop.lo cudd/cudd_libcudd_la-cuddZddLin.lo cudd/cudd_libcudd_la-cuddZddMisc.lo cudd/cudd_libcudd_la-cuddZddPort.lo cudd/cudd_libcudd_la-cuddZddReord.lo cudd/cudd_libcudd_la-cuddZddSetop.lo cudd/cudd_libcudd_la-cuddZddSymm.lo cudd/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 cplusplus/cudd_libcudd_la-cuddObj.lo  -lm 
libtool: link: x86_64-pc-linux-gnu-g++  -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-pc-linux-gnu/14/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/14/crtbeginS.o  cudd/.libs/cudd_libcudd_la-cuddAddAbs.o cudd/.libs/cudd_libcudd_la-cuddAddApply.o cudd/.libs/cudd_libcudd_la-cuddAddFind.o cudd/.libs/cudd_libcudd_la-cuddAddInv.o cudd/.libs/cudd_libcudd_la-cuddAddIte.o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o cudd/.libs/cudd_libcudd_la-cuddAnneal.o cudd/.libs/cudd_libcudd_la-cuddApa.o cudd/.libs/cudd_libcudd_la-cuddAPI.o cudd/.libs/cudd_libcudd_la-cuddApprox.o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o cudd/.libs/cudd_libcudd_la-cuddBddIte.o cudd/.libs/cudd_libcudd_la-cuddBridge.o cudd/.libs/cudd_libcudd_la-cuddCache.o cudd/.libs/cudd_libcudd_la-cuddCheck.o cudd/.libs/cudd_libcudd_la-cuddClip.o cudd/.libs/cudd_libcudd_la-cuddCof.o cudd/.libs/cudd_libcudd_la-cuddCompose.o cudd/.libs/cudd_libcudd_la-cuddDecomp.o cudd/.libs/cudd_libcudd_la-cuddEssent.o cudd/.libs/cudd_libcudd_la-cuddExact.o cudd/.libs/cudd_libcudd_la-cuddExport.o cudd/.libs/cudd_libcudd_la-cuddGenCof.o cudd/.libs/cudd_libcudd_la-cuddGenetic.o cudd/.libs/cudd_libcudd_la-cuddGroup.o cudd/.libs/cudd_libcudd_la-cuddHarwell.o cudd/.libs/cudd_libcudd_la-cuddInit.o cudd/.libs/cudd_libcudd_la-cuddInteract.o cudd/.libs/cudd_libcudd_la-cuddLCache.o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o cudd/.libs/cudd_libcudd_la-cuddLinear.o cudd/.libs/cudd_libcudd_la-cuddLiteral.o cudd/.libs/cudd_libcudd_la-cuddMatMult.o cudd/.libs/cudd_libcudd_la-cuddPriority.o cudd/.libs/cudd_libcudd_la-cuddRead.o cudd/.libs/cudd_libcudd_la-cuddRef.o cudd/.libs/cudd_libcudd_la-cuddReorder.o cudd/.libs/cudd_libcudd_la-cuddSat.o cudd/.libs/cudd_libcudd_la-cuddSign.o cudd/.libs/cudd_libcudd_la-cuddSolve.o cudd/.libs/cudd_libcudd_la-cuddSplit.o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o cudd/.libs/cudd_libcudd_la-cuddTable.o cudd/.libs/cudd_libcudd_la-cuddUtil.o cudd/.libs/cudd_libcudd_la-cuddWindow.o cudd/.libs/cudd_libcudd_la-cuddZddCount.o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o cudd/.libs/cudd_libcudd_la-cuddZddLin.o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o cudd/.libs/cudd_libcudd_la-cuddZddPort.o cudd/.libs/cudd_libcudd_la-cuddZddReord.o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o cudd/.libs/cudd_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 cplusplus/.libs/cudd_libcudd_la-cuddObj.o   -L/usr/lib/gcc/x86_64-pc-linux-gnu/14 -L/usr/lib/gcc/x86_64-pc-linux-gnu/14/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/14/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/14/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-pc-linux-gnu/14/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/14/../../../../lib64/crtn.o  -O2 -march=native -Wl,-O1 -Wl,--as-needed -Wl,-z -Wl,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0   -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" )
warning: Tag 'TCL_SUBST' at line 237 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'CLANG_ASSISTED_PARSING' at line 994 of file 'Doxyfile' belongs to an option that was not enabled at compile time.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u", or recompile doxygen with this feature enabled.
warning: Tag 'CLANG_OPTIONS' at line 1002 of file 'Doxyfile' belongs to an option that was not enabled at compile time.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u", or recompile doxygen with this feature enabled.
warning: Tag 'COLS_IN_ALPHA_INDEX' at line 1020 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'HTML_TIMESTAMP' at line 1155 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'FORMULA_TRANSPARENT' at line 1436 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'LATEX_SOURCE_CODE' at line 1721 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'RTF_SOURCE_CODE' at line 1795 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'DOCBOOK_PROGRAMLISTING' at line 1893 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'PERL_PATH' at line 2073 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'CLASS_DIAGRAMS' at line 2086 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'MSCGEN_PATH' at line 2095 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'DOT_FONTNAME' at line 2137 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'DOT_FONTSIZE' at line 2144 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
warning: Tag 'DOT_TRANSPARENT' at line 2359 of file 'Doxyfile' has become obsolete.
         To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u"
Doxygen version used: 1.11.0
Searching for include files...
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/
Searching for example files...
Searching for images...
Searching for dot files...
Searching for msc files...
Searching for dia files...
Searching for files to exclude
Searching INPUT for files to process...
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/mtr
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/epd
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/st
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/util
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cplusplus
Searching for files in directory /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/nanotrav
Reading and parsing tag files
Parsing files
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/groups.dox...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/groups.dox...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cudd.h...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cudd.h...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddAbs.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddAbs.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddApply.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddApply.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddFind.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddFind.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddInv.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddInv.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddIte.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddIte.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddNeg.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddNeg.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddWalsh.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAddWalsh.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAndAbs.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAndAbs.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAnneal.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAnneal.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddApa.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddApa.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAPI.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddAPI.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddApprox.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddApprox.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBddAbs.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBddAbs.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBddCorr.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBddCorr.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBddIte.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBddIte.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBridge.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddBridge.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCache.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCache.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCheck.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCheck.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddClip.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddClip.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCof.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCof.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCompose.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddCompose.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddDecomp.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddDecomp.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddEssent.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddEssent.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddExact.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddExact.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddExport.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddExport.c...
Preprocessing /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddGenCof.c...
Parsing file /var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0/cudd/cuddGenCof.c...
/usr/lib/gcc/x86_64-pc-linux-gnu/14/include/g++-v14/string_view:256: constexpr const std::basic_string_view<_CharT, _Traits>::value_type& std::basic_string_view<_CharT, _Traits>::operator[](size_type) const [with _CharT = char; _Traits = std::char_traits<char>; const_reference = const char&; size_type = long unsigned int]: Assertion '__pos < this->_M_len' failed.
make: *** [Makefile:3164: html/index.html] Error 134
 * ERROR: sci-mathematics/cudd-3.0.0::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/cudd-3.0.0::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/cudd-3.0.0::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:cudd-3.0.0:20240726-063226.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cudd-3.0.0/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cudd-3.0.0/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0'
 * S: '/var/tmp/portage/sci-mathematics/cudd-3.0.0/work/cudd-3.0.0'