Mock Version: 2.15 Mock Version: 2.15 Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'], chrootPath='/var/lib/mock/f37-build-668957-74828/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': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=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': 'C.UTF-8'} and shell False warning: line 59: Possible unexpanded macro in: Requires: emacs(bin) >= %{_emacs_version} Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1658361600 Wrote: /builddir/build/SRPMS/mona-1.4r18-7.fc37.src.rpm RPM build warnings: line 59: Possible unexpanded macro in: Requires: emacs(bin) >= %{_emacs_version} Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'], chrootPath='/var/lib/mock/f37-build-668957-74828/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': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=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': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1658361600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.B6A6P4 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf mona-1.4 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/mona-1.4-18.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd mona-1.4 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/mona-weak-guide.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + cp -p /builddir/build/SOURCES/mona14.pdf . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.lvT5tC + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd mona-1.4 + export 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' + export 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']' ++ find . -type f -name configure -print + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure + diff -u ./configure.backup ./configure --- ./configure.backup 2020-02-08 13:28:53.000000000 -0500 +++ ./configure 2022-11-08 11:51:53.594239960 -0500 @@ -1909,7 +1909,7 @@ #ifdef __cplusplus extern "C" #endif -char $2 (); +__attribute__ ((used)) char $2 (); /* The GNU C library defines this for functions which it implements to always fail with ENOSYS. Some functions are actually named something starting with __ and the normal name is an alias. */ + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure + diff -u ./configure.backup ./configure --- ./configure.backup 2022-11-08 11:51:53.594239960 -0500 +++ ./configure 2022-11-08 11:51:53.764240117 -0500 @@ -8200,7 +8200,7 @@ # Transform an extracted symbol line into a proper C declaration. # Some systems (esp. on ia64) link data and code symbols differently, # so use this general approach. -lt_cv_sys_global_symbol_to_cdecl="sed -n"\ +lt_cv_sys_global_symbol_to_cdecl="sed -n -e 's/^T .* \(.*\)$/extern int \1();/p' -e 's/^$symcode* .* \(.*\)$/extern char \1;/p'" $lt_cdecl_hook\ " -e 's/^T .* \(.*\)$/extern int \1();/p'"\ " -e 's/^$symcode$symcode* .* \(.*\)$/extern char \1;/p'" @@ -18769,7 +18769,7 @@ compiler='`$ECHO "$compiler" | $SED "$delay_single_quote_subst"`' GCC='`$ECHO "$GCC" | $SED "$delay_single_quote_subst"`' lt_cv_sys_global_symbol_pipe='`$ECHO "$lt_cv_sys_global_symbol_pipe" | $SED "$delay_single_quote_subst"`' -lt_cv_sys_global_symbol_to_cdecl='`$ECHO "$lt_cv_sys_global_symbol_to_cdecl" | $SED "$delay_single_quote_subst"`' +lt_cv_sys_global_symbol_to_cdecl="sed -n -e 's/^T .* \(.*\)$/extern int \1();/p' -e 's/^$symcode* .* \(.*\)$/extern char \1;/p'" lt_cv_sys_global_symbol_to_import='`$ECHO "$lt_cv_sys_global_symbol_to_import" | $SED "$delay_single_quote_subst"`' lt_cv_sys_global_symbol_to_c_name_address='`$ECHO "$lt_cv_sys_global_symbol_to_c_name_address" | $SED "$delay_single_quote_subst"`' lt_cv_sys_global_symbol_to_c_name_address_lib_prefix='`$ECHO "$lt_cv_sys_global_symbol_to_c_name_address_lib_prefix" | $SED "$delay_single_quote_subst"`' + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config/config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config/config.sub ++ 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' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config/config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config/config.guess ++ 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' + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' ++ find . -name ltmain.sh + for i in $(find . -name ltmain.sh) + /usr/bin/sed -i.backup -e 's~compiler_flags=$~compiler_flags="-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"~' ./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 whether make supports the include directive... yes (GNU style) checking for riscv64-redhat-linux-gnu-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether 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... (cached) 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 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 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... ./configure: line 8206: -e 's/^T .* \(.*\)$/extern int \1();/p' -e 's/^[ABCDGIRSTW][ABCDGIRSTW]* .* \(.*\)$/extern char \1;/p': No such file or directory ok checking for sysroot... no checking for a working dd... /usr/bin/dd checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 checking for riscv64-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: config.h is unchanged config.status: executing depfiles commands config.status: executing libtool commands + sed -e 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' -e 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' -e 's|CC="\(.*g..\)"|CC="\1 -Wl,--as-needed"|' -i libtool + /usr/bin/make -O -j4 V=1 VERBOSE=1 /usr/bin/make all-recursive Making all in config make[2]: Nothing to be done for 'all'. 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dlmalloc.lo dlmalloc.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c -fPIC -DPIC -o .libs/dlmalloc.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mem.lo mem.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c mem.c -fPIC -DPIC -o .libs/mem.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o libmonamem.la -rpath /usr/lib64 dlmalloc.lo mem.lo libtool: link: gcc -Wl,--as-needed -shared -fPIC -DPIC .libs/dlmalloc.o .libs/mem.o -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_cache.lo bdd_cache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c -fPIC -DPIC -o .libs/bdd_cache.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_double.lo bdd_double.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c -fPIC -DPIC -o .libs/bdd_double.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_dump.lo bdd_dump.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_dump.c -fPIC -DPIC -o .libs/bdd_dump.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_external.lo bdd_external.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c -fPIC -DPIC -o .libs/bdd_external.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_trace.lo bdd_trace.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c -fPIC -DPIC -o .libs/bdd_trace.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_manager.lo bdd_manager.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_manager.c -fPIC -DPIC -o .libs/bdd_manager.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o hash.lo hash.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c hash.c -fPIC -DPIC -o .libs/hash.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd.lo bdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd.c -fPIC -DPIC -o .libs/bdd.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -Wl,--as-needed -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 ../Mem/.libs/libmonamem.so -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dfa.c -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -fPIC -DPIC -o .libs/libmonadfa_la-external.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -fPIC -DPIC -o .libs/libmonadfa_la-basic.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c prefix.c -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -fPIC -DPIC -o .libs/libmonadfa_la-product.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -fPIC -DPIC -o .libs/libmonadfa_la-project.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -Wl,--as-needed -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 -L/builddir/build/BUILD/mona-1.4/Mem/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c copy.c -fPIC -DPIC -o .libs/libmonagta_la-copy.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dyn.c -fPIC -DPIC -o .libs/libmonagta_la-dyn.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -fPIC -DPIC -o .libs/libmonagta_la-analyze.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c -fPIC -DPIC -o .libs/libmonagta_la-gta.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c negation.c -fPIC -DPIC -o .libs/libmonagta_la-negation.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -fPIC -DPIC -o .libs/libmonagta_la-basic.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -fPIC -DPIC -o .libs/libmonagta_la-external.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -fPIC -DPIC -o .libs/libmonagta_la-minimize.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c -fPIC -DPIC -o .libs/libmonagta_la-printgta.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -fPIC -DPIC -o .libs/libmonagta_la-product.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c projset.c -fPIC -DPIC -o .libs/libmonagta_la-projset.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c replace_indices.c -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c restrict.c -fPIC -DPIC -o .libs/libmonagta_la-restrict.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c -fPIC -DPIC -o .libs/libmonagta_la-reachable.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -fPIC -DPIC -o .libs/libmonagta_la-project.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c subsets.c -fPIC -DPIC -o .libs/libmonagta_la-subsets.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c types.c -fPIC -DPIC -o .libs/libmonagta_la-types.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -Wl,--as-needed -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 -L/builddir/build/BUILD/mona-1.4/Mem/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 /usr/bin/make all-am make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' /bin/sh ../libtool --tag=CXX --mode=link g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 /builddir/build/BUILD/mona-1.4/BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so make[3]: 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfa2dot.o dfa2dot.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta2dot.o gta2dot.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfalib.o dfalib.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' gcc -DHAVE_CONFIG_H -I. -I.. -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gtalib.o gtalib.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o dfa2dot dfa2dot.o dfalib.o libtool: link: gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o dfa2dot dfa2dot.o dfalib.o make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o gta2dot gta2dot.o gtalib.o libtool: link: gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_transduction.o presburger_transduction.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_example.o bdd_example.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_analysis.o presburger_analysis.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta_example.o gta_example.c make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la libtool: link: gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o .libs/bdd_example bdd_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la libtool: link: gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o .libs/presburger_transduction presburger_transduction.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so /builddir/build/BUILD/mona-1.4/BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la libtool: link: gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o .libs/presburger_analysis presburger_analysis.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so /builddir/build/BUILD/mona-1.4/BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o gta_example gta_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../GTA/libmonagta.la libtool: link: gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o .libs/gta_example gta_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../GTA/.libs/libmonagta.so /builddir/build/BUILD/mona-1.4/BDD/.libs/libmonabdd.so /builddir/build/BUILD/mona-1.4/Mem/.libs/libmonamem.so make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.jXBoZs + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 ++ dirname /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd mona-1.4 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 'INSTALL=/usr/bin/install -p' 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.4r18-7.fc37.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -p libmonamem.la '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64' libtool: install: /usr/bin/install -p .libs/libmonamem.so.1.0.4 /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonamem.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.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 -p .libs/libmonamem.lai /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonamem.la libtool: warning: remember to run 'libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/include/mona' /usr/bin/install -p -m 644 dlmalloc.h gnuc.h mem.h '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -p libmonabdd.la '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64' libtool: 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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.4r18-7.fc37.riscv64) libtool: relink: gcc -Wl,--as-needed -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 -L/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 libtool: install: /usr/bin/install -p .libs/libmonabdd.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonabdd.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.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 -p .libs/libmonabdd.lai /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonabdd.la libtool: warning: remember to run 'libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/include/mona' /usr/bin/install -p -m 644 bdd.h '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -p libmonadfa.la '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64' libtool: 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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.4r18-7.fc37.riscv64) libtool: relink: gcc -Wl,--as-needed -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 -L/builddir/build/BUILD/mona-1.4/Mem/.libs -L/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64 -L/usr/lib64 -lmonabdd -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 libtool: install: /usr/bin/install -p .libs/libmonadfa.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonadfa.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.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 -p .libs/libmonadfa.lai /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonadfa.la libtool: warning: remember to run 'libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/include/mona' /usr/bin/install -p -m 644 dfa.h '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -p libmonagta.la '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64' libtool: 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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.4r18-7.fc37.riscv64) libtool: relink: gcc -Wl,--as-needed -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 -L/builddir/build/BUILD/mona-1.4/Mem/.libs -L/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64 -L/usr/lib64 -lmonabdd -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -flto=auto -g -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: install: /usr/bin/install -p .libs/libmonagta.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonagta.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.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 -p .libs/libmonagta.lai /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonagta.la libtool: warning: remember to run 'libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/include/mona' /usr/bin/install -p -m 644 gta.h '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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' /usr/bin/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.4r18-7.fc37.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -p mona '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin' libtool: warning: '../Mem/libmonamem.la' has not been installed in '/usr/lib64' libtool: warning: '../BDD/libmonabdd.la' has not been installed in '/usr/lib64' libtool: warning: '../DFA/libmonadfa.la' has not been installed in '/usr/lib64' libtool: warning: '../GTA/libmonagta.la' has not been installed in '/usr/lib64' libtool: warning: '/builddir/build/BUILD/mona-1.4/BDD/libmonabdd.la' has not been installed in '/usr/lib64' libtool: warning: '/builddir/build/BUILD/mona-1.4/Mem/libmonamem.la' has not been installed in '/usr/lib64' libtool: install: /usr/bin/install -p .libs/mona /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -p dfa2dot gta2dot '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin' libtool: install: /usr/bin/install -p dfa2dot /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin/dfa2dot libtool: install: /usr/bin/install -p gta2dot /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/share' /usr/bin/install -p -m 644 mona-mode.el '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/man/man1' /usr/bin/install -p -m 644 mona.1 '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/man/man1' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/include/mona' /usr/bin/install -p -m 644 config.h '/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/lib64/libmonabdd.la /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonadfa.la /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonagta.la /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonamem.la + cp -p Examples/bdd_example /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin + cp -p Examples/gta_example /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin + cp -p Examples/presburger_analysis /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin + cp -p Examples/presburger_transduction /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin + mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/emacs/site-lisp/mona + cd /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/emacs/site-lisp/mona + mv /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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 + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.4r18-7.fc37 --unique-debug-suffix -1.4r18-7.fc37.riscv64 --unique-debug-src-base mona-1.4r18-7.fc37.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/mona-1.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin/dfa2dot extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin/gta2dot extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/bin/mona extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonabdd.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonadfa.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonagta.so.1.0.4 extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/lib64/libmonamem.so.1.0.4 original debug info size: 9724kB, size after compression: 9200kB /usr/bin/sepdebugcrcfix: Updated 7 CRC32s, 0 CRC32s did match. 2360 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/bdd_example 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/gta_example from /bin/sh to #!/usr/bin/sh mangling shebang in /usr/bin/presburger_transduction from /bin/sh to #!/usr/bin/sh + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: mona-1.4r18-7.fc37.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.v6lHss + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona + cp -pr mona14.pdf /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona + RPM_EC=0 ++ jobs -p + exit 0 Provides: mona = 1.4r18-7.fc37 mona(riscv-64) = 1.4r18-7.fc37 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) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(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.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Obsoletes: mona-xemacs < 1.4r18-5 Processing files: mona-libs-1.4r18-7.fc37.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.OEWBK6 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-libs + cp -pr AUTHORS /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-libs + cp -pr ChangeLog /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-libs + cp -pr NEWS /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-libs + cp -pr README /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ehtfMT + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + LICENSEDIR=/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/licenses/mona-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/licenses/mona-libs + cp -pr COPYING /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/licenses/mona-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) mona-libs = 1.4r18-7.fc37 mona-libs(riscv-64) = 1.4r18-7.fc37 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.4r18-7.fc37.riscv64 Provides: mona-devel = 1.4r18-7.fc37 mona-devel(riscv-64) = 1.4r18-7.fc37 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.4r18-7.fc37.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.9wjWPa + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-examples + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.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.4r18-7.fc37.riscv64/usr/share/doc/mona-examples + cp -pr Examples/bdd_volatility /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64/usr/share/doc/mona-examples + RPM_EC=0 ++ jobs -p + exit 0 Provides: mona-examples = 1.4r18-7.fc37 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.4r18-7.fc37.noarch Provides: mona-emacs = 1.4r18-7.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: mona-debugsource-1.4r18-7.fc37.riscv64 Provides: mona-debugsource = 1.4r18-7.fc37 mona-debugsource(riscv-64) = 1.4r18-7.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: mona-debuginfo-1.4r18-7.fc37.riscv64 Provides: debuginfo(build-id) = 1c5e96ea020ca82674f6a01841f422c96d5602fb debuginfo(build-id) = 8fb4da5cdadd37273bb01caf5e26015f6b314839 debuginfo(build-id) = e5601a0fd4df57dd4ddf2d8df4b48b88a0c6697b mona-debuginfo = 1.4r18-7.fc37 mona-debuginfo(riscv-64) = 1.4r18-7.fc37 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.4r18-7.fc37 Processing files: mona-libs-debuginfo-1.4r18-7.fc37.riscv64 Provides: debuginfo(build-id) = 59cb2353d985a9465bd7154fe8001ab3646b819a debuginfo(build-id) = a23e640b249c0129511c9237732782947a31a65a debuginfo(build-id) = d60271aa17fa3c611c874dd5ff6c0a1dd95814f9 debuginfo(build-id) = e0b199231812e10adc3b8311df5231976cc02eff libmonabdd.so.1.0.4-1.4r18-7.fc37.riscv64.debug()(64bit) libmonadfa.so.1.0.4-1.4r18-7.fc37.riscv64.debug()(64bit) libmonagta.so.1.0.4-1.4r18-7.fc37.riscv64.debug()(64bit) libmonamem.so.1.0.4-1.4r18-7.fc37.riscv64.debug()(64bit) mona-libs-debuginfo = 1.4r18-7.fc37 mona-libs-debuginfo(riscv-64) = 1.4r18-7.fc37 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.4r18-7.fc37 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 Wrote: /builddir/build/RPMS/mona-libs-debuginfo-1.4r18-7.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/mona-1.4r18-7.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/mona-libs-1.4r18-7.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/mona-examples-1.4r18-7.fc37.noarch.rpm Wrote: /builddir/build/RPMS/mona-emacs-1.4r18-7.fc37.noarch.rpm Wrote: /builddir/build/RPMS/mona-devel-1.4r18-7.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/mona-debugsource-1.4r18-7.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/mona-debuginfo-1.4r18-7.fc37.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.0BY5jd + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + /usr/bin/rm -rf /builddir/build/BUILDROOT/mona-1.4r18-7.fc37.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.OhrIA2 + umask 022 + cd /builddir/build/BUILD + rm -rf mona-1.4 mona-1.4.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0