Mock Version: 3.0
Mock Version: 3.0
Mock Version: 3.0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'], chrootPath='/var/lib/mock/f38-build-side-42-init-devel-449014-21340/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fbdea3970>timeout=864000uid=996gid=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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1674086400
Wrote: /builddir/build/SRPMS/mona-1.4r18-8.fc38.src.rpm
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/f38-build-side-42-init-devel-449014-21340/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fbdea3970>timeout=864000uid=996gid=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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1674086400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.EW0xhl
+ 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 .
+ sed -i 's/ -O3//g' configure
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.pzWL60
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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	2023-04-15 11:03:05.208067248 -0400
+++ ./configure	2023-04-15 11:03:06.628067199 -0400
@@ -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	2023-04-15 11:03:06.628067199 -0400
+++ ./configure	2023-04-15 11:03:07.388067173 -0400
@@ -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
++ grep -q runstatedir=DIR ./configure
+ ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --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-koji-linux-gnu-gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether 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-koji-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-koji-linux-gnu-ar... no
checking for riscv64-koji-linux-gnu-lib... no
checking for riscv64-koji-linux-gnu-link... no
checking for ar... ar
checking the archiver (ar) interface... ar
checking 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-koji-linux-gnu
checking host system type... riscv64-koji-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-koji-linux-gnu file names to riscv64-koji-linux-gnu format... func_convert_file_noop
checking how to convert riscv64-koji-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for riscv64-koji-linux-gnu-objdump... no
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for riscv64-koji-linux-gnu-dlltool... no
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for riscv64-koji-linux-gnu-ar... ar
checking for archiver @FILE support... @
checking for riscv64-koji-linux-gnu-strip... no
checking for strip... strip
checking for riscv64-koji-linux-gnu-ranlib... no
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ./configure: line 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-koji-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 -j8 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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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=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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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=link gcc  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer  -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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.XqVXDH
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64
++ dirname /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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-8.fc38.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-8.fc38.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonamem.la '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64'
libtool: install: /usr/bin/install -p .libs/libmonamem.so.1.0.4 /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonamem.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.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-8.fc38.riscv64/usr/lib64/libmonamem.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 dlmalloc.h gnuc.h mem.h '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonabdd.la '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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-8.fc38.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-8.fc38.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 -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-8.fc38.riscv64/usr/lib64/libmonabdd.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.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-8.fc38.riscv64/usr/lib64/libmonabdd.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 bdd.h '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonadfa.la '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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-8.fc38.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-8.fc38.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 -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-8.fc38.riscv64/usr/lib64/libmonadfa.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.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-8.fc38.riscv64/usr/lib64/libmonadfa.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 dfa.h '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonagta.la '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -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-8.fc38.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-8.fc38.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 -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-8.fc38.riscv64/usr/lib64/libmonagta.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.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-8.fc38.riscv64/usr/lib64/libmonagta.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 gta.h '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/bin'
  /bin/sh ../libtool   --mode=install /usr/bin/install -p mona '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.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-8.fc38.riscv64/usr/bin'
  /bin/sh ../libtool   --mode=install /usr/bin/install -p dfa2dot gta2dot '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin'
libtool: install: /usr/bin/install -p dfa2dot /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin/dfa2dot
libtool: install: /usr/bin/install -p gta2dot /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/share'
 /usr/bin/install -p -m 644 mona-mode.el '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/man/man1'
 /usr/bin/install -p -m 644 mona.1 '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/man/man1'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 config.h '/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/lib64/libmonabdd.la /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonadfa.la /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonagta.la /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonamem.la
+ cp -p Examples/bdd_example /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin
+ cp -p Examples/gta_example /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin
+ cp -p Examples/presburger_analysis /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin
+ cp -p Examples/presburger_transduction /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/emacs/site-lisp/mona
+ cd /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/emacs/site-lisp/mona
+ mv /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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 -j8 --strict-build-id -m -i --build-id-seed 1.4r18-8.fc38 --unique-debug-suffix -1.4r18-8.fc38.riscv64 --unique-debug-src-base mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/bin/dfa2dot
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin/gta2dot
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonagta.so.1.0.4
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/bin/mona
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonabdd.so.1.0.4
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonadfa.so.1.0.4
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/lib64/libmonamem.so.1.0.4
original debug info size: 9276kB, size after compression: 8776kB
/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/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/bdd_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
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j8
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: mona-1.4r18-8.fc38.riscv64
Provides: mona = 1.4r18-8.fc38 mona(riscv-64) = 1.4r18-8.fc38
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-8.fc38.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.gM8cc6
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/share/doc/mona-libs
+ cp -pr AUTHORS /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-libs
+ cp -pr ChangeLog /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-libs
+ cp -pr NEWS /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-libs
+ cp -pr README /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.gwaglt
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ LICENSEDIR=/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.riscv64/usr/share/licenses/mona-libs
+ cp -pr COPYING /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38 mona-libs(riscv-64) = 1.4r18-8.fc38
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-8.fc38.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.QHzlgI
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-devel
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-devel
+ cp -pr mona14.pdf /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: mona-devel = 1.4r18-8.fc38 mona-devel(riscv-64) = 1.4r18-8.fc38
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-8.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.rYHyEf
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-8.fc38.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-8.fc38.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-8.fc38.riscv64/usr/share/doc/mona-examples
+ cp -pr Examples/bdd_volatility /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64/usr/share/doc/mona-examples
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: mona-examples = 1.4r18-8.fc38
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-8.fc38.noarch
Provides: mona-emacs = 1.4r18-8.fc38
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-8.fc38.riscv64
Provides: mona-debugsource = 1.4r18-8.fc38 mona-debugsource(riscv-64) = 1.4r18-8.fc38
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-8.fc38.riscv64
Provides: debuginfo(build-id) = 5b14ff0c9389dcad80afbe8fc1cbd518a2c0434a debuginfo(build-id) = c2c98eeb90b59f435fd4e4208d21138f2dda4725 debuginfo(build-id) = ef04fb55272de85775664d6fd967ff3e90f0ff1b mona-debuginfo = 1.4r18-8.fc38 mona-debuginfo(riscv-64) = 1.4r18-8.fc38
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-8.fc38
Processing files: mona-libs-debuginfo-1.4r18-8.fc38.riscv64
Provides: debuginfo(build-id) = 2f7027b9256ad22d7e88e9b40a13b56a9aa79428 debuginfo(build-id) = a459585ac962b33f8bd34525cbf2b56a95aed2ef debuginfo(build-id) = a4eb282c5a307fc39bdce76cf95e560a6cac423f debuginfo(build-id) = f61cf5ddec040a305d6772c01c50fc346b5623ac libmonabdd.so.1.0.4-1.4r18-8.fc38.riscv64.debug()(64bit) libmonadfa.so.1.0.4-1.4r18-8.fc38.riscv64.debug()(64bit) libmonagta.so.1.0.4-1.4r18-8.fc38.riscv64.debug()(64bit) libmonamem.so.1.0.4-1.4r18-8.fc38.riscv64.debug()(64bit) mona-libs-debuginfo = 1.4r18-8.fc38 mona-libs-debuginfo(riscv-64) = 1.4r18-8.fc38
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-8.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64
Wrote: /builddir/build/RPMS/mona-emacs-1.4r18-8.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/mona-examples-1.4r18-8.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/mona-libs-1.4r18-8.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-devel-1.4r18-8.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-1.4r18-8.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-libs-debuginfo-1.4r18-8.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-debugsource-1.4r18-8.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-debuginfo-1.4r18-8.fc38.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.c995Vr
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/mona-1.4r18-8.fc38.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.1q09Im
+ 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