+ exec + rm -rf /rpmbuild + mkdir -p /rpmbuild + su -c 'rpmbuild -ba /builddir/build/SPECS/mona.spec --define "debug_package %{nil}" --undefine _annotated_build --define "_missing_doc_files_terminate_build %{nil}" --define "_emacs_sitestartdir /usr/share/emacs/site-lisp/site-start.d" --define "_emacs_sitelispdir /usr/share/emacs/site-lisp" --nocheck ' mockbuild Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.cbue0E + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf mona-1.4 + /usr/bin/gzip -dc /builddir/build/SOURCES/mona-1.4-17.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd mona-1.4 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cp -p /builddir/build/SOURCES/mona14.pdf . + sed '/^using/i#pragma weak guide\n' Front/lib.cpp + touch -r Front/lib.cpp Front/lib.cpp.new + mv -v Front/lib.cpp.new Front/lib.cpp renamed 'Front/lib.cpp.new' -> 'Front/lib.cpp' + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ooIJSM + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 ' + 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 ' + 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 -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 -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 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-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="-specs=/usr/lib/rpm/redhat/redhat-hardened-ld"~' ./config/ltmain.sh + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-static checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for style of include used by make... GNU checking for riscv64-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking minix/config.h usability... no checking minix/config.h presence... no checking for minix/config.h... no checking whether it is safe to define __EXTENSIONS__... yes checking for special C compiler options needed for large files... no checking for _FILE_OFFSET_BITS value needed for large files... no checking for riscv64-redhat-linux-gnu-gcc... gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking whether gcc understands -c and -o together... (cached) yes checking dependency style of gcc... (cached) none checking for riscv64-redhat-linux-gnu-g++... no checking for riscv64-redhat-linux-gnu-c++... no checking for riscv64-redhat-linux-gnu-gpp... no checking for riscv64-redhat-linux-gnu-aCC... no checking for riscv64-redhat-linux-gnu-CC... no checking for riscv64-redhat-linux-gnu-cxx... no checking for riscv64-redhat-linux-gnu-cc++... no checking for riscv64-redhat-linux-gnu-cl.exe... no checking for riscv64-redhat-linux-gnu-FCC... no checking for riscv64-redhat-linux-gnu-KCC... no checking for riscv64-redhat-linux-gnu-RCC... no checking for riscv64-redhat-linux-gnu-xlC_r... no checking for riscv64-redhat-linux-gnu-xlC... no checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... none checking for riscv64-redhat-linux-gnu-ar... no checking for riscv64-redhat-linux-gnu-lib... no checking for riscv64-redhat-linux-gnu-link... no checking for ar... ar checking the archiver (ar) interface... ar checking for bison... no checking for byacc... no checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking build system type... riscv64-redhat-linux-gnu checking host system type... riscv64-redhat-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /usr/bin/sed checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert riscv64-redhat-linux-gnu file names to riscv64-redhat-linux-gnu format... func_convert_file_noop checking how to convert riscv64-redhat-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for riscv64-redhat-linux-gnu-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for riscv64-redhat-linux-gnu-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for riscv64-redhat-linux-gnu-ar... ar checking for archiver @FILE support... @ checking for riscv64-redhat-linux-gnu-strip... no checking for strip... strip checking for riscv64-redhat-linux-gnu-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for riscv64-redhat-linux-gnu-mt... no checking for mt... no checking if : is a manifest tool... no checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... no checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... no checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking Win32 compiler... no checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for an ANSI C-conforming const... yes checking for inline... inline checking for size_t... yes checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... yes checking for working memcmp... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/param.h... yes checking for getpagesize... yes checking for working mmap... yes checking for alarm... yes checking for memset... yes checking for mkdir... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating mona.spec config.status: creating makefile config.status: creating config/makefile config.status: creating Mem/makefile config.status: creating BDD/makefile config.status: creating DFA/makefile config.status: creating GTA/makefile config.status: creating Front/makefile config.status: creating Lib/makefile config.status: creating Examples/makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands + make -j4 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -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 -DNDEBUG' make all-recursive make[1]: Entering directory '/builddir/build/BUILD/mona-1.4' Making all in config make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/config' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/config' Making all in Mem make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o dlmalloc.lo dlmalloc.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mem.lo mem.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c mem.c -fPIC -DPIC -o .libs/mem.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c dlmalloc.c -fPIC -DPIC -o .libs/dlmalloc.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonamem.la -rpath /usr/lib64 dlmalloc.lo mem.lo libtool: link: gcc -shared -fPIC -DPIC .libs/dlmalloc.o .libs/mem.o -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -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 -DNDEBUG -c -o bdd.lo bdd.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o bdd_cache.lo bdd_cache.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o bdd_double.lo bdd_double.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o bdd_dump.lo bdd_dump.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd.c -fPIC -DPIC -o .libs/bdd.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd_cache.c -fPIC -DPIC -o .libs/bdd_cache.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd_dump.c -fPIC -DPIC -o .libs/bdd_dump.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd_double.c -fPIC -DPIC -o .libs/bdd_double.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o bdd_external.lo bdd_external.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o bdd_manager.lo bdd_manager.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd_external.c -fPIC -DPIC -o .libs/bdd_external.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o bdd_trace.lo bdd_trace.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd_manager.c -fPIC -DPIC -o .libs/bdd_manager.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c bdd_trace.c -fPIC -DPIC -o .libs/bdd_trace.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o hash.lo hash.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c hash.c -fPIC -DPIC -o .libs/hash.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonabdd.la -rpath /usr/lib64 bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la libtool: link: gcc -shared -fPIC -DPIC .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/Mem/.libs -Wl,-rpath -Wl,/usr/lib64 ../Mem/.libs/libmonamem.so -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -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 -DNDEBUG -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c analyze.c -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c basic.c -fPIC -DPIC -o .libs/libmonadfa_la-basic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c dfa.c -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c external.c -fPIC -DPIC -o .libs/libmonadfa_la-external.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c makebasic.c -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c minimize.c -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c prefix.c -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c printdfa.c -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c product.c -fPIC -DPIC -o .libs/libmonadfa_la-product.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c project.c -fPIC -DPIC -o .libs/libmonadfa_la-project.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c quotient.c -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonadfa.la -rpath /usr/lib64 libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la libtool: link: gcc -shared -fPIC -DPIC .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/Mem/.libs -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/BDD/.libs -Wl,-rpath -Wl,/usr/lib64 ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -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 -DNDEBUG -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c analyze.c -fPIC -DPIC -o .libs/libmonagta_la-analyze.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c basic.c -fPIC -DPIC -o .libs/libmonagta_la-basic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c copy.c -fPIC -DPIC -o .libs/libmonagta_la-copy.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c analyze_acceptance.c -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c dyn.c -fPIC -DPIC -o .libs/libmonagta_la-dyn.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -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 -DNDEBUG -c external.c -fPIC -DPIC -o .libs/libmonagta_la-external.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c gta.c -fPIC -DPIC -o .libs/libmonagta_la-gta.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c makebasic.c -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c minimize.c -fPIC -DPIC -o .libs/libmonagta_la-minimize.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -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 -DNDEBUG -c negation.c -fPIC -DPIC -o .libs/libmonagta_la-negation.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c pairhash.c -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c printgta.c -fPIC -DPIC -o .libs/libmonagta_la-printgta.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c product.c -fPIC -DPIC -o .libs/libmonagta_la-product.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c project.c -fPIC -DPIC -o .libs/libmonagta_la-project.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c projset.c -fPIC -DPIC -o .libs/libmonagta_la-projset.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -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 -DNDEBUG -c reachable.c -fPIC -DPIC -o .libs/libmonagta_la-reachable.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c replace_indices.c -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c restrict.c -fPIC -DPIC -o .libs/libmonagta_la-restrict.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c subsets.c -fPIC -DPIC -o .libs/libmonagta_la-subsets.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c types.c -fPIC -DPIC -o .libs/libmonagta_la-types.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonagta.la -rpath /usr/lib64 libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la libtool: link: gcc -shared -fPIC -DPIC .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/Mem/.libs -Wl,-rpath -Wl,/builddir/build/BUILD/mona-1.4/BDD/.libs -Wl,-rpath -Wl,/usr/lib64 ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonagta.so.1" && ln -s "libmonagta.so.1.0.4" "libmonagta.so.1") libtool: link: (cd ".libs" && rm -f "libmonagta.so" && ln -s "libmonagta.so.1.0.4" "libmonagta.so") libtool: link: ( cd ".libs" && rm -f "libmonagta.la" && ln -s "../libmonagta.la" "libmonagta.la" ) make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' Making all in Front make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' make all-am make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp scanner.cpp: In function 'int yylex()': scanner.cpp:1059:1: warning: label 'find_rule' defined but not used [-Wunused-label] find_rule: /* we branch to this label when backing up */ ^~~~~~~~~ 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 -DNDEBUG -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp scanner.cpp: At global scope: scanner.cpp:2480:12: warning: 'int yy_flex_strlen(const char*)' defined but not used [-Wunused-function] static int yy_flex_strlen (yyconst char * s ) ^~~~~~~~~~~~~~ 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 -DNDEBUG -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp /bin/sh ../libtool --tag=CXX --mode=link g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -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 -DNDEBUG -Wl,-z -Wl,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so ../GTA/.libs/libmonagta.so -Wl,-rpath -Wl,/usr/lib64 make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' Making all in Lib make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o dfa2dot.o dfa2dot.c gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o dfalib.o dfalib.c gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o gta2dot.o gta2dot.c gcc -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o gtalib.o gtalib.c /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -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 -DNDEBUG -Wl,-z -Wl,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o dfa2dot dfa2dot.o dfalib.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -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 -DNDEBUG -Wl,-z -Wl,relro -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 -DNDEBUG -c -o bdd_example.o bdd_example.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o gta_example.o gta_example.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o presburger_transduction.o presburger_transduction.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -c -o presburger_analysis.o presburger_analysis.c /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z,relro -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 -DNDEBUG -Wl,-z -Wl,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/bdd_example bdd_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-rpath -Wl,/usr/lib64 libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z -Wl,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/presburger_transduction presburger_transduction.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so -Wl,-rpath -Wl,/usr/lib64 libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z -Wl,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/presburger_analysis presburger_analysis.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so -Wl,-rpath -Wl,/usr/lib64 libtool: link: gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -Wl,-z -Wl,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o .libs/gta_example gta_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../GTA/.libs/libmonagta.so -Wl,-rpath -Wl,/usr/lib64 make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4' + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.AoVN7q + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 ++ dirname /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 + cd mona-1.4 + make install DESTDIR=/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 Making install in config make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/config' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/config' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/config' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/config' Making install in Mem make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Mem' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonamem.la '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' libtool: install: /usr/bin/install -c .libs/libmonamem.so.1.0.4 /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonamem.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonamem.so.1.0.4 libmonamem.so.1 || { rm -f libmonamem.so.1 && ln -s libmonamem.so.1.0.4 libmonamem.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonamem.so.1.0.4 libmonamem.so || { rm -f libmonamem.so && ln -s libmonamem.so.1.0.4 libmonamem.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonamem.lai /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonamem.la libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' /usr/bin/install -c -m 644 dlmalloc.h gnuc.h mem.h '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Mem' Making install in BDD make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/BDD' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonabdd.la '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' libtool: install: warning: relinking `libmonabdd.la' libtool: install: (cd /builddir/build/BUILD/mona-1.4/BDD; /bin/sh /builddir/build/BUILD/mona-1.4/libtool --tag CC --mode=relink gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonabdd.la -rpath /usr/lib64 bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la -inst-prefix-dir /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64) libtool: relink: gcc -shared -fPIC -DPIC .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o -Wl,-rpath -Wl,/usr/lib64 -L/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonabdd.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonabdd.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so.1 || { rm -f libmonabdd.so.1 && ln -s libmonabdd.so.1.0.4 libmonabdd.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so || { rm -f libmonabdd.so && ln -s libmonabdd.so.1.0.4 libmonabdd.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonabdd.lai /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonabdd.la libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' /usr/bin/install -c -m 644 bdd.h '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/BDD' Making install in DFA make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/DFA' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonadfa.la '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' libtool: install: warning: relinking `libmonadfa.la' libtool: install: (cd /builddir/build/BUILD/mona-1.4/DFA; /bin/sh /builddir/build/BUILD/mona-1.4/libtool --tag CC --mode=relink gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonadfa.la -rpath /usr/lib64 libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64) libtool: relink: gcc -shared -fPIC -DPIC .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o -Wl,-rpath -Wl,/usr/lib64 -L/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -lmonabdd -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonadfa.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonadfa.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so.1 || { rm -f libmonadfa.so.1 && ln -s libmonadfa.so.1.0.4 libmonadfa.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so || { rm -f libmonadfa.so && ln -s libmonadfa.so.1.0.4 libmonadfa.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonadfa.lai /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonadfa.la libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' /usr/bin/install -c -m 644 dfa.h '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/DFA' Making install in GTA make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/GTA' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libmonagta.la '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64' libtool: install: warning: relinking `libmonagta.la' libtool: install: (cd /builddir/build/BUILD/mona-1.4/GTA; /bin/sh /builddir/build/BUILD/mona-1.4/libtool --tag CC --mode=relink gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNDEBUG -version-info 1:4 -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmonagta.la -rpath /usr/lib64 libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64) libtool: relink: gcc -shared -fPIC -DPIC .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o -Wl,-rpath -Wl,/usr/lib64 -L/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 -L/usr/lib64 -lmonamem -lmonabdd -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonagta.so.1.0.4T /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonagta.so.1.0.4 libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonagta.so.1.0.4 libmonagta.so.1 || { rm -f libmonagta.so.1 && ln -s libmonagta.so.1.0.4 libmonagta.so.1; }; }) libtool: install: (cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64 && { ln -s -f libmonagta.so.1.0.4 libmonagta.so || { rm -f libmonagta.so && ln -s libmonagta.so.1.0.4 libmonagta.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonagta.lai /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonagta.la libtool: install: warning: remember to run `libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' /usr/bin/install -c -m 644 gta.h '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/GTA' Making install in Front make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' make install-am make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' make[3]: Entering directory '/builddir/build/BUILD/mona-1.4/Front' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -c mona '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin' libtool: install: warning: `../Mem/libmonamem.la' has not been installed in `/usr/lib64' libtool: install: warning: `../BDD/libmonabdd.la' has not been installed in `/usr/lib64' libtool: install: warning: `../DFA/libmonadfa.la' has not been installed in `/usr/lib64' libtool: install: warning: `../GTA/libmonagta.la' has not been installed in `/usr/lib64' libtool: install: /usr/bin/install -c .libs/mona /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin/mona make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Front' Making install in Lib make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Lib' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -c dfa2dot gta2dot '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin' libtool: install: /usr/bin/install -c dfa2dot /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin/dfa2dot libtool: install: /usr/bin/install -c gta2dot /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin/gta2dot make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Lib' Making install in Examples make[1]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4/Examples' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4/Examples' make[1]: Entering directory '/builddir/build/BUILD/mona-1.4' make[2]: Entering directory '/builddir/build/BUILD/mona-1.4' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share' /usr/bin/install -c -m 644 mona-mode.el '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/man/man1' /usr/bin/install -c -m 644 mona.1 '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/man/man1' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' /usr/bin/install -c -m 644 config.h '/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/include/mona' make[2]: Leaving directory '/builddir/build/BUILD/mona-1.4' make[1]: Leaving directory '/builddir/build/BUILD/mona-1.4' + rm -f /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonabdd.la /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonadfa.la /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonagta.la /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/lib64/libmonamem.la + cp -p Examples/bdd_example /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin + cp -p Examples/gta_example /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin + cp -p Examples/presburger_analysis /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin + cp -p Examples/presburger_transduction /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/bin + mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/emacs/site-lisp/mona + mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/xemacs/site-packages/lisp + cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/emacs/site-lisp/mona + cp -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/mona-mode.el . + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(progn (setq load-path (cons "." load-path)))' -f batch-byte-compile mona-mode.el + cd /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/xemacs/site-packages/lisp + mv /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.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 Info: Format string "configure-module-directory and module-directory: %S " takes 1 arguments, 2 supplied. Info: Format string "configure-last-package-directories, last-package-hierarchies and last-package-load-path: %S %S " takes 2 arguments, 3 supplied. Info: Format string "configure-late-package-directories, late-package-hierarchies and late-package-load-path: %S %S " takes 2 arguments, 3 supplied. Compiling /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/xemacs/site-packages/lisp/mona-mode.el... Wrote /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/xemacs/site-packages/lisp/mona-mode.elc Done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in ./usr/bin/gta_example from #! /bin/sh to #!/bin/sh mangling shebang in ./usr/bin/presburger_transduction from #! /bin/sh to #!/bin/sh mangling shebang in ./usr/bin/presburger_analysis from #! /bin/sh to #!/bin/sh mangling shebang in ./usr/bin/bdd_example from #! /bin/sh to #!/bin/sh Processing files: mona-1.4r17-4.fc28.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.r5dVXA + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona + cp -pr mona14.pdf /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona + exit 0 Provides: mona = 1.4r17-4.fc28 mona(riscv-64) = 1.4r17-4.fc28 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) libm.so.6()(64bit) libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: mona-libs-1.4r17-4.fc28.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.raZZxh + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-libs + cp -pr AUTHORS /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-libs + cp -pr ChangeLog /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-libs + cp -pr NEWS /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-libs + cp -pr README /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-libs + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.KlnnTo + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + LICENSEDIR=/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/licenses/mona-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/licenses/mona-libs + cp -pr COPYING /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/licenses/mona-libs + exit 0 Provides: libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) mona-libs = 1.4r17-4.fc28 mona-libs(riscv-64) = 1.4r17-4.fc28 Requires(interp): /sbin/ldconfig /sbin/ldconfig Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires(post): /sbin/ldconfig Requires(postun): /sbin/ldconfig Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libmonabdd.so.1()(64bit) libmonamem.so.1()(64bit) rtld(GNU_HASH) Processing files: mona-devel-1.4r17-4.fc28.riscv64 Provides: mona-devel = 1.4r17-4.fc28 mona-devel(riscv-64) = 1.4r17-4.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit) Processing files: mona-examples-1.4r17-4.fc28.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.jb3KW0 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-examples + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-examples + cp -pr Examples/ab1.mona Examples/ab2.mona Examples/even.mona Examples/even_with_assert.mona Examples/even_with_pred.mona Examples/html.mona Examples/hyman.mona Examples/lossy_queue.mona Examples/minusmodulo.mona Examples/nadder.mona Examples/plusmodulo.mona Examples/presburger.mona Examples/regexp.mona /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-examples + cp -pr Examples/bdd_volatility /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64/usr/share/doc/mona-examples + exit 0 Provides: mona-examples = 1.4r17-4.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh Processing files: mona-emacs-1.4r17-4.fc28.noarch Provides: mona-emacs = 1.4r17-4.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: mona-xemacs-1.4r17-4.fc28.noarch Provides: mona-xemacs = 1.4r17-4.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 Wrote: /builddir/build/SRPMS/mona-1.4r17-4.fc28.src.rpm Wrote: /builddir/build/RPMS/riscv64/mona-1.4r17-4.fc28.riscv64.rpm Wrote: /builddir/build/RPMS/riscv64/mona-libs-1.4r17-4.fc28.riscv64.rpm Wrote: /builddir/build/RPMS/riscv64/mona-devel-1.4r17-4.fc28.riscv64.rpm Wrote: /builddir/build/RPMS/noarch/mona-examples-1.4r17-4.fc28.noarch.rpm Wrote: /builddir/build/RPMS/noarch/mona-emacs-1.4r17-4.fc28.noarch.rpm Wrote: /builddir/build/RPMS/noarch/mona-xemacs-1.4r17-4.fc28.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.8tRIu7 + umask 022 + cd /builddir/build/BUILD + cd mona-1.4 + /usr/bin/rm -rf /builddir/build/BUILDROOT/mona-1.4r17-4.fc28.riscv64 + exit 0 + touch /buildok + cleanup + set +e + sync + sleep 5 + sync + poweroff Terminated ++ cleanup ++ set +e ++ sync Terminated +++ cleanup +++ set +e +++ sync +++ sleep 5 +++ sync +++ poweroff