Mock Version: 1.4.21
Mock Version: 1.4.21
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/mona.spec'], chrootPath='/var/lib/mock/f33-build-142115-42639/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fe782f700>timeout=432000uid=987gid=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': 'en_US.UTF-8'} and shell False
warning: line 57: Possible unexpanded macro in: Requires:       emacs(bin) >= %{_emacs_version}
warning: line 66: Possible unexpanded macro in: Requires:       xemacs(bin) >= %{_xemacs_version}
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1581292800
Wrote: /builddir/build/SRPMS/mona-1.4r18-1.fc33.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/f33-build-142115-42639/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fe782f700>timeout=432000uid=987gid=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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1581292800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Fe0ucS
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf mona-1.4
+ /usr/bin/tar -xof -
+ /usr/bin/gzip -dc /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/bin/cat /builddir/build/SOURCES/mona-weak-guide.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch
+ cp -p /builddir/build/SOURCES/mona14.pdf .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.VRSfcQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ export 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG'
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG'
+ export 'CXXFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG'
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG'
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ '[' 1 = 1 ']'
+++ dirname ./configure
++ find . -name config.guess -o -name config.sub
+ for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub)
++ basename ./config/config.sub
+ '[' -f /usr/lib/rpm/redhat/config.sub ']'
+ /usr/bin/rm -f ./config/config.sub
++ basename ./config/config.sub
+ /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config/config.sub
'/usr/lib/rpm/redhat/config.sub' -> './config/config.sub'
+ for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub)
++ basename ./config/config.guess
+ '[' -f /usr/lib/rpm/redhat/config.guess ']'
+ /usr/bin/rm -f ./config/config.guess
++ basename ./config/config.guess
+ /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config/config.guess
'/usr/lib/rpm/redhat/config.guess' -> './config/config.guess'
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
++ find . -name ltmain.sh
+ for i in $(find . -name ltmain.sh)
+ /usr/bin/sed -i.backup -e 's~compiler_flags=$~compiler_flags="-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"~' ./config/ltmain.sh
+ ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-static
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether make supports the include directive... yes (GNU style)
checking for riscv64-redhat-linux-gnu-gcc... no
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking dependency style of gcc... none
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking minix/config.h usability... no
checking minix/config.h presence... no
checking for minix/config.h... no
checking whether it is safe to define __EXTENSIONS__... yes
checking for special C compiler options needed for large files... no
checking for _FILE_OFFSET_BITS value needed for large files... no
checking for riscv64-redhat-linux-gnu-gcc... gcc
checking whether we are using the GNU C compiler... (cached) yes
checking whether gcc accepts -g... (cached) yes
checking for gcc option to accept ISO C89... (cached) none needed
checking whether gcc understands -c and -o together... (cached) yes
checking dependency style of gcc... (cached) none
checking for riscv64-redhat-linux-gnu-g++... no
checking for riscv64-redhat-linux-gnu-c++... no
checking for riscv64-redhat-linux-gnu-gpp... no
checking for riscv64-redhat-linux-gnu-aCC... no
checking for riscv64-redhat-linux-gnu-CC... no
checking for riscv64-redhat-linux-gnu-cxx... no
checking for riscv64-redhat-linux-gnu-cc++... no
checking for riscv64-redhat-linux-gnu-cl.exe... no
checking for riscv64-redhat-linux-gnu-FCC... no
checking for riscv64-redhat-linux-gnu-KCC... no
checking for riscv64-redhat-linux-gnu-RCC... no
checking for riscv64-redhat-linux-gnu-xlC_r... no
checking for riscv64-redhat-linux-gnu-xlC... no
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking dependency style of g++... none
checking for riscv64-redhat-linux-gnu-ar... no
checking for riscv64-redhat-linux-gnu-lib... no
checking for riscv64-redhat-linux-gnu-link... no
checking for ar... ar
checking the archiver (ar) interface... ar
checking for bison... no
checking for byacc... no
checking for flex... flex
checking lex output file root... lex.yy
checking lex library... none needed
checking whether yytext is a pointer... no
checking build system type... riscv64-redhat-linux-gnu
checking host system type... riscv64-redhat-linux-gnu
checking how to print strings... printf
checking for a sed that does not truncate output... /usr/bin/sed
checking for fgrep... /usr/bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking how to convert riscv64-redhat-linux-gnu file names to riscv64-redhat-linux-gnu format... func_convert_file_noop
checking how to convert riscv64-redhat-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for riscv64-redhat-linux-gnu-objdump... no
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for riscv64-redhat-linux-gnu-dlltool... no
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for riscv64-redhat-linux-gnu-ar... ar
checking for archiver @FILE support... @
checking for riscv64-redhat-linux-gnu-strip... no
checking for strip... strip
checking for riscv64-redhat-linux-gnu-ranlib... no
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for a working dd... /usr/bin/dd
checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1
checking for riscv64-redhat-linux-gnu-mt... no
checking for mt... no
checking if : is a manifest tool... no
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fPIC -DPIC
checking if gcc PIC flag -fPIC -DPIC works... yes
checking if gcc static flag -static works... no
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes
checking whether -lc should be explicitly linked in... no
checking dynamic linker characteristics... GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... no
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
checking for g++ option to produce PIC... -fPIC -DPIC
checking if g++ PIC flag -fPIC -DPIC works... yes
checking if g++ static flag -static works... no
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
checking dynamic linker characteristics... (cached) GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking Win32 compiler... no
checking for ANSI C header files... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking for unistd.h... (cached) yes
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking for size_t... yes
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... yes
checking for working memcmp... yes
checking for stdlib.h... (cached) yes
checking for unistd.h... (cached) yes
checking for sys/param.h... yes
checking for getpagesize... yes
checking for working mmap... yes
checking for alarm... yes
checking for memset... yes
checking for mkdir... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating mona.spec
config.status: creating makefile
config.status: creating config/makefile
config.status: creating Mem/makefile
config.status: creating BDD/makefile
config.status: creating DFA/makefile
config.status: creating GTA/makefile
config.status: creating Front/makefile
config.status: creating Lib/makefile
config.status: creating Examples/makefile
config.status: creating config.h
config.status: config.h is unchanged
config.status: executing depfiles commands
config.status: executing libtool commands
+ sed -e 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' -e 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' -e 's|CC="\(.*g..\)"|CC="\1 -Wl,--as-needed"|' -i libtool
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
/usr/bin/make  all-recursive
Making all in config
make[2]: Nothing to be done for 'all'.
Making all in Mem
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dlmalloc.lo dlmalloc.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c  -fPIC -DPIC -o .libs/dlmalloc.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mem.lo mem.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c mem.c  -fPIC -DPIC -o .libs/mem.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem'
/bin/sh ../libtool  --tag=CC   --mode=link gcc  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -Wl,-soname -Wl,libmonamem.so.1 -o .libs/libmonamem.so.1.0.4
libtool: link: (cd ".libs" && rm -f "libmonamem.so.1" && ln -s "libmonamem.so.1.0.4" "libmonamem.so.1")
libtool: link: (cd ".libs" && rm -f "libmonamem.so" && ln -s "libmonamem.so.1.0.4" "libmonamem.so")
libtool: link: ( cd ".libs" && rm -f "libmonamem.la" && ln -s "../libmonamem.la" "libmonamem.la" )
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem'
Making all in BDD
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_cache.lo bdd_cache.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c  -fPIC -DPIC -o .libs/bdd_cache.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_dump.lo bdd_dump.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_dump.c  -fPIC -DPIC -o .libs/bdd_dump.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_double.lo bdd_double.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c  -fPIC -DPIC -o .libs/bdd_double.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_external.lo bdd_external.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c  -fPIC -DPIC -o .libs/bdd_external.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_trace.lo bdd_trace.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c  -fPIC -DPIC -o .libs/bdd_trace.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_manager.lo bdd_manager.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_manager.c  -fPIC -DPIC -o .libs/bdd_manager.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o hash.lo hash.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c hash.c  -fPIC -DPIC -o .libs/hash.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd.lo bdd.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd.c  -fPIC -DPIC -o .libs/bdd.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD'
/bin/sh ../libtool  --tag=CC   --mode=link gcc  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4
libtool: link: (cd ".libs" && rm -f "libmonabdd.so.1" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so.1")
libtool: link: (cd ".libs" && rm -f "libmonabdd.so" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so")
libtool: link: ( cd ".libs" && rm -f "libmonabdd.la" && ln -s "../libmonabdd.la" "libmonabdd.la" )
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD'
Making all in DFA
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dfa.c  -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c  -fPIC -DPIC -o .libs/libmonadfa_la-external.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c  -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c  -fPIC -DPIC -o .libs/libmonadfa_la-basic.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c  -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c  -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c prefix.c  -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c  -fPIC -DPIC -o .libs/libmonadfa_la-product.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c  -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c  -fPIC -DPIC -o .libs/libmonadfa_la-project.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c  -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA'
/bin/sh ../libtool  --tag=CC   --mode=link gcc  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4
libtool: link: (cd ".libs" && rm -f "libmonadfa.so.1" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so.1")
libtool: link: (cd ".libs" && rm -f "libmonadfa.so" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so")
libtool: link: ( cd ".libs" && rm -f "libmonadfa.la" && ln -s "../libmonadfa.la" "libmonadfa.la" )
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA'
Making all in GTA
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c copy.c  -fPIC -DPIC -o .libs/libmonagta_la-copy.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c  -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dyn.c  -fPIC -DPIC -o .libs/libmonagta_la-dyn.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c  -fPIC -DPIC -o .libs/libmonagta_la-analyze.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c  -fPIC -DPIC -o .libs/libmonagta_la-basic.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c  -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c  -fPIC -DPIC -o .libs/libmonagta_la-gta.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c negation.c  -fPIC -DPIC -o .libs/libmonagta_la-negation.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c  -fPIC -DPIC -o .libs/libmonagta_la-external.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c  -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c  -fPIC -DPIC -o .libs/libmonagta_la-minimize.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c  -fPIC -DPIC -o .libs/libmonagta_la-printgta.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c  -fPIC -DPIC -o .libs/libmonagta_la-product.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c projset.c  -fPIC -DPIC -o .libs/libmonagta_la-projset.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c replace_indices.c  -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c  -fPIC -DPIC -o .libs/libmonagta_la-project.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c restrict.c  -fPIC -DPIC -o .libs/libmonagta_la-restrict.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c  -fPIC -DPIC -o .libs/libmonagta_la-reachable.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c subsets.c  -fPIC -DPIC -o .libs/libmonagta_la-subsets.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c types.c  -fPIC -DPIC -o .libs/libmonagta_la-types.o
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA'
/bin/sh ../libtool  --tag=CC   --mode=link gcc  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp
make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front'
make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front'
/bin/sh ../libtool  --tag=CXX   --mode=link g++  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la ../GTA/libmonagta.la 
libtool: link: g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfa2dot.o dfa2dot.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib'
gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta2dot.o gta2dot.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib'
gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfalib.o dfalib.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib'
gcc -DHAVE_CONFIG_H -I. -I..     -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gtalib.o gtalib.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib'
/bin/sh ../libtool  --tag=CC   --mode=link gcc  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o dfa2dot dfa2dot.o dfalib.o  
libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o gta2dot gta2dot.o gtalib.o  
libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o gta2dot gta2dot.o gtalib.o 
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib'
Making all in Examples
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples'
gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_example.o bdd_example.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples'
gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_transduction.o presburger_transduction.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples'
gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_analysis.o presburger_analysis.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples'
gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA   -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta_example.o gta_example.c
make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples'
make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples'
/bin/sh ../libtool  --tag=CC   --mode=link gcc  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la 
libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la 
libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la 
libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o gta_example gta_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../GTA/libmonagta.la 
libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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.0WSLGO
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64
++ dirname /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64
+ cd mona-1.4
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonamem.la '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64'
libtool: install: /usr/bin/install -p .libs/libmonamem.so.1.0.4 /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonamem.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.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-1.fc33.riscv64/usr/lib64/libmonamem.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 dlmalloc.h gnuc.h mem.h '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonabdd.la '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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-1.fc33.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-1.fc33.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -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-1.fc33.riscv64/usr/lib64/libmonabdd.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.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-1.fc33.riscv64/usr/lib64/libmonabdd.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 bdd.h '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonadfa.la '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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-1.fc33.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-1.fc33.riscv64/usr/lib64 -L/usr/lib64 -lmonabdd -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -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-1.fc33.riscv64/usr/lib64/libmonadfa.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.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-1.fc33.riscv64/usr/lib64/libmonadfa.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 dfa.h '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/lib64'
 /bin/sh ../libtool   --mode=install /usr/bin/install -p   libmonagta.la '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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-1.fc33.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-1.fc33.riscv64/usr/lib64 -L/usr/lib64 -lmonabdd -lmonamem -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -O3 -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld   -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-1.fc33.riscv64/usr/lib64/libmonagta.so.1.0.4
libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.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-1.fc33.riscv64/usr/lib64/libmonagta.la
libtool: warning: remember to run 'libtool --finish /usr/lib64'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 gta.h '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/bin'
  /bin/sh ../libtool   --mode=install /usr/bin/install -p mona '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.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-1.fc33.riscv64/usr/bin'
  /bin/sh ../libtool   --mode=install /usr/bin/install -p dfa2dot gta2dot '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin'
libtool: install: /usr/bin/install -p dfa2dot /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/dfa2dot
libtool: install: /usr/bin/install -p gta2dot /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/share'
 /usr/bin/install -p -m 644 mona-mode.el '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/man/man1'
 /usr/bin/install -p -m 644 mona.1 '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/man/man1'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/include/mona'
 /usr/bin/install -p -m 644 config.h '/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/lib64/libmonabdd.la /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonadfa.la /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonagta.la /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonamem.la
+ cp -p Examples/bdd_example /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin
+ cp -p Examples/gta_example /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin
+ cp -p Examples/presburger_analysis /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin
+ cp -p Examples/presburger_transduction /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/emacs/site-lisp/mona
+ mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/xemacs/site-packages/lisp
+ cd /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/emacs/site-lisp/mona
+ cp -p /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/mona-mode.el .
+ /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(progn (setq load-path (cons "." load-path)))' -f batch-byte-compile mona-mode.el
+ cd /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/xemacs/site-packages/lisp
+ mv /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/mona-mode.el .
+ /usr/bin/xemacs -q -no-site-file -batch -eval '(push "." load-path)' -f batch-byte-compile mona-mode.el
Compiling /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/xemacs/site-packages/lisp/mona-mode.el...
Wrote /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/xemacs/site-packages/lisp/mona-mode.elc
Done
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.4r18-1.fc33 --unique-debug-suffix -1.4r18-1.fc33.riscv64 --unique-debug-src-base mona-1.4r18-1.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/mona-1.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/gta2dot
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/dfa2dot
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonabdd.so.1.0.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/mona
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/dfa2dot
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/gta2dot
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/bin/mona
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonabdd.so.1.0.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonadfa.so.1.0.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonagta.so.1.0.4
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonadfa.so.1.0.4
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonagta.so.1.0.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonamem.so.1.0.4
extracting debug info from /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/lib64/libmonamem.so.1.0.4
original debug info size: 4244kB, size after compression: 3652kB
/usr/lib/rpm/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/redhat/brp-python-bytecompile /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
mangling shebang in /usr/bin/presburger_analysis from /bin/sh to #!/usr/bin/sh
mangling shebang in /usr/bin/presburger_transduction from /bin/sh to #!/usr/bin/sh
mangling shebang in /usr/bin/bdd_example from /bin/sh to #!/usr/bin/sh
mangling shebang in /usr/bin/gta_example from /bin/sh to #!/usr/bin/sh
Processing files: mona-1.4r18-1.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.N6D0FS
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona
+ cp -pr mona14.pdf /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: mona = 1.4r18-1.fc33 mona(riscv-64) = 1.4r18-1.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: mona-libs-1.4r18-1.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.EKpGEQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/share/doc/mona-libs
+ cp -pr AUTHORS /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona-libs
+ cp -pr ChangeLog /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona-libs
+ cp -pr NEWS /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona-libs
+ cp -pr README /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.fKkIGQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ LICENSEDIR=/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.riscv64/usr/share/licenses/mona-libs
+ cp -pr COPYING /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33 mona-libs(riscv-64) = 1.4r18-1.fc33
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-1.fc33.riscv64
Provides: mona-devel = 1.4r18-1.fc33 mona-devel(riscv-64) = 1.4r18-1.fc33
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-1.fc33.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.xLdEEP
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r18-1.fc33.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-1.fc33.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-1.fc33.riscv64/usr/share/doc/mona-examples
+ cp -pr Examples/bdd_volatility /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64/usr/share/doc/mona-examples
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: mona-examples = 1.4r18-1.fc33
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-1.fc33.noarch
Provides: mona-emacs = 1.4r18-1.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: mona-xemacs-1.4r18-1.fc33.noarch
Provides: mona-xemacs = 1.4r18-1.fc33
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-1.fc33.riscv64
Provides: mona-debugsource = 1.4r18-1.fc33 mona-debugsource(riscv-64) = 1.4r18-1.fc33
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-1.fc33.riscv64
Provides: debuginfo(build-id) = 705ff472efb4ad1b1ffb1c8abaad8f72dabaf55e debuginfo(build-id) = 90a034114d6a3200ab8f1d5e341f6e2db3529065 debuginfo(build-id) = cb7031fcacdd061f1870b6849d6f37dc7e0bd51a mona-debuginfo = 1.4r18-1.fc33 mona-debuginfo(riscv-64) = 1.4r18-1.fc33
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-1.fc33
Processing files: mona-libs-debuginfo-1.4r18-1.fc33.riscv64
Provides: debuginfo(build-id) = 34cf23c69526de9357c0fe9039a5f2d9428c05fe debuginfo(build-id) = 9704d1b3fc3345004c3a13d68606a81f143c7661 debuginfo(build-id) = dfb4e6ede155590f2fcfe78bbcbdf269d41845f4 debuginfo(build-id) = f9eac83e6e6be05e12f8dcc549426d0a0ec8cba9 mona-libs-debuginfo = 1.4r18-1.fc33 mona-libs-debuginfo(riscv-64) = 1.4r18-1.fc33
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-1.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64
Wrote: /builddir/build/RPMS/mona-devel-1.4r18-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-examples-1.4r18-1.fc33.noarch.rpm
Wrote: /builddir/build/RPMS/mona-emacs-1.4r18-1.fc33.noarch.rpm
Wrote: /builddir/build/RPMS/mona-libs-1.4r18-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-xemacs-1.4r18-1.fc33.noarch.rpm
Wrote: /builddir/build/RPMS/mona-1.4r18-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-libs-debuginfo-1.4r18-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-debugsource-1.4r18-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-debuginfo-1.4r18-1.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.97Qa5O
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/mona-1.4r18-1.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0