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-14.mga9.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.R5bDwU + 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.9wHlag + 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 + 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.12.0 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 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 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 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.3ReMwj + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.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-14.mga9.aarch64 'INSTALL=/usr/bin/install -p' mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/share/man/man1 cp -f doc/alt-ergo.1 /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/share/man/man1 mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.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-14.mga9.aarch64/usr/lib64/alt-ergo/preludes/ mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/bin cp -f alt-ergo.opt /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.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 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 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-14.mga9.aarch64/usr/lib64/alt-ergo/plugins cp -f fm-simplex-plugin.cmxs /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.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 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 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 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-14.mga9.aarch64/usr/lib64 \ ocamlfind install alt-ergo altErgoLib.* META Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.o Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxa Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmx Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmt Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmo Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmi Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cma Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.a Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/META + rm -f '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/ocaml/alt-ergo/*.cmx' '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/ocaml/alt-ergo/*.o' + rm -f /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/ocaml/alt-ergo/META + /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 2.2.0-14.mga9 --unique-debug-suffix -2.2.0-14.mga9.aarch64 --unique-debug-src-base alt-ergo-2.2.0-14.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-14.mga9.aarch64/usr/bin/alt-ergo extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs original debug info size: 4984kB, size after compression: 4736kB /usr/bin/sepdebugcrcfix: Updated 3 CRC32s, 0 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-14.mga9.aarch64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.4tAs7C + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd alt-ergo-2.2.0 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.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-14.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr README.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr LICENSE.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr CHANGES /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/share/doc/alt-ergo + cp -pr doc/ /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Provides: alt-ergo = 2.2.0-14.mga9 alt-ergo(aarch-64) = 2.2.0-14.mga9 ocaml(AltErgoLib) = ddeb90d5ca1527bbf567d84952ba15f2 ocaml(FmSimplexIneqs) = 2a449c13e13052d40415d3201c9b8e13 ocaml(Simplex) = e798501fcec9adfe94c7dd224fd320cf ocaml(Simplex_cache) = 0816b588483ca07ae56841a310fbe631 ocamlx(AltErgoLib) = f997b9cac7bc27d4e98285b02952bac7 ocamlx(FmSimplexIneqs) = 83f1886638a7f19fd0cccb9b5fe09fab ocamlx(Simplex) = 317f7e84df439f0c560827ea223fc0da ocamlx(Simplex_cache) = 8522aa19a9528e8795fc13164e1c8f2b 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) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.17)(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) = ee02223708fa1d9591dd37aae1f1360c ocaml(CamlinternalFormatBasics) = b6c6694955e10001aed267571104a961 ocaml(CamlinternalLazy) = 0ffdd4563ae8cab020b6247347c9def7 ocaml(CamlinternalMod) = 7a6bc8c9aac5938359537cc9ec5f5317 ocaml(Dynlink) = 1992f5776d7482876578d6260be0a779 ocaml(Nat) = ae789d3b409e53bbe7b4875e66d3a8c0 ocaml(Num) = 85b7b471c9d7b44f4c18500c05d61ce9 ocaml(OcplibSimplex) = 500e66c738b2f8bcd54163e8e357433b ocaml(Psmt2Frontend) = bf37c776b5942c89ac23f609f5c1edc1 ocaml(Q) = 3088f7a25d89c4c99d820963532372d1 ocaml(Ratio) = c01c827e5db0031e94319a843297e19a ocaml(Simplex) = e798501fcec9adfe94c7dd224fd320cf ocaml(Simplex_cache) = 0816b588483ca07ae56841a310fbe631 ocaml(Stdlib) = 4b04b4eda19aa722df365141895fb347 ocaml(Stdlib__arg) = cb7276f4b80d17f122d4ba1cbcfd70dd ocaml(Stdlib__array) = 4e32e71cf085ea7194f43622fdc89508 ocaml(Stdlib__bigarray) = 73871e61e3785d8f0d822194daeb85ec ocaml(Stdlib__buffer) = 9eaf2b1cd70e33601c152d1ce1bb8be9 ocaml(Stdlib__char) = ccd3738d6394dcb9283f27d985cd03db ocaml(Stdlib__complex) = 81367aaa1be1ccaf16610a96c3d2bc13 ocaml(Stdlib__either) = 2555bf09b020b8887a4d8a645b0ed347 ocaml(Stdlib__filename) = 8c147c37b4043616a4f94de5d087796e ocaml(Stdlib__format) = e8696010fc66d4ce9a3bc3f311f6ea20 ocaml(Stdlib__gc) = dc6a7673c4090b9da739ce254d1f56a1 ocaml(Stdlib__hashtbl) = c3ec10b93bb358686d02fa9c5f4adb6b ocaml(Stdlib__int32) = 4c0749e51d8fce5752bcb00fe42a4ddc ocaml(Stdlib__int64) = 6cf7f095ea7fd59bad44ff22d084c4ee ocaml(Stdlib__lazy) = 5d62f857d0f7ae5149ebb6d1d7bf1f95 ocaml(Stdlib__lexing) = f7569937b419d08065107a2889d2cf28 ocaml(Stdlib__list) = 88609ef3a3066dcf16ad7456f53122d2 ocaml(Stdlib__map) = 717fe01a67af86872466d04c7663d16f ocaml(Stdlib__obj) = 2b540dc54438cf063883f6e85c4aa37a ocaml(Stdlib__parsing) = d0ecc986ba63d696b7b6b4eddbd730cf ocaml(Stdlib__printexc) = 2ed36879cfa0bc71cb0de0098e5580b3 ocaml(Stdlib__printf) = 6b41a35d77938603dd2ed0f7d80764f6 ocaml(Stdlib__queue) = d2482d035931625f85b5c791c05b388c ocaml(Stdlib__scanf) = fcbac178fa03ea42ea3104cab0aa7de5 ocaml(Stdlib__seq) = 185075aa99b059ad4cae15cb411fcc0c ocaml(Stdlib__set) = d47fad5d5151b45276616200bec25877 ocaml(Stdlib__string) = 9f0e42299fccc5fb76df62d28ba67759 ocaml(Stdlib__sys) = eb89f871835c4515431f0752466ac613 ocaml(Stdlib__uchar) = 82dadcd908dde621b8842c96ba644dc6 ocaml(Stdlib__weak) = cba3563dd81326f4bdf520cd5fbcc4cc ocaml(Str) = bef96aee1069de14a002f95c42f07d31 ocaml(Unix) = eadecc353e942963afccd09bd1a12192 ocaml(Z) = 5ba6fd085faaabb79d01f7ef7b987094 ocaml(Zip) = 2bbf2470068203dea8fadbceddc62035 ocamlx(Big_int) = 55983987a61125645c9dcf8cb3147778 ocamlx(CamlinternalLazy) = 5f1da61615ee34940899352e3f13883f ocamlx(CamlinternalMod) = 075336ca2dcf908f0561912c4c09daa0 ocamlx(Dynlink) = 32047a582ea44940ea74a5b406e1e6ad ocamlx(Num) = a79b0949ba6b3dc25f4b20df29921cef ocamlx(OcplibSimplex) = b49a01cee3b773b7e3452855de4ea945 ocamlx(Psmt2Frontend) = dac9d1b41571776ded305b759ee3ae63 ocamlx(Q) = 995cb9a428cd00c594494e3a7d1be23b ocamlx(Ratio) = b92a76952f4d6f93cb64e27f69a908e7 ocamlx(Simplex) = 317f7e84df439f0c560827ea223fc0da ocamlx(Simplex_cache) = 8522aa19a9528e8795fc13164e1c8f2b ocamlx(Stdlib) = 905355729c82ef4d2184c394a250f1a3 ocamlx(Stdlib__arg) = 31e8dcb38ea7adf461aa606aee9aeedb ocamlx(Stdlib__array) = bd748df8b673a5572a68c6ed97643075 ocamlx(Stdlib__buffer) = f2c7899840b35768dd26b48c02f5d47d ocamlx(Stdlib__char) = ceadb77e2c81b1c955823f0bf953c676 ocamlx(Stdlib__filename) = fd27ed43c8cba6245eb4a8892d1492f6 ocamlx(Stdlib__format) = 41296ac99a85560c95c2f9d56ed27a7d ocamlx(Stdlib__gc) = 132b3af1318da21f2765f4d2dc8f5fb9 ocamlx(Stdlib__hashtbl) = d6c11956a20f699b6d99ffbeaf7af8ce ocamlx(Stdlib__int64) = 54c5d202b981a695ff231a328f5611d3 ocamlx(Stdlib__lexing) = ebc068c08b7e3910fd9a4618bdc64e1f ocamlx(Stdlib__list) = 53d7956dcffc648bb93ed4703fe49f2c ocamlx(Stdlib__map) = 9b04e1085316f512f6a7758100d936a3 ocamlx(Stdlib__parsing) = 9be257dd4196e68e0281e3f8fef6a0d2 ocamlx(Stdlib__printexc) = e4c142a6302c9afbffcc5e2dbfab469c ocamlx(Stdlib__printf) = 9c372b73f35fb3b53e15ee17339edabc ocamlx(Stdlib__queue) = 8acdc8c2f4e6cbf4cc67537fdeb86d62 ocamlx(Stdlib__scanf) = d2166da9bb1fa4ae53f3718acb2837ac ocamlx(Stdlib__set) = c27557b5a6100db8742e263f38fd23be ocamlx(Stdlib__string) = 0f51be4faacbfc99b4c9b3c427cf5bd8 ocamlx(Stdlib__sys) = 53713114014cf8545db403b325aa77cd ocamlx(Stdlib__weak) = 7eb8f855f952c8efb56dc2d6be10ebc8 ocamlx(Str) = 10d37a74f0ae0998f9cb9414c6430d85 ocamlx(Unix) = 6cad08ee79360aa0781ccb2644c36087 ocamlx(Z) = 27eb8a681b7a2968ad2b27bf80879f48 ocamlx(Zip) = ef8c3f1718f4b92988040b50acec9198 Processing files: alt-ergo-debugsource-2.2.0-14.mga9.aarch64 Provides: alt-ergo-debugsource = 2.2.0-14.mga9 alt-ergo-debugsource(aarch-64) = 2.2.0-14.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-14.mga9.aarch64 Provides: alt-ergo-debuginfo = 2.2.0-14.mga9 alt-ergo-debuginfo(aarch-64) = 2.2.0-14.mga9 debuginfo(build-id) = 58b6aa6606c673a9e90c1c8dbd7dfec8d68c8f63 debuginfo(build-id) = 5e1fe109e53c7bac8dd8004b60c40d91a62d8bbe debuginfo(build-id) = c9c6f1c7a3c34e4028f15d199c06d1d6b9b646b1 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-14.mga9 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-14.mga9.aarch64 Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-debugsource-2.2.0-14.mga9.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-debuginfo-2.2.0-14.mga9.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-2.2.0-14.mga9.aarch64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.NwYj8y + 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-14.mga9.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.cpgtF1 + 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!