Mock Version: 1.4.9 Mock Version: 1.4.9 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f29-build-14836-6860/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 Wrote: /builddir/build/SRPMS/alt-ergo-1.30-12.fc29.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f29-build-14836-6860/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.0m8iac + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf alt-ergo-1.30 + /usr/bin/gzip -dc /builddir/build/SOURCES/alt-ergo-1.30.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd alt-ergo-1.30 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cd /builddir/build/BUILD + cd alt-ergo-1.30 + /usr/bin/tar -xof - + /usr/bin/xz -dc /builddir/build/SOURCES/alt-ergo-icons.tar.xz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #1 (alt-ergo-1.30-use-pic.patch):' Patch #1 (alt-ergo-1.30-use-pic.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file Makefile.users + cp -p /builddir/build/SOURCES/alt-ergo.desktop . + iconv -f ISO-8859-1 -t UTF-8 -o LICENSE.utf8 LICENSE + touch -r LICENSE LICENSE.utf8 + mv -f LICENSE.utf8 LICENSE + sed -i 's|^OFLAGS =.*|& -g|' Makefile.users + for arg in $RPM_LD_FLAGS + sed -i 's|^OFLAGS =.*-g|& -ccopt -Wl,-z,relro|' Makefile.users + for arg in $RPM_LD_FLAGS + sed -i 's|^OFLAGS =.*-g|& -ccopt -Wl,-z,now|' Makefile.users + for arg in $RPM_LD_FLAGS + sed -i 's|^OFLAGS =.*-g|& -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld|' Makefile.users + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.JAflLj + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-1.30 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' BUILDSTDERR: +++ dirname ./configure BUILDSTDERR: ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' BUILDSTDERR: ++ find . -name ltmain.sh + ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info BUILDSTDERR: configure: WARNING: unrecognized options: --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.06.0 ocaml library path is /usr/lib64/ocaml checking for ocamlfind... yes ocamlfind found zarith in -I /usr/lib64/ocaml/zarith BUILDSTDERR: ocamlfind: Package `camlzip' not found checking for /usr/lib64/ocaml/zip/zip.cma... yes ocamlfind found ocplib-simplex in -I /usr/lib64/ocaml/ocplib-simplex checking for ocp-ocamlopt... no checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocp-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocp-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc ocamlfind found lablgtk2.sourceview2 in -I /usr/lib64/ocaml/lablgtk2 checking for ocamlweb... true checking platform... configure: creating ./config.status config.status: creating Makefile.configurable BUILDSTDERR: config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting BUILDSTDERR: configure: WARNING: unrecognized options: --disable-dependency-tracking + make OCAMLBEST=opt OCAMLOPT=ocamlopt.opt ocamlyacc -v src/parsing/why_parser.mly ocamllex.opt src/parsing/why_lexer.mll > /dev/null ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* non-free/plugins/common/*ml* non-free/plugins/satML/*ml* non-free/plugins/fm-simplex/*ml* non-free/plugins/profiler/*ml* > .depend ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/config.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/version.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/emap.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/emap.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myUnix.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/myUnix.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myDynlink.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/myDynlink.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myZip.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/myZip.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/util.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/lists.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbersInterface.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numsNumbers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/numsNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/zarithNumbers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/zarithNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/numbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/timers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/timers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/options.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/options.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/gc_debug.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/gc_debug.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/loc.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/loc.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/hashcons.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/hashcons.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/hstring.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/hstring.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/ty.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/ty.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/symbols.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/symbols.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/term.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/term.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/literal.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/literal.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/formula.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/formula.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/explanation.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/explanation.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/exception.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/exception.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/parsed.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/parsed.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/typed.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/typed.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/errors.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/structures/errors.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/profiling_default.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/profiling_default.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/profiling.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/util/profiling.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/parsing/why_parser.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/parsing/why_parser.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/parsing/why_lexer.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/existantial.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/preprocess/existantial.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/triggers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/preprocess/triggers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/why_typing.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/preprocess/why_typing.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/commands.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/cnf.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/preprocess/cnf.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/sig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/instances/matching.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/instances/matching.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/use.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/use.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/ac.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/ac.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/uf.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/uf.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/sum.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/sum.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/records.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/records.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/polynome.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/polynome.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/bitv.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/bitv.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/arrays.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/arrays.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervals.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/intervals.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/inequalities.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/inequalities.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervalCalculus.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/intervalCalculus.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/arith.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/arith.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/combine.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/combine.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/ccx.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/ccx.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/theory.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/theories/theory.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/instances/instances.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/instances/instances.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/sat/sat_solvers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/sat/sat_solvers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/frontend.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/main/frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/main_text.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/main/main_text.ml ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro -runtime-variant _pic -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/ccx.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/main/main_text.cmx + make OCAMLBEST=opt OCAMLOPT=ocamlopt.opt gui ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/gui_session.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/gui/gui_session.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/why_annoted.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/gui/why_annoted.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/why_connected.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/gui/why_connected.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/gui_replay.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/gui/gui_replay.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/main_gui.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro src/main/main_gui.ml ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -g -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -ccopt -Wl,-z,now -ccopt -Wl,-z,relro -runtime-variant _pic -o altgr-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/ccx.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/gui/gui_session.cmx src/gui/why_annoted.cmx src/gui/why_connected.cmx src/gui/gui_replay.cmx src/main/main_gui.cmx + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.g3ZGup + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 + cd alt-ergo-1.30 + mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/bin + make OCAMLBEST=opt OCAMLOPT=ocamlopt.opt DESTDIR=/builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 install install-gui mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/man/man1 cp -f doc/*.1 /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/bin cp -f alt-ergo.opt /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/bin/alt-ergo cp -f altgr-ergo.opt /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/bin/altgr-ergo mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/alt-ergo/gtksourceview-2.0/language-specs cp -f doc/gtk-lang/alt-ergo.lang /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang + mv /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/alt-ergo/gtksourceview-2.0 /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share + rmdir /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/alt-ergo + mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/applications + desktop-file-install --dir /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/applications alt-ergo.desktop + mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/appdata + install -pm 644 /builddir/build/SOURCES/alt-ergo.appdata.xml /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/appdata + mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/icons + cp -a icons /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/icons/hicolor + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.30-12.fc29 --unique-debug-suffix -1.30-12.fc29.riscv64 --unique-debug-src-base alt-ergo-1.30-12.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-1.30 extracting debug info from /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/bin/altgr-ergo extracting debug info from /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/bin/alt-ergo BUILDSTDERR: dwz: Error mmapping multi-file temporary files /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. BUILDSTDERR: cpio: big_int.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: buffer.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bytes.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: format.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gBin.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gEdit.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gMisc.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gPack.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gRange.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gWindow.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gdk.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gdkEvent.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: glib.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: hashtbl.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: int64.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: lexing.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: map.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: num.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: otherlibs/dynlink/natdynlink.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: pervasives.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: q.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: queue.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: ratio.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: scanf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: set.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: src/core.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: src/rat2.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: stack.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: str.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: string.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: z.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: zip.ml: Cannot stat: No such file or directory BUILDSTDERR: 1860 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig BUILDSTDERR: /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-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 Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.ox3KIi Processing files: alt-ergo-1.30-12.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.SoPwvd + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-1.30 + DOCDIR=/builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/doc/alt-ergo + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/doc/alt-ergo + cp -pr README.md /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/doc/alt-ergo + cp -pr CHANGES /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/doc/alt-ergo + cp -pr examples /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/doc/alt-ergo + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.gZDNlh + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-1.30 + LICENSEDIR=/builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/licenses/alt-ergo + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/licenses/alt-ergo + cp -pr COPYING.md /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/licenses/alt-ergo + cp -pr LICENSE /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64/usr/share/licenses/alt-ergo + exit 0 Provides: alt-ergo = 1.30-12.fc29 alt-ergo(riscv-64) = 1.30-12.fc29 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) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: alt-ergo-gui-1.30-12.fc29.riscv64 Provides: alt-ergo-gui = 1.30-12.fc29 alt-ergo-gui(riscv-64) = 1.30-12.fc29 application() application(alt-ergo.desktop) metainfo() metainfo(alt-ergo.appdata.xml) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires(post): coreutils Requires(postun): coreutils Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libatk-1.0.so.0()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libcairo.so.2()(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libfontconfig.so.1()(64bit) libfreetype.so.6()(64bit) libfribidi.so.0()(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libgio-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgmp.so.10()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libgtksourceview-2.0.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpango-1.0.so.0()(64bit) libpangocairo-1.0.so.0()(64bit) libpangoft2-1.0.so.0()(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.27)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: alt-ergo-debugsource-1.30-12.fc29.riscv64 Provides: alt-ergo-debugsource = 1.30-12.fc29 alt-ergo-debugsource(riscv-64) = 1.30-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: alt-ergo-debuginfo-1.30-12.fc29.riscv64 Provides: alt-ergo-debuginfo = 1.30-12.fc29 alt-ergo-debuginfo(riscv-64) = 1.30-12.fc29 debuginfo(build-id) = 3ff1684986b8f5ac0d859cf42680284c8fa8d68a Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(riscv-64) = 1.30-12.fc29 Processing files: alt-ergo-gui-debuginfo-1.30-12.fc29.riscv64 Provides: alt-ergo-gui-debuginfo = 1.30-12.fc29 alt-ergo-gui-debuginfo(riscv-64) = 1.30-12.fc29 debuginfo(build-id) = 330b2c9eb62b0f80231ebedf10c1b892a971bc73 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(riscv-64) = 1.30-12.fc29 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 Wrote: /builddir/build/RPMS/alt-ergo-1.30-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/alt-ergo-gui-1.30-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/alt-ergo-debugsource-1.30-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-1.30-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-1.30-12.fc29.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.MqITn1 + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-1.30 + /usr/bin/rm -rf /builddir/build/BUILDROOT/alt-ergo-1.30-12.fc29.riscv64 + exit 0 Child return code was: 0