Mock Version: 1.4.14 Mock Version: 1.4.14 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'], chrootPath='/var/lib/mock/f31-build-111803-34189/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=986gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False BUILDSTDERR: warning: line 55: Possible unexpanded macro in: Requires: emacs(bin) >= %{_emacs_version} BUILDSTDERR: warning: line 64: Possible unexpanded macro in: Requires: xemacs(bin) >= %{_xemacs_version} Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1564012800 Wrote: /builddir/build/SRPMS/mona-1.4r17-8.fc31.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'], chrootPath='/var/lib/mock/f31-build-111803-34189/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=986gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1564012800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.aDXNx8 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf mona-1.4 + /usr/bin/gzip -dc /builddir/build/SOURCES/mona-1.4-17.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd mona-1.4 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cp -p /builddir/build/SOURCES/mona14.pdf . + sed '/^using/i#pragma weak guide\n' Front/lib.cpp + touch -r Front/lib.cpp Front/lib.cpp.new + mv -v Front/lib.cpp.new Front/lib.cpp renamed 'Front/lib.cpp.new' -> 'Front/lib.cpp' + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.cmqTW7 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' BUILDSTDERR: +++ dirname ./configure BUILDSTDERR: ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config/config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config/config.guess BUILDSTDERR: ++ basename ./config/config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config/config.guess '/usr/lib/rpm/redhat/config.guess' -> './config/config.guess' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config/config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config/config.sub BUILDSTDERR: ++ basename ./config/config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config/config.sub '/usr/lib/rpm/redhat/config.sub' -> './config/config.sub' + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' BUILDSTDERR: ++ 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"~' ./config/ltmain.sh + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-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 --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-static checking for a BSD-compatible install... /usr/bin/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 style of include used by make... GNU checking for riscv64-redhat-linux-gnu-gcc... no checking for 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 we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -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 minix/config.h usability... no checking minix/config.h presence... no checking for minix/config.h... no checking whether it is safe to define __EXTENSIONS__... yes checking for special C compiler options needed for large files... no checking for _FILE_OFFSET_BITS value needed for large files... no checking for riscv64-redhat-linux-gnu-gcc... gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking whether gcc understands -c and -o together... (cached) yes checking dependency style of gcc... (cached) none checking for riscv64-redhat-linux-gnu-g++... no checking for riscv64-redhat-linux-gnu-c++... no checking for riscv64-redhat-linux-gnu-gpp... no checking for riscv64-redhat-linux-gnu-aCC... no checking for riscv64-redhat-linux-gnu-CC... no checking for riscv64-redhat-linux-gnu-cxx... no checking for riscv64-redhat-linux-gnu-cc++... no checking for riscv64-redhat-linux-gnu-cl.exe... no checking for riscv64-redhat-linux-gnu-FCC... no checking for riscv64-redhat-linux-gnu-KCC... no checking for riscv64-redhat-linux-gnu-RCC... no checking for riscv64-redhat-linux-gnu-xlC_r... no checking for riscv64-redhat-linux-gnu-xlC... no checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... none checking for riscv64-redhat-linux-gnu-ar... no checking for riscv64-redhat-linux-gnu-lib... no checking for riscv64-redhat-linux-gnu-link... no checking for ar... ar checking the archiver (ar) interface... ar checking for bison... no checking for byacc... no checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking build system type... riscv64-redhat-linux-gnu checking host system type... riscv64-redhat-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /usr/bin/sed 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 whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert riscv64-redhat-linux-gnu file names to riscv64-redhat-linux-gnu format... func_convert_file_noop checking how to convert riscv64-redhat-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-redhat-linux-gnu-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for riscv64-redhat-linux-gnu-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for riscv64-redhat-linux-gnu-ar... ar checking for archiver @FILE support... @ checking for riscv64-redhat-linux-gnu-strip... no checking for strip... strip checking for riscv64-redhat-linux-gnu-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for riscv64-redhat-linux-gnu-mt... no checking for mt... no checking if : is a manifest tool... no 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 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... 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 Win32 compiler... no checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for an ANSI C-conforming const... yes checking for inline... inline checking for size_t... yes checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... yes checking for working memcmp... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/param.h... yes checking for getpagesize... yes checking for working mmap... yes checking for alarm... yes checking for memset... yes checking for mkdir... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating mona.spec config.status: creating makefile config.status: creating config/makefile config.status: creating Mem/makefile config.status: creating BDD/makefile config.status: creating DFA/makefile config.status: creating GTA/makefile config.status: creating Front/makefile config.status: creating Lib/makefile config.status: creating Examples/makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands + make -j4 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' 'CXXFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' make all-recursive make[1]: Entering directory '/builddir/build/BUILD/mona-1.4' Making all in config make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/config' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/config' Making all in Mem make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o dlmalloc.lo dlmalloc.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mem.lo mem.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c mem.c -fPIC -DPIC -o .libs/mem.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c dlmalloc.c -fPIC -DPIC -o .libs/dlmalloc.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonamem.la -rpath /usr/lib64 dlmalloc.lo mem.lo libtool: link: gcc -shared -fPIC -DPIC .libs/dlmalloc.o .libs/mem.o -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonamem.so.1 -o .libs/libmonamem.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonamem.so.1" && ln -s "libmonamem.so.1.0.4" "libmonamem.so.1") libtool: link: (cd ".libs" && rm -f "libmonamem.so" && ln -s "libmonamem.so.1.0.4" "libmonamem.so") libtool: link: ( cd ".libs" && rm -f "libmonamem.la" && ln -s "../libmonamem.la" "libmonamem.la" ) make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem' Making all in BDD make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD' /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd.lo bdd.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_cache.lo bdd_cache.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_double.lo bdd_double.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_dump.lo bdd_dump.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd.c -fPIC -DPIC -o .libs/bdd.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd_cache.c -fPIC -DPIC -o .libs/bdd_cache.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd_dump.c -fPIC -DPIC -o .libs/bdd_dump.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd_double.c -fPIC -DPIC -o .libs/bdd_double.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_external.lo bdd_external.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_manager.lo bdd_manager.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd_external.c -fPIC -DPIC -o .libs/bdd_external.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_trace.lo bdd_trace.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd_manager.c -fPIC -DPIC -o .libs/bdd_manager.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c bdd_trace.c -fPIC -DPIC -o .libs/bdd_trace.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o hash.lo hash.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c hash.c -fPIC -DPIC -o .libs/hash.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonabdd.la -rpath /usr/lib64 bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la libtool: link: gcc -shared -fPIC -DPIC .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/Mem/.libs -Wl,-rpath -Wl,/usr/lib64 ../Mem/.libs/libmonamem.so -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonabdd.so.1" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so.1") libtool: link: (cd ".libs" && rm -f "libmonabdd.so" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so") libtool: link: ( cd ".libs" && rm -f "libmonabdd.la" && ln -s "../libmonabdd.la" "libmonabdd.la" ) make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD' Making all in DFA make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA' /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c basic.c -fPIC -DPIC -o .libs/libmonadfa_la-basic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c analyze.c -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c external.c -fPIC -DPIC -o .libs/libmonadfa_la-external.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c dfa.c -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c makebasic.c -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c minimize.c -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c prefix.c -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c printdfa.c -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c product.c -fPIC -DPIC -o .libs/libmonadfa_la-product.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c project.c -fPIC -DPIC -o .libs/libmonadfa_la-project.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c quotient.c -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonadfa.la -rpath /usr/lib64 libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la libtool: link: gcc -shared -fPIC -DPIC .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/Mem/.libs -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/BDD/.libs -Wl,-rpath -Wl,/usr/lib64 ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonadfa.so.1" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so.1") libtool: link: (cd ".libs" && rm -f "libmonadfa.so" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so") libtool: link: ( cd ".libs" && rm -f "libmonadfa.la" && ln -s "../libmonadfa.la" "libmonadfa.la" ) make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA' Making all in GTA make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA' /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c copy.c -fPIC -DPIC -o .libs/libmonagta_la-copy.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c analyze.c -fPIC -DPIC -o .libs/libmonagta_la-analyze.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c basic.c -fPIC -DPIC -o .libs/libmonagta_la-basic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c analyze_acceptance.c -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c dyn.c -fPIC -DPIC -o .libs/libmonagta_la-dyn.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c external.c -fPIC -DPIC -o .libs/libmonagta_la-external.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c gta.c -fPIC -DPIC -o .libs/libmonagta_la-gta.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c makebasic.c -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c minimize.c -fPIC -DPIC -o .libs/libmonagta_la-minimize.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c negation.c -fPIC -DPIC -o .libs/libmonagta_la-negation.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c pairhash.c -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c printgta.c -fPIC -DPIC -o .libs/libmonagta_la-printgta.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c product.c -fPIC -DPIC -o .libs/libmonagta_la-product.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c project.c -fPIC -DPIC -o .libs/libmonagta_la-project.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c projset.c -fPIC -DPIC -o .libs/libmonagta_la-projset.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c reachable.c -fPIC -DPIC -o .libs/libmonagta_la-reachable.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c replace_indices.c -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c restrict.c -fPIC -DPIC -o .libs/libmonagta_la-restrict.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c subsets.c -fPIC -DPIC -o .libs/libmonagta_la-subsets.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c types.c -fPIC -DPIC -o .libs/libmonagta_la-types.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonagta.la -rpath /usr/lib64 libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la libtool: link: gcc -shared -fPIC -DPIC .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/Mem/.libs -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/BDD/.libs -Wl,-rpath -Wl,/usr/lib64 ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonagta.so.1" && ln -s "libmonagta.so.1.0.4" "libmonagta.so.1") libtool: link: (cd ".libs" && rm -f "libmonagta.so" && ln -s "libmonagta.so.1.0.4" "libmonagta.so") libtool: link: ( cd ".libs" && rm -f "libmonagta.la" && ln -s "../libmonagta.la" "libmonagta.la" ) make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' Making all in Front make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' make all-am make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp BUILDSTDERR: scanner.cpp: In function 'int yylex()': BUILDSTDERR: scanner.cpp:1059:1: warning: label 'find_rule' defined but not used [-Wunused-label] BUILDSTDERR: 1059 | find_rule: /* we branch to this label when backing up */ BUILDSTDERR: | ^~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp BUILDSTDERR: scanner.cpp: At global scope: BUILDSTDERR: scanner.cpp:2480:12: warning: 'int yy_flex_strlen(const char*)' defined but not used [-Wunused-function] BUILDSTDERR: 2480 | static int yy_flex_strlen (yyconst char * s ) BUILDSTDERR: | ^~~~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp /bin/sh ../libtool --tag=CXX --mode=link g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la ../GTA/libmonagta.la libtool: link: g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so ../GTA/.libs/libmonagta.so -Wl,-rpath -Wl,/usr/lib64 make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' Making all in Lib make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o dfa2dot.o dfa2dot.c gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o dfalib.o dfalib.c gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o gta2dot.o gta2dot.c gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o gtalib.o gtalib.c /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o dfa2dot dfa2dot.o dfalib.o libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o dfa2dot dfa2dot.o dfalib.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o gta2dot gta2dot.o gtalib.o libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o gta2dot gta2dot.o gtalib.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' Making all in Examples make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o bdd_example.o bdd_example.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o gta_example.o gta_example.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o presburger_transduction.o presburger_transduction.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -c -o presburger_analysis.o presburger_analysis.c /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o gta_example gta_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../GTA/libmonagta.la libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/bdd_example bdd_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-rpath -Wl,/usr/lib64 libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/presburger_transduction presburger_transduction.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so -Wl,-rpath -Wl,/usr/lib64 libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/presburger_analysis presburger_analysis.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so -Wl,-rpath -Wl,/usr/lib64 libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/gta_example gta_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../GTA/.libs/libmonagta.so -Wl,-rpath -Wl,/usr/lib64 make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4' + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.u0llk6 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 + cd mona-1.4 + make install DESTDIR=/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 Making install in config make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/config' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/config' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/config' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/config' Making install in Mem make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonamem.la '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' libtool: install: /usr/bin/install -c .libs/libmonamem.so.1.0.4 /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonamem.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonamem.so.1.0.4 libmonamem.so.1 || { rm -f libmonamem.so.1 && ln -s libmonamem.so.1.0.4 libmonamem.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonamem.so.1.0.4 libmonamem.so || { rm -f libmonamem.so && ln -s libmonamem.so.1.0.4 libmonamem.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonamem.lai /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonamem.la BUILDSTDERR: libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' /usr/bin/install -c -m 644 dlmalloc.h gnuc.h mem.h '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem' Making install in BDD make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonabdd.la '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' BUILDSTDERR: libtool: install: warning: relinking `libmonabdd.la' libtool: install: (cd /builddir/build/BUILD/mona-1.4/BDD; /bin/sh /builddir/build/BUILD/mona-1.4/libtool --tag CC --mode=relink gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonabdd.la -rpath /usr/lib64 bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la -inst-prefix-dir /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64) libtool: relink: gcc -shared -fPIC -DPIC .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o -Wl,-rpath -Wl,/usr/lib64 -L/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonabdd.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonabdd.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so.1 || { rm -f libmonabdd.so.1 && ln -s libmonabdd.so.1.0.4 libmonabdd.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so || { rm -f libmonabdd.so && ln -s libmonabdd.so.1.0.4 libmonabdd.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonabdd.lai /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonabdd.la BUILDSTDERR: libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' /usr/bin/install -c -m 644 bdd.h '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD' Making install in DFA make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonadfa.la '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' BUILDSTDERR: libtool: install: warning: relinking `libmonadfa.la' libtool: install: (cd /builddir/build/BUILD/mona-1.4/DFA; /bin/sh /builddir/build/BUILD/mona-1.4/libtool --tag CC --mode=relink gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonadfa.la -rpath /usr/lib64 libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64) libtool: relink: gcc -shared -fPIC -DPIC .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o -Wl,-rpath -Wl,/usr/lib64 -L/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -lmonabdd -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonadfa.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonadfa.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so.1 || { rm -f libmonadfa.so.1 && ln -s libmonadfa.so.1.0.4 libmonadfa.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so || { rm -f libmonadfa.so && ln -s libmonadfa.so.1.0.4 libmonadfa.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonadfa.lai /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonadfa.la BUILDSTDERR: libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' /usr/bin/install -c -m 644 dfa.h '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA' Making install in GTA make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonagta.la '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64' BUILDSTDERR: libtool: install: warning: relinking `libmonagta.la' libtool: install: (cd /builddir/build/BUILD/mona-1.4/GTA; /bin/sh /builddir/build/BUILD/mona-1.4/libtool --tag CC --mode=relink gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonagta.la -rpath /usr/lib64 libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64) libtool: relink: gcc -shared -fPIC -DPIC .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o -Wl,-rpath -Wl,/usr/lib64 -L/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -lmonabdd -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonagta.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonagta.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonagta.so.1.0.4 libmonagta.so.1 || { rm -f libmonagta.so.1 && ln -s libmonagta.so.1.0.4 libmonagta.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64 && { ln -s -f libmonagta.so.1.0.4 libmonagta.so || { rm -f libmonagta.so && ln -s libmonagta.so.1.0.4 libmonagta.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonagta.lai /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonagta.la BUILDSTDERR: libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' /usr/bin/install -c -m 644 gta.h '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' Making install in Front make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' make install-am make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -c mona '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin' BUILDSTDERR: libtool: install: warning: `../Mem/libmonamem.la' has not been installed in `/usr/lib64' BUILDSTDERR: libtool: install: warning: `../BDD/libmonabdd.la' has not been installed in `/usr/lib64' BUILDSTDERR: libtool: install: warning: `../DFA/libmonadfa.la' has not been installed in `/usr/lib64' BUILDSTDERR: libtool: install: warning: `../GTA/libmonagta.la' has not been installed in `/usr/lib64' libtool: install: /usr/bin/install -c .libs/mona /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/mona make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' Making install in Lib make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -c dfa2dot gta2dot '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin' libtool: install: /usr/bin/install -c dfa2dot /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/dfa2dot libtool: install: /usr/bin/install -c gta2dot /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/gta2dot make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' Making install in Examples make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[1]: Entering directory '/builddir/build/BUILD/mona-1.4' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share' /usr/bin/install -c -m 644 mona-mode.el '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/man/man1' /usr/bin/install -c -m 644 mona.1 '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/man/man1' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' /usr/bin/install -c -m 644 config.h '/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4' + rm -f /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonabdd.la /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonadfa.la /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonagta.la /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonamem.la + cp -p Examples/bdd_example /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin + cp -p Examples/gta_example /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin + cp -p Examples/presburger_analysis /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin + cp -p Examples/presburger_transduction /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin + mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/emacs/site-lisp/mona + mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/xemacs/site-packages/lisp + cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/emacs/site-lisp/mona + cp -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/mona-mode.el . + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(progn (setq load-path (cons "." load-path)))' -f batch-byte-compile mona-mode.el + cd /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/xemacs/site-packages/lisp + mv /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/mona-mode.el . + /usr/bin/xemacs -q -no-site-file -batch -eval '(push "." load-path)' -f batch-byte-compile mona-mode.el BUILDSTDERR: Compiling /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/xemacs/site-packages/lisp/mona-mode.el... BUILDSTDERR: Wrote /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/xemacs/site-packages/lisp/mona-mode.elc Done + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.4r17-8.fc31 --unique-debug-suffix -1.4r17-8.fc31.riscv64 --unique-debug-src-base mona-1.4r17-8.fc31.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/mona-1.4 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/gta2dot explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/dfa2dot explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonabdd.so.1.0.4 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/mona extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/gta2dot extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/dfa2dot extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonabdd.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/bin/mona explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonadfa.so.1.0.4 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonagta.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonadfa.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonagta.so.1.0.4 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonamem.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/lib64/libmonamem.so.1.0.4 original debug info size: 4452kB, size after compression: 3764kB /usr/lib/rpm/sepdebugcrcfix: Updated 7 CRC32s, 0 CRC32s did match. BUILDSTDERR: 2365 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/presburger_transduction from /bin/sh to #!/usr/bin/sh mangling shebang in /usr/bin/presburger_analysis from /bin/sh to #!/usr/bin/sh mangling shebang in /usr/bin/bdd_example from /bin/sh to #!/usr/bin/sh mangling shebang in /usr/bin/gta_example from /bin/sh to #!/usr/bin/sh Processing files: mona-1.4r17-8.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.nhLd06 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona + cp -pr mona14.pdf /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: mona = 1.4r17-8.fc31 mona(riscv-64) = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: mona-libs-1.4r17-8.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.1pqnj9 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-libs + cp -pr AUTHORS /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-libs + cp -pr ChangeLog /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-libs + cp -pr NEWS /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-libs + cp -pr README /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-libs + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.SFYDE6 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + LICENSEDIR=/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/licenses/mona-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/licenses/mona-libs + cp -pr COPYING /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/licenses/mona-libs + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) mona-libs = 1.4r17-8.fc31 mona-libs(riscv-64) = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libmonabdd.so.1()(64bit) libmonamem.so.1()(64bit) rtld(GNU_HASH) Processing files: mona-devel-1.4r17-8.fc31.riscv64 Provides: mona-devel = 1.4r17-8.fc31 mona-devel(riscv-64) = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) Processing files: mona-examples-1.4r17-8.fc31.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.qBxmC5 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples + cp -pr Examples/ab1.mona Examples/ab2.mona Examples/even.mona Examples/even_with_assert.mona Examples/even_with_pred.mona Examples/html.mona Examples/hyman.mona Examples/lossy_queue.mona Examples/minusmodulo.mona Examples/nadder.mona Examples/plusmodulo.mona Examples/presburger.mona Examples/regexp.mona /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples + cp -pr Examples/bdd_volatility /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: mona-examples = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/sh Processing files: mona-emacs-1.4r17-8.fc31.noarch Provides: mona-emacs = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: mona-xemacs-1.4r17-8.fc31.noarch Provides: mona-xemacs = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: mona-debugsource-1.4r17-8.fc31.riscv64 Provides: mona-debugsource = 1.4r17-8.fc31 mona-debugsource(riscv-64) = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: mona-debuginfo-1.4r17-8.fc31.riscv64 Provides: debuginfo(build-id) = 8964ed6407bf76e013f71b37f189c280c5bfe63d debuginfo(build-id) = be9dfed2f29c48b89cdf0c4c270d1a2243d9245f debuginfo(build-id) = e260c40cd736d81560b5f5486522cb3d4a2d264f mona-debuginfo = 1.4r17-8.fc31 mona-debuginfo(riscv-64) = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: mona-debugsource(riscv-64) = 1.4r17-8.fc31 Processing files: mona-libs-debuginfo-1.4r17-8.fc31.riscv64 Provides: debuginfo(build-id) = 3c28fa387f1d1559a935e9a1dd3ce09de206efed debuginfo(build-id) = 67f3f9a56b3a6fc9d4fc71f1ea6ff0d70e567bf9 debuginfo(build-id) = b93806f9f0591c4bbf629de53c2408d039aa5988 debuginfo(build-id) = bb176ba133a82ea6b565c8d0099e932a4fc40040 mona-libs-debuginfo = 1.4r17-8.fc31 mona-libs-debuginfo(riscv-64) = 1.4r17-8.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: mona-debugsource(riscv-64) = 1.4r17-8.fc31 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 Wrote: /builddir/build/RPMS/mona-examples-1.4r17-8.fc31.noarch.rpm Wrote: /builddir/build/RPMS/mona-devel-1.4r17-8.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/mona-emacs-1.4r17-8.fc31.noarch.rpm Wrote: /builddir/build/RPMS/mona-xemacs-1.4r17-8.fc31.noarch.rpm Wrote: /builddir/build/RPMS/mona-libs-1.4r17-8.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/mona-libs-debuginfo-1.4r17-8.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/mona-1.4r17-8.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/mona-debugsource-1.4r17-8.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/mona-debuginfo-1.4r17-8.fc31.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.XQf095 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + /usr/bin/rm -rf /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Child return code was: 0