D: [iurt_root_command] chroot warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend. Installing /home/iurt/rpmbuild/SRPMS/alt-ergo-2.2.0-15.mga9.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.h16k3I + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/iurt/rpmbuild/BUILD + rm -rf alt-ergo-2.2.0 + /usr/bin/mkdir -p alt-ergo-2.2.0 + cd alt-ergo-2.2.0 + /usr/bin/gzip -dc /home/iurt/rpmbuild/SOURCES/alt-ergo-free-2.2.0.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.9BDrEE + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd alt-ergo-2.2.0 + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + autoconf configure.in:328: warning: AC_OUTPUT should be used without arguments. configure.in:328: You should run autoupdate. + CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables ' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables ' + export FCFLAGS + LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id -Wl,--enable-new-dtags' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CONFIGURE_TOP=. + '[' 1 = 1 ']' ++ find . -name config.guess -o -name config.sub + /usr/lib/rpm/mageia/force-as-needed-for-shared-lib-in-libtool Forcing -Wl,--as-needed in configure/libtool to workaround libtool bug (cf http://lists.gnu.org/archive/html/libtool-patches/2004-06/msg00002.html) + /usr/lib/rpm/mageia/drop-ld-no-undefined-for-shared-lib-modules-in-libtool + /usr/lib/rpm/mageia/fix-libtool-ltmain-from-overlinking + /usr/lib/rpm/mageia/fix-libtool-from-moving-options-after-libs . + /usr/lib/rpm/mageia/fix-dlsearch-path-in-libtool-for-multilib . lib64 + ./configure --host=aarch64-mageia-linux-gnu --build=aarch64-mageia-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 configure: WARNING: unrecognized options: --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.13.1 ocaml library path is /usr/lib64/ocaml checking for ocamlfind... yes ocamlfind found zarith in -I /usr/lib64/ocaml/zarith ocamlfind found num in -I /usr/lib64/ocaml/num ocamlfind found zip in -I /usr/lib64/ocaml/zip ocamlfind found ocplib-simplex in -I /usr/lib64/ocaml/ocplib-simplex ocamlfind found psmt2-frontend in -I /usr/lib64/ocaml/psmt2-frontend 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 menhir... menhir ocamlfind: Package `lablgtk2.sourceview2' not found checking for /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cma... no Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* checking for ocamlweb... true checking platform... configure: creating ./config.status config.status: creating Makefile.configurable config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-dependency-tracking + /usr/bin/make opt menhir -v parsers/why/why_parser.mly ocamllex.opt parsers/why/why_lexer.mll > /dev/null ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \ tools/gui/*.ml* parsers/why/*.ml* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/config.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/config.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbersInterface.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching_types.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.mli File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/inequalities.mli", line 79, characters 3-5: 79 | (Uf : Uf.S with type r = X.r) ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Uf. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/inequalities.mli", line 86, characters 5-7: 86 | (Uf : Uf.S with type r = X.r) ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Uf. ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/inequalities.ml", line 87, characters 5-7: 87 | (Uf : Uf.S with type r = X.r) ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Uf. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/inequalities.ml", line 96, characters 5-7: 96 | (Uf : Uf.S with type r = X.r) ^^ Warning 60 [unused-module]: unused module Uf. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.mli File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/intervalCalculus.mli", line 32, characters 3-4: 32 | (P : Polynome.EXTENDED_Polynome with type r = X.r) ^ Warning 67 [unused-functor-parameter]: unused functor parameter P. ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.mli File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/arith.mli", line 39, characters 3-4: 39 | (P : Polynome.EXTENDED_Polynome with type r = X.r) ^ Warning 67 [unused-functor-parameter]: unused functor parameter P. ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.mli File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/sat_solver_sig.mli", line 67, characters 15-17: 67 | module Make (Th : Theory.S) : S ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Th. ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/sat_solver_sig.ml", line 70, characters 15-17: 70 | module Make (Th : Theory.S) : S ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Th. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 92, characters 8-39: 92 | mutable clauses : clause Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field clauses is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 95, characters 8-39: 95 | mutable learnts : clause Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field learnts is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 104, characters 8-33: 104 | mutable vars : var Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field vars is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 107, characters 8-35: 107 | mutable trail : atom Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field trail is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 110, characters 8-38: 110 | mutable trail_lim : int Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field trail_lim is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 125, characters 8-32: 125 | mutable order : Iheap.t; ^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field order is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 128, characters 8-42: 128 | mutable progress_estimate : float; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field progress_estimate is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 140, characters 8-36: 140 | mutable restart_first : int; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field restart_first is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 147, characters 8-42: 147 | mutable learntsize_factor : float; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field learntsize_factor is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 154, characters 8-31: 154 | expensive_ccmin : bool; ^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field expensive_ccmin is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 157, characters 8-29: 157 | polarity_mode : bool; ^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field polarity_mode is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 171, characters 8-35: 171 | mutable max_literals : int; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field max_literals is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 173, characters 8-35: 173 | mutable tot_literals : int; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field tot_literals is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 179, characters 8-34: 179 | mutable model : var Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field model is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 185, characters 8-40: 185 | mutable tenv_queue : Th.t Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field tenv_queue is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 187, characters 8-44: 187 | mutable tatoms_queue : atom Queue.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field tatoms_queue is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 188, characters 8-43: 188 | mutable th_tableaux : atom Queue.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field th_tableaux is never mutated. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_lexer.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/parsers/why/why_lexer.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers_loader.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers_loader.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib tools/text/main_text.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib tools/text/main_text.ml ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa psmt2Frontend.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/vec.cmx lib/util/iheap.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/satml_types.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/ite.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/sat_solver_sig.cmx lib/reasoners/fun_sat.cmx lib/reasoners/satml.cmx lib/reasoners/satml_frontend.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/cnf.cmx lib/frontend/typechecker.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx parsers/smt2/psmt2_to_alt_ergo.cmx lib/frontend/parsers_loader.cmx tools/text/main_text.cmx + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.61BXSv + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 + cd alt-ergo-2.2.0 + '[' 1 -eq 1 ']' + /usr/bin/make install DESTDIR=/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 'INSTALL=/usr/bin/install -p' mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/man/man1 cp -f doc/alt-ergo.1 /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/man/man1 mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/preludes cp -f preludes/fpa-theory-2017-01-04-16h00.why /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/preludes/ mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/bin cp -f alt-ergo.opt /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/bin/alt-ergo ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/simplex.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 351, characters 19-38: 351 | let subst_in_p ({a=a ; c=c} as pp) ((s,lhs), {a=rhs_a; c=rhs_c}) = ^^^^^^^^^^^^^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 521, characters 23-34: 521 | let compact_poly_2 {a=a ; c=c} base new_len h_zsbt = ^^^^^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 533, characters 21-32: 533 | let compact_poly {a=a ; c=c} base new_len h_zsbt = ^^^^^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 639, characters 14-36: 639 | let subst ({a2=a2; c2=c2} as pp) lhs {a2=rhs_a2; c2=rhs_c2} = ^^^^^^^^^^^^^^^^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 706, characters 27-54: 706 | let change_pivot ch_vr (old_vr, {a2=old_a; c2=c2}) distr order = ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 897, characters 25-32: 897 | let infos_of distr q {c2=c2} ctx = ^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex.ml", line 975, characters 17-39: 975 | let subst_spec ({a2=a2; c2=c2} as pp) v {a2=rhs_a2; c2=rhs_c2} = ^^^^^^^^^^^^^^^^^^^^^^ Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state. It prevents the remaining arguments from being uncurried, which will cause additional closure allocations. ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/simplex_cache.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/plugins/fm-simplex/simplex_cache.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/fmSimplexIneqs.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/fmSimplexIneqs.ml ocamlopt.opt -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/plugins cp -f fm-simplex-plugin.cmxs /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/plugins ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/config.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/config.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/inequalities.ml", line 87, characters 5-7: 87 | (Uf : Uf.S with type r = X.r) ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Uf. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/inequalities.ml", line 96, characters 5-7: 96 | (Uf : Uf.S with type r = X.r) ^^ Warning 60 [unused-module]: unused module Uf. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/sat_solver_sig.ml", line 70, characters 15-17: 70 | module Make (Th : Theory.S) : S ^^ Warning 67 [unused-functor-parameter]: unused functor parameter Th. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 92, characters 8-39: 92 | mutable clauses : clause Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field clauses is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 95, characters 8-39: 95 | mutable learnts : clause Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field learnts is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 104, characters 8-33: 104 | mutable vars : var Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field vars is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 107, characters 8-35: 107 | mutable trail : atom Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field trail is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 110, characters 8-38: 110 | mutable trail_lim : int Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field trail_lim is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 125, characters 8-32: 125 | mutable order : Iheap.t; ^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field order is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 128, characters 8-42: 128 | mutable progress_estimate : float; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field progress_estimate is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 140, characters 8-36: 140 | mutable restart_first : int; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field restart_first is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 147, characters 8-42: 147 | mutable learntsize_factor : float; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field learntsize_factor is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 154, characters 8-31: 154 | expensive_ccmin : bool; ^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field expensive_ccmin is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 157, characters 8-29: 157 | polarity_mode : bool; ^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field polarity_mode is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 171, characters 8-35: 171 | mutable max_literals : int; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field max_literals is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 173, characters 8-35: 173 | mutable tot_literals : int; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field tot_literals is never read. (However, this field is used to build or mutate values.) File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 179, characters 8-34: 179 | mutable model : var Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field model is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 185, characters 8-40: 185 | mutable tenv_queue : Th.t Vec.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field tenv_queue is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 187, characters 8-44: 187 | mutable tatoms_queue : atom Queue.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field tatoms_queue is never mutated. File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 188, characters 8-43: 188 | mutable th_tableaux : atom Queue.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field th_tableaux is never mutated. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_lexer.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/parsers/why/why_lexer.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.ml ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -pack -o altErgoLib.cmo lib/util/config.cmo lib/util/version.cmo lib/util/emap.cmo lib/util/myUnix.cmo lib/util/myDynlink.cmo lib/util/myZip.cmo lib/util/util.cmo lib/util/lists.cmo lib/util/numsNumbers.cmo lib/util/zarithNumbers.cmo lib/util/numbers.cmo lib/util/options.cmo lib/util/vec.cmo lib/util/iheap.cmo lib/util/timers.cmo lib/util/gc_debug.cmo lib/util/loc.cmo lib/util/hconsing.cmo lib/util/hstring.cmo lib/structures/exception.cmo lib/structures/symbols.cmo lib/structures/ty.cmo lib/structures/parsed.cmo lib/structures/errors.cmo lib/structures/typed.cmo lib/structures/term.cmo lib/structures/fpa_rounding.cmo lib/structures/literal.cmo lib/structures/formula.cmo lib/structures/satml_types.cmo lib/structures/explanation.cmo lib/structures/commands.cmo lib/structures/profiling.cmo lib/reasoners/matching.cmo lib/reasoners/instances.cmo lib/reasoners/polynome.cmo lib/reasoners/ac.cmo lib/reasoners/uf.cmo lib/reasoners/use.cmo lib/reasoners/intervals.cmo lib/reasoners/inequalities.cmo lib/reasoners/intervalCalculus.cmo lib/reasoners/arith.cmo lib/reasoners/records.cmo lib/reasoners/bitv.cmo lib/reasoners/arrays.cmo lib/reasoners/sum.cmo lib/reasoners/ite.cmo lib/reasoners/combine.cmo lib/reasoners/ccx.cmo lib/reasoners/theory.cmo lib/reasoners/sat_solver_sig.cmo lib/reasoners/fun_sat.cmo lib/reasoners/satml.cmo lib/reasoners/satml_frontend.cmo lib/reasoners/sat_solver.cmo lib/frontend/triggers.cmo lib/frontend/cnf.cmo lib/frontend/typechecker.cmo lib/frontend/parsed_interface.cmo lib/frontend/frontend.cmo lib/frontend/parsers.cmo parsers/why/why_parser.cmo parsers/why/why_lexer.cmo parsers/smt2/psmt2_to_alt_ergo.cmo lib/reasoners/sig.cmi ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -o altErgoLib.cma altErgoLib.cmo ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -pack -o altErgoLib.cmx lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/vec.cmx lib/util/iheap.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/satml_types.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/ite.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/sat_solver_sig.cmx lib/reasoners/fun_sat.cmx lib/reasoners/satml.cmx lib/reasoners/satml_frontend.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/cnf.cmx lib/frontend/typechecker.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx parsers/smt2/psmt2_to_alt_ergo.cmx lib/reasoners/sig.cmi ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -o altErgoLib.cmxa altErgoLib.cmx ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -o altErgoLib.cmxs altErgoLib.cmx OCAMLFIND_DESTDIR=/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64 \ ocamlfind install alt-ergo altErgoLib.* META Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.o Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxa Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmx Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmt Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmo Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmi Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cma Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.a Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/META + rm -f '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/ocaml/alt-ergo/*.cmx' '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/ocaml/alt-ergo/*.o' + rm -f /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/ocaml/alt-ergo/META + /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 2.2.0-15.mga9 --unique-debug-suffix -2.2.0-15.mga9.aarch64 --unique-debug-src-base alt-ergo-2.2.0-15.mga9.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0 extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/bin/alt-ergo dwz: ./usr/bin/alt-ergo-2.2.0-15.mga9.aarch64.debug: Unknown debugging section .debug_line_str original debug info size: 4628kB, size after compression: 4628kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 1 CRC32s did match. cpio: big_int.ml: Cannot stat: No such file or directory cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: char.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: int64.ml: Cannot stat: No such file or directory cpio: lexing.ml: Cannot stat: No such file or directory cpio: list.ml: Cannot stat: No such file or directory cpio: map.ml: Cannot stat: No such file or directory cpio: num.ml: Cannot stat: No such file or directory cpio: otherlibs/dynlink/dynlink_common.ml: Cannot stat: No such file or directory cpio: printexc.ml: Cannot stat: No such file or directory cpio: printf.ml: Cannot stat: No such file or directory cpio: q.ml: Cannot stat: No such file or directory cpio: queue.ml: Cannot stat: No such file or directory cpio: ratio.ml: Cannot stat: No such file or directory cpio: scanf.ml: Cannot stat: No such file or directory cpio: set.ml: Cannot stat: No such file or directory cpio: src/core.ml: Cannot stat: No such file or directory cpio: src/rat2.ml: Cannot stat: No such file or directory cpio: src/smtlib_error.ml: Cannot stat: No such file or directory cpio: src/smtlib_parser.ml: Cannot stat: No such file or directory cpio: src/smtlib_parser.mly: Cannot stat: No such file or directory cpio: src/smtlib_ty.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: str.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory cpio: z.ml: Cannot stat: No such file or directory cpio: zip.ml: Cannot stat: No such file or directory 3375 blocks + /usr/lib/rpm/check-buildroot + '[' -n '' ']' + /usr/share/spec-helper/clean_files + '[' -n '' ']' + /usr/share/spec-helper/compress_files .xz + '[' -n '' ']' + /usr/share/spec-helper/relink_symlinks + '[' -n '' ']' + /usr/share/spec-helper/clean_perl + '[' -n '' ']' + /usr/share/spec-helper/lib_symlinks + '[' -n '' ']' + /usr/share/spec-helper/gprintify + '[' -n '' ']' + /usr/share/spec-helper/fix_mo + '[' -n '' ']' + /usr/share/spec-helper/fix_pamd + '[' -n '' ']' + /usr/share/spec-helper/remove_info_dir + '[' -n '' ']' + /usr/share/spec-helper/fix_eol + '[' -n '' ']' + /usr/share/spec-helper/check_desktop_files + '[' -n '' ']' + /usr/share/spec-helper/check_elf_files + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python3 1 0 + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: alt-ergo-2.2.0-15.mga9.aarch64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.uhWDMz + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd alt-ergo-2.2.0 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/doc/alt-ergo + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr README.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr LICENSE.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr CHANGES /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr doc/ /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Provides: alt-ergo = 2.2.0-15.mga9 alt-ergo(aarch-64) = 2.2.0-15.mga9 ocaml(AltErgoLib) = 70db6810cd57a4b7b246dd783cf32f8c ocaml(FmSimplexIneqs) = bc81c0c5cd03e8fbb97ba1cae2e18687 ocaml(Simplex) = 7d48f216ba3b8db0c6f8a3e30b967841 ocaml(Simplex_cache) = c65de6b154ea6e7d2c264f9b4341b030 ocamlx(AltErgoLib) = 79b0c34e3ef82a86eaa9845bf3052789 ocamlx(FmSimplexIneqs) = ee0279188ed8e5933a1c414542a16371 ocamlx(Simplex) = bd7d0e4eafa94175e90ec64296d26643 ocamlx(Simplex_cache) = 0f6ce010c838e90a00f0a6834e1b3b06 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.29)(64bit) libz.so.1()(64bit) ocaml(Big_int) = 2810cdef87811739c860656c04d2809e ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(CamlinternalLazy) = 82103148a05e285950684f44991b3567 ocaml(CamlinternalMod) = 92273e2dfce7fcf989bac3ceb0683002 ocaml(Dynlink) = e73f7e7dfd9263a9c556dc8e487d3600 ocaml(Nat) = 5ad24d0d42d0dcd20a52c964d4de3960 ocaml(Num) = 037d7da085e0d6a42060acb85fd52337 ocaml(OcplibSimplex) = a66dab1990bb8f63f52e2bb91a8c6775 ocaml(Psmt2Frontend) = 7a0ddc62ae485f189acf15fe625c5ad0 ocaml(Q) = 78e67b574090234468dc765b5bdb7717 ocaml(Ratio) = 504e9a082e1f9348f705163d40246bbd ocaml(Simplex) = 7d48f216ba3b8db0c6f8a3e30b967841 ocaml(Simplex_cache) = c65de6b154ea6e7d2c264f9b4341b030 ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Arg) = 9340cb29cc363a0d5ad324eb8d6f342a ocaml(Stdlib__Array) = 581e55eba14aacb7d3a90da809c6bf38 ocaml(Stdlib__Bigarray) = 0658efab07b830634f1823572d2cce61 ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Char) = 61e527e7ba78bf9450c29456437722da ocaml(Stdlib__Complex) = dc5b34d1ccde5a5d3b060f66f0bf3ab0 ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Filename) = 4815d5ca896991372fe7e52d879cef8b ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 ocaml(Stdlib__Gc) = cc1c769111c523838b9f0f1ae9229bba ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 ocaml(Stdlib__Int64) = 55e959e4ff2aaf232f465daffa26c424 ocaml(Stdlib__Lazy) = dee386391ddbe73d02c1439b3b21df37 ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0 ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4 ocaml(Stdlib__Parsing) = 05d0be551358ce19ca44c4beaadc6445 ocaml(Stdlib__Printexc) = 265cf863b6cc4d76f93e66b2a3ed4ef1 ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e ocaml(Stdlib__Queue) = 6b9f21315cc0db0a21b7aa6bd2b95b7e ocaml(Stdlib__Scanf) = 05cc8c67fd4a24a59bf713a6b97deed3 ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Set) = 62a5b2299175dac791c30d62e1518738 ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Sys) = 77e29567f2d5143158a3c6ae227ebb37 ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocaml(Stdlib__Weak) = 7471767d4854a5be3a87fb957210a23a ocaml(Str) = 6ae0781ff0acd08a308bc4a9842d91d9 ocaml(Unix) = 49c6c492a189deeaed5bf77a6793e7fa ocaml(Z) = 8a90aa4bf2d57bb938bc384ae8abc507 ocaml(Zip) = a3660e7cb5210d913d60fccdb5c25102 ocamlx(Big_int) = cff7b9a9eadbdc3a8c9d1cc3a2ffa239 ocamlx(CamlinternalLazy) = 996253023a701ed9829a1b68222ea67d ocamlx(CamlinternalMod) = 4380b30d1cd2228059adef903b6d5475 ocamlx(Dynlink) = 1f643702c843652f0d66dbc40e42389b ocamlx(Num) = ea44d1330a21afcfeaf972efc786a768 ocamlx(OcplibSimplex) = 49ddc4e6a09dffd7d942211a31364843 ocamlx(Psmt2Frontend) = 720ed9376bda4ced66c8d01e215e1df0 ocamlx(Q) = 3d97d2b5e700ab2b3dcf98ce747beee7 ocamlx(Ratio) = 4bc60493664858f8d701ff2e9aab9ec1 ocamlx(Simplex) = bd7d0e4eafa94175e90ec64296d26643 ocamlx(Simplex_cache) = 0f6ce010c838e90a00f0a6834e1b3b06 ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe ocamlx(Stdlib__Arg) = 6844ce0237d71bfe737b00a5724f1146 ocamlx(Stdlib__Array) = aab10518c3f1158148fe7713d20dc740 ocamlx(Stdlib__Buffer) = 43d30e9472f560e84d2d0f69ae890ba5 ocamlx(Stdlib__Char) = 64ea034a825e47025f1dc8bfe9ae8e10 ocamlx(Stdlib__Filename) = 7175ef90d26fb9c64e236ea285539b0d ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6 ocamlx(Stdlib__Gc) = a7c20d51ee15027e17dafbf23d0c7ba0 ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4 ocamlx(Stdlib__Int64) = d21b229672d4931bbd116e693bba46e1 ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58 ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 ocamlx(Stdlib__Map) = 09312960f2079da7f07cad281186eb70 ocamlx(Stdlib__Parsing) = 3cf97bdbc0061b8a15c58d76ba7d37c1 ocamlx(Stdlib__Printexc) = 4957d2c96493f27670dfd2ef88bb93dc ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a ocamlx(Stdlib__Queue) = ebb8d10d2e926dc0b88d90f741be854b ocamlx(Stdlib__Scanf) = c54b75ea31549ddb66f3824024a0b609 ocamlx(Stdlib__Set) = efe49a5ad96e68a687d220f58858ab41 ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5 ocamlx(Stdlib__Sys) = 3aa3655700ec2d80629d3a9555109f96 ocamlx(Stdlib__Weak) = 1a51f14f52d59ceb8e60a9f6f11a82a9 ocamlx(Str) = 0f78dbb11706d0594eac53bb05622c01 ocamlx(Unix) = 45eeead1ec6814accfdb44f1a2c4ce1e ocamlx(Z) = b36fb0a5bc3d692257065f1b9ad3f592 ocamlx(Zip) = c99bff89b61e68262265e689aa7a708c Processing files: alt-ergo-debugsource-2.2.0-15.mga9.aarch64 Provides: alt-ergo-debugsource = 2.2.0-15.mga9 alt-ergo-debugsource(aarch-64) = 2.2.0-15.mga9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: alt-ergo-debuginfo-2.2.0-15.mga9.aarch64 Provides: alt-ergo-debuginfo = 2.2.0-15.mga9 alt-ergo-debuginfo(aarch-64) = 2.2.0-15.mga9 debuginfo(build-id) = 1ecc3af82090c586258ad33be5f67cb3e950a0e4 debuginfo(build-id) = 9790fbd865a929c73a5c8bbb98656eb84b1010d9 debuginfo(build-id) = d0f489c8c3c118788906aed7c5801b563c64403b Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(aarch-64) = 2.2.0-15.mga9 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-debugsource-2.2.0-15.mga9.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-debuginfo-2.2.0-15.mga9.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-2.2.0-15.mga9.aarch64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.xE0tcs + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd alt-ergo-2.2.0 + /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-15.mga9.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.rcLFeC + umask 022 + cd /home/iurt/rpmbuild/BUILD + rm -rf alt-ergo-2.2.0 + RPM_EC=0 ++ jobs -p + exit 0 D: [iurt_root_command] Success!