Mock Version: 5.5
Mock Version: 5.5
Mock Version: 5.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/yices.spec'], chrootPath='/var/lib/mock/f41-build-758829-13437/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fff80c28ec0>timeout=864000uid=997gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '7650f46a428a40f68c0df9abe226ac33', '-D', '/var/lib/mock/f41-build-758829-13437/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/yices.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1708387200
Wrote: /builddir/build/SRPMS/yices-2.6.4-12.fc41.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/yices.spec'], chrootPath='/var/lib/mock/f41-build-758829-13437/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fff80c28ec0>timeout=864000uid=997gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '0b6bb22969bf4bc7878300cc7f2df33d', '-D', '/var/lib/mock/f41-build-758829-13437/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/yices.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1708387200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.avKAJC
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf yices2-Yices-2.6.4
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/Yices-2.6.4.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd yices2-Yices-2.6.4
+ rm -rf /builddir/build/BUILD/yices2-Yices-2.6.4-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/yices2-Yices-2.6.4-SPECPARTS
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cudd-3.0.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/yices-cryptominisat.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/implicit-int.patch
+ sed -i s/@NO_STACK_PROTECTOR@// make.include.in
+ sed -i 's/ -O3//;s/ -fomit-frame-pointer//' src/Makefile tests/unit/Makefile
+ autoreconf -fi
configure.ac:79: warning: The macro 'AC_PROG_CC_C99' is obsolete.
configure.ac:79: You should run autoupdate.
./lib/autoconf/c.m4:1662: AC_PROG_CC_C99 is expanded from...
configure.ac:79: the top level
configure.ac:909: warning: AC_C_BIGENDIAN should be used with AC_CONFIG_HEADERS
+ cd cudd-cudd-3.0.0
+ autoreconf -fi
libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'build-aux'.
libtoolize: copying file 'build-aux/ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.
libtoolize: copying file 'm4/libtool.m4'
libtoolize: copying file 'm4/ltoptions.m4'
libtoolize: copying file 'm4/ltsugar.m4'
libtoolize: copying file 'm4/ltversion.m4'
libtoolize: copying file 'm4/lt~obsolete.m4'
configure.ac:131: warning: The macro 'AC_TRY_RUN' is obsolete.
configure.ac:131: You should run autoupdate.
./lib/autoconf/general.m4:2995: AC_TRY_RUN is expanded from...
lib/m4sugar/m4sh.m4:690: _AS_IF_ELSE is expanded from...
lib/m4sugar/m4sh.m4:697: AS_IF is expanded from...
./lib/autoconf/general.m4:2249: AC_CACHE_VAL is expanded from...
configure.ac:131: the top level
configure.ac:34: installing 'build-aux/compile'
configure.ac:9: installing 'build-aux/missing'
Makefile.am: installing 'build-aux/depcomp'
+ cd -
/builddir/build/BUILD/yices2-Yices-2.6.4
+ sed -i 's/\r//' examples/jinpeng.ys examples/problem_with_input.ys
+ sed -i 's/cp/install -m 0644/' utils/make_source_version
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Txsuay
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd yices2-Yices-2.6.4
+ cd cudd-cudd-3.0.0
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']'
++ find . -type f -name configure -print
+ for file in $(find . -type f -name configure -print)
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure
+ diff -u ./configure.backup ./configure
--- ./configure.backup	2024-06-04 19:29:43.854319453 -0400
+++ ./configure	2024-06-04 19:30:26.034319467 -0400
@@ -8273,7 +8273,7 @@
 # Transform an extracted symbol line into a proper C declaration.
 # Some systems (esp. on ia64) link data and code symbols differently,
 # so use this general approach.
-lt_cv_sys_global_symbol_to_cdecl="$SED -n"\
+lt_cv_sys_global_symbol_to_cdecl="sed -n -e 's/^T .* \(.*\)$/extern int \1();/p' -e 's/^$symcode* .* \(.*\)$/extern char \1;/p'"
 $lt_cdecl_hook\
 " -e 's/^T .* \(.*\)$/extern int \1();/p'"\
 " -e 's/^$symcode$symcode* .* \(.*\)$/extern char \1;/p'"
@@ -20062,7 +20062,7 @@
 compiler='`$ECHO "$compiler" | $SED "$delay_single_quote_subst"`'
 GCC='`$ECHO "$GCC" | $SED "$delay_single_quote_subst"`'
 lt_cv_sys_global_symbol_pipe='`$ECHO "$lt_cv_sys_global_symbol_pipe" | $SED "$delay_single_quote_subst"`'
-lt_cv_sys_global_symbol_to_cdecl='`$ECHO "$lt_cv_sys_global_symbol_to_cdecl" | $SED "$delay_single_quote_subst"`'
+lt_cv_sys_global_symbol_to_cdecl="sed -n -e 's/^T .* \(.*\)$/extern int \1();/p' -e 's/^$symcode* .* \(.*\)$/extern char \1;/p'"
 lt_cv_sys_global_symbol_to_import='`$ECHO "$lt_cv_sys_global_symbol_to_import" | $SED "$delay_single_quote_subst"`'
 lt_cv_sys_global_symbol_to_c_name_address='`$ECHO "$lt_cv_sys_global_symbol_to_c_name_address" | $SED "$delay_single_quote_subst"`'
 lt_cv_sys_global_symbol_to_c_name_address_lib_prefix='`$ECHO "$lt_cv_sys_global_symbol_to_c_name_address_lib_prefix" | $SED "$delay_single_quote_subst"`'
+ '[' 1 = 1 ']'
+++ dirname ./configure
++ find . -name config.guess -o -name config.sub
+ for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub)
++ basename ./build-aux/config.sub
+ '[' -f /usr/lib/rpm/redhat/config.sub ']'
+ /usr/bin/rm -f ./build-aux/config.sub
++ basename ./build-aux/config.sub
+ /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./build-aux/config.sub
'/usr/lib/rpm/redhat/config.sub' -> './build-aux/config.sub'
+ for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub)
++ basename ./build-aux/config.guess
+ '[' -f /usr/lib/rpm/redhat/config.guess ']'
+ /usr/bin/rm -f ./build-aux/config.guess
++ basename ./build-aux/config.guess
+ /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./build-aux/config.guess
'/usr/lib/rpm/redhat/config.guess' -> './build-aux/config.guess'
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
++ find . -name ltmain.sh
+ for i in $(find . -name ltmain.sh)
+ /usr/bin/sed -i.backup -e 's~compiler_flags=$~compiler_flags="-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"~' ./build-aux/ltmain.sh
++ grep -q runstatedir=DIR ./configure
++ echo --runstatedir=/run
+ ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -fPIC' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -fPIC'
checking build system type... riscv64-koji-linux-gnu
checking host system type... riscv64-koji-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -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 riscv64-koji-linux-gnu-gcc... 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 gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking whether gcc understands -c and -o together... yes
checking whether make supports the include directive... yes (GNU style)
checking dependency style of gcc... none
checking whether the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
checking dependency style of g++... none
checking for riscv64-koji-linux-gnu-ar... no
checking for riscv64-koji-linux-gnu-lib... no
checking for riscv64-koji-linux-gnu-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 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 riscv64-koji-linux-gnu file names to riscv64-koji-linux-gnu format... func_convert_file_noop
checking how to convert riscv64-koji-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for riscv64-koji-linux-gnu-file... no
checking for file... file
checking for riscv64-koji-linux-gnu-objdump... no
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for riscv64-koji-linux-gnu-dlltool... no
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for riscv64-koji-linux-gnu-ar... ar
checking for archiver @FILE support... @
checking for riscv64-koji-linux-gnu-strip... no
checking for strip... strip
checking for riscv64-koji-linux-gnu-ranlib... no
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ./configure: line 8279:  -e 's/^T .* \(.*\)$/extern int \1();/p' -e 's/^[ABCDGIRSTW][ABCDGIRSTW]* .* \(.*\)$/extern char \1;/p': No such file or directory
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 riscv64-koji-linux-gnu-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 gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fPIC -DPIC
checking if gcc PIC flag -fPIC -DPIC works... yes
checking if gcc static flag -static works... no
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes
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... no
checking whether to build static libraries... yes
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
checking for g++ option to produce PIC... -fPIC -DPIC
checking if g++ PIC flag -fPIC -DPIC works... yes
checking if g++ static flag -static works... no
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
checking dynamic linker characteristics... (cached) GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking whether byte ordering is bigendian... no
checking for doxygen... no
configure: WARNING: Doxygen not found - continuing without Doxygen support
checking for pdflatex... pdflatex
checking for makeindex... makeindex
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 or later... 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)... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating doc/cudd.tex
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   : riscv64-koji-linux-gnu
Host system    : riscv64-koji-linux-gnu
Prefix         : '/usr'
Compilers      : 'gcc    -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -fPIC'
               : 'g++    -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -fPIC'
Shared library : no
 dddmp enabled : no
 obj enabled   : no
--------------------------------------------------
+ /usr/bin/make -O -j32 V=1 VERBOSE=1
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./cudd.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-02-22>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
Writing index file cudd.idx
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
No file cudd.aux.
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
No file cudd.toc.
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Warning: Citation `BDD' on page 2 undefined on input line 31.
LaTeX Warning: Citation `BBR' on page 2 undefined on input line 31.
LaTeX Warning: Citation `Bahar93' on page 2 undefined on input line 33.
LaTeX Warning: Citation `Minato93' on page 2 undefined on input line 35.
LaTeX Warning: Reference `sec:user' on page 2 undefined on input line 55.
LaTeX Warning: Reference `sec:prog' on page 2 undefined on input line 64.
LaTeX Warning: Reference `sec:cpp' on page 2 undefined on input line 75.
LaTeX Warning: Reference `sec:getFriends' on page 2 undefined on input line 77.
[2{/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}]
LaTeX Warning: Citation `BBR' on page 3 undefined on input line 80.
Overfull \hbox (4.63304pt too wide) in paragraph at lines 89--93
\OT1/cmr/m/n/10.95 The CUDD pack-age is avail-able via anony-mous FTP[] from vl
si.Colorado.EDU.
Overfull \hbox (45.42007pt too wide) in paragraph at lines 108--110
\OT1/cmtt/m/n/10.95 nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.bl
if 
Overfull \hbox (11.23369pt too wide) in paragraph at lines 111--117
\OT1/cmr/m/n/10.95 duced by the pro-gram is checked against \OT1/cmtt/m/n/10.95
 cudd-2.7.0/nanotrav/mult32a.out\OT1/cmr/m/n/10.95 .
Overfull \hbox (26.01599pt too wide) in paragraph at lines 124--126
\OT1/cmr/m/n/10.95 Two CUDD ex-ten-sions are avail-able via anony-mous FTP[] fr
om vlsi.Colorado.EDU. 
LaTeX Warning: Reference `sec:dump' on page 3 undefined on input line 132.
[3]
LaTeX Warning: Reference `sec:manager' on page 4 undefined on input line 170.
Overfull \hbox (34.87605pt too wide) in paragraph at lines 189--196
[]\OT1/cmr/m/n/10.95 If the ap-pli-ca-tion uses gen-er-a-tors[] (\OT1/cmr/m/it/
10.95 Cudd[]ForeachCube []\OT1/cmr/m/n/10.95 and \OT1/cmr/m/it/10.95 Cudd[]Fore
achNode[]\OT1/cmr/m/n/10.95 )
[4]
LaTeX Warning: Reference `sec:init' on page 5 undefined on input line 242.
[5]
LaTeX Warning: Reference `sec:cache' on page 6 undefined on input line 274.
LaTeX Warning: Reference `sec:basicZDD' on page 6 undefined on input line 291.
LaTeX Warning: Reference `sec:convertZ' on page 6 undefined on input line 291.
[6]
Overfull \hbox (7.91602pt too wide) in paragraph at lines 318--318
[]  \OT1/cmtt/m/n/10.95 manager = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SL
OTS,0);[] 
LaTeX Warning: Reference `sec:stats' on page 7 undefined on input line 340.
[7]
Overfull \hbox (28.57875pt too wide) in paragraph at lines 409--420
\OT1/cmr/m/n/10.95 (\OT1/cmr/m/it/10.95 Cudd[]ForeachCube[]\OT1/cmr/m/n/10.95 )
, and pro-ce-dures that count minterms[] (\OT1/cmr/m/it/10.95 Cudd[]CountMinter
m[]\OT1/cmr/m/n/10.95 ). 
[8]
LaTeX Warning: Reference `sec:const' on page 9 undefined on input line 436.
LaTeX Warning: Reference `sec:basicZDD' on page 9 undefined on input line 480.
[9]
Overfull \hbox (4.43666pt too wide) in paragraph at lines 488--499
\OT1/cmr/m/n/10.95 Common ma-nip-u-la-tions of BDDs can be ac-com-plished by ca
ll-ing \OT1/cmr/m/it/10.95 Cudd[]bddIte\OT1/cmr/m/n/10.95 .
[10] [11]
LaTeX Warning: Reference `sec:convertZ' on page 12 undefined on input line 601.
[12]
LaTeX Warning: Reference `sec:reordZ' on page 13 undefined on input line 650.
LaTeX Warning: Reference `sec:consist' on page 13 undefined on input line 653.
Overfull \hbox (71.32233pt too wide) in paragraph at lines 660--672
\OT1/cmr/m/n/10.95 fer-ent cri-te-ria. (\OT1/cmr/m/it/10.95 Cudd[]addBddPattern
[]\OT1/cmr/m/n/10.95 , \OT1/cmr/m/it/10.95 Cudd[]addBddInterval[]\OT1/cmr/m/n/1
0.95 , and \OT1/cmr/m/it/10.95 Cudd[]addBddThreshold[]\OT1/cmr/m/n/10.95 .)
[13]
Overfull \hbox (8.51886pt too wide) in paragraph at lines 686--696
\OT1/cmr/m/n/10.95 vari-ables and ZDD vari-ables is one-to-one. Hence, \OT1/cmr
/m/it/10.95 Cudd[]zddVarsFromBddVars
Overfull \hbox (16.44394pt too wide) in paragraph at lines 697--706
\OT1/cmr/m/n/10.95 able is as-so-ci-ated with the neg-a-tive lit-eral. A call t
o \OT1/cmr/m/it/10.95 Cudd[]zddVarsFromBddVars[]
LaTeX Warning: Reference `sec:group' on page 14 undefined on input line 709.
LaTeX Warning: Citation `Rudell93' on page 14 undefined on input line 730.
LaTeX Warning: Citation `Drechs95' on page 14 undefined on input line 730.
LaTeX Warning: Citation `Bollig95' on page 14 undefined on input line 730.
LaTeX Warning: Citation `Ishiur91' on page 14 undefined on input line 730.
LaTeX Warning: Citation `Plessi93' on page 14 undefined on input line 730.
LaTeX Warning: Citation `Jeong93' on page 14 undefined on input line 730.
LaTeX Warning: Citation `Panda94' on page 14 undefined on input line 732.
LaTeX Warning: Citation `Panda95b' on page 14 undefined on input line 732.
LaTeX Warning: Reference `sec:reordZ' on page 14 undefined on input line 738.
[14]
LaTeX Warning: Reference `sec:group' on page 15 undefined on input line 758.
Overfull \hbox (15.6963pt too wide) in paragraph at lines 769--775
[]\OT1/cmr/m/n/10.95 If passed to \OT1/cmr/m/it/10.95 Cudd[]AutodynEnable[]\OT1
/cmr/m/n/10.95 , this method
Overfull \hbox (56.68648pt too wide) in paragraph at lines 782--787
[]\OT1/cmr/m/n/10.95 Same as CUDD[]REORDER[]RANDOM,
LaTeX Warning: Citation `Rudell93' on page 15 undefined on input line 789.
Overfull \hbox (1.53427pt too wide) in paragraph at lines 787--794
[]\OT1/cmr/m/n/10.95 This method is an im-ple-men-ta-tion of Rudell's
[15]
LaTeX Warning: Citation `Panda94' on page 16 undefined on input line 811.
Overfull \hbox (2.11395pt too wide) in paragraph at lines 821--823
[]\OT1/cmr/m/n/10.95 This is the con-verg-ing[] vari-
LaTeX Warning: Citation `Panda95b' on page 16 undefined on input line 825.
Overfull \hbox (0.5922pt too wide) in paragraph at lines 824--828
[]\OT1/cmr/m/n/10.95 This method is an im-ple-men-ta-tion
LaTeX Warning: Citation `Fujita91b' on page 16 undefined on input line 833.
LaTeX Warning: Citation `Ishiur91' on page 16 undefined on input line 833.
Overfull \hbox (31.02905pt too wide) in paragraph at lines 835--837
[]\OT1/cmr/m/n/10.95 Similar to CUDD[]REORDER[]WINDOW2,
Overfull \hbox (31.02905pt too wide) in paragraph at lines 837--839
[]\OT1/cmr/m/n/10.95 Similar to CUDD[]REORDER[]WINDOW2,
[16]
LaTeX Warning: Citation `Bollig95' on page 17 undefined on input line 849.
LaTeX Warning: Citation `Drechs95' on page 17 undefined on input line 854.
LaTeX Warning: Citation `Held62' on page 17 undefined on input line 858.
LaTeX Warning: Citation `Friedman90' on page 17 undefined on input line 858.
LaTeX Warning: Citation `Ishiur91' on page 17 undefined on input line 858.
LaTeX Warning: Citation `Jeong93' on page 17 undefined on input line 859.
Overfull \hbox (35.50565pt too wide) in paragraph at lines 880--885
\OT1/cmr/m/n/10.95 The cur-rent tree reg-is-tered with the man-ager can be read
 with \OT1/cmr/m/it/10.95 Cudd[]ReadTree[]\OT1/cmr/m/n/10.95 . 
[17]
Overfull \hbox (10.40593pt too wide) in paragraph at lines 922--930
\OT1/cmr/m/n/10.95 they are cre-ated. There-fore, ap-pli-ca-tions that rely on 
\OT1/cmr/m/it/10.95 Cudd[]bddNewVarAtLevel[]
Overfull \hbox (10.53778pt too wide) in paragraph at lines 940--951
\OT1/cmr/m/n/10.95 en-able dy-namic[] re-order-ing, the ap-pli-ca-tion must cal
l \OT1/cmr/m/it/10.95 Cudd[]AutodynEnableZdd[]\OT1/cmr/m/n/10.95 ,
[18]
Overfull \hbox (22.8843pt too wide) in paragraph at lines 963--965
[]\OT1/cmr/m/n/10.95 To cre-ate ZDD vari-able groups, the ap-pli-ca-tion calls 
\OT1/cmr/m/it/10.95 Cudd[]MakeZddTreeNode[]\OT1/cmr/m/n/10.95 . 
Overfull \hbox (5.93063pt too wide) in paragraph at lines 966--966
[]\OT1/cmr/bx/n/12 Keeping Con-sis-tent Vari-able Or-ders for BDDs and ZDDs 
[19]
Overfull \hbox (2.29327pt too wide) in paragraph at lines 1015--1028
\OT1/cmr/m/it/10.95 Cudd[]UnsetTimeLimit[]\OT1/cmr/m/n/10.95 , \OT1/cmr/m/it/10
.95 Cudd[]UpdateTimeLimit[]\OT1/cmr/m/n/10.95 , \OT1/cmr/m/it/10.95 Cudd[]Incre
aseTimeLimit[]\OT1/cmr/m/n/10.95 .)
[20]
LaTeX Warning: Reference `fi:phase' on page 21 undefined on input line 1058.
Overfull \hbox (2.4596pt too wide) in paragraph at lines 1053--1072
\OT1/cmr/m/n/10.95 ure []. \OT1/cmr/m/it/10.95 Cudd[]DumpDot \OT1/cmr/m/n/10.95
 is re-stricted to BDDs and ADDs; \OT1/cmr/m/it/10.95 Cudd[]zddDumpDot
Overfull \hbox (14.82913pt too wide) in paragraph at lines 1053--1072
\OT1/cmr/m/n/10.95 may be used to draw ZDDs. \OT1/cmr/m/it/10.95 Cudd[]zddDumpD
ot[] \OT1/cmr/m/n/10.95 is the ana-log of \OT1/cmr/m/it/10.95 Cudd[]DumpDot
LaTeX Warning: Reference `sec:getFriends' on page 21 undefined on input line 10
80.
[21] [22 <../doc/phase.pdfmake: *** [Makefile:3506: doc/cudd.pdf] Error 139
error: Bad exit status from /var/tmp/rpm-tmp.Txsuay (%build)
    Bad exit status from /var/tmp/rpm-tmp.Txsuay (%build)
RPM build errors:
Child return code was: 1
EXCEPTION: [Error('Command failed: \n # /usr/bin/systemd-nspawn -q -M 0b6bb22969bf4bc7878300cc7f2df33d -D /var/lib/mock/f41-build-758829-13437/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin \'--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"\' \'--setenv=PS1=<mock-chroot> \\s-\\v\\$ \' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c \'/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/yices.spec\'\n', 1)]
Traceback (most recent call last):
  File "/usr/lib/python3.12/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
             ^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.12/site-packages/mockbuild/util.py", line 612, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (cmd_pretty(command, env), output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # /usr/bin/systemd-nspawn -q -M 0b6bb22969bf4bc7878300cc7f2df33d -D /var/lib/mock/f41-build-758829-13437/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.3rrzwvfz:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin '--setenv=PROMPT_COMMAND=printf "\033]0;<mock-chroot>\007"' '--setenv=PS1=<mock-chroot> \s-\v\$ ' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/yices.spec'