D: [iurt_root_command] chroot Installing /home/iurt/rpmbuild/SRPMS/alt-ergo-2.2.0-10.mga8.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.DCD0fq + 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 . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.1uE3Hr + 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.10.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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/myUnix.ml", line 19, characters 7-22: 19 | if Pervasives.(<>) timelimit 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/zarithNumbers.ml", line 156, characters 16-30: 156 | let abs_n = Pervasives.abs n in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/numbers.ml", line 51, characters 13-27: 51 | if Pervasives.(<) v min_float then min_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/numbers.ml", line 52, characters 18-32: 52 | else if Pervasives.(>) v max_float then max_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/options.ml", line 905, characters 33-51: 905 | let compare (a: int) (b: int) = Pervasives.compare a b ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 205, characters 33-51: 205 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 228, characters 17-35: 228 | | t1 , t2 -> Pervasives.compare t1 t2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 271, characters 52-70: 271 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 343, characters 30-48: 343 | let compare_subst = M.compare Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 345, characters 26-40: 345 | let equal_subst = M.equal Pervasives.(=) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 386, characters 45-63: 386 | Set.Make(struct type t = int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/symbols.ml", line 117, characters 10-28: 117 | | _ -> Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/term.ml", line 273, characters 4-18: 273 | Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/term.ml", line 341, characters 6-20: 341 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/literal.ml", line 98, characters 22-40: 98 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/formula.ml", line 111, characters 10-28: 111 | let c = Pervasives.compare (size f1) (size f2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/formula.ml", line 112, characters 14-32: 112 | if c=0 then Pervasives.compare v1.tag v2.tag else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/formula.ml", line 869, characters 6-20: 869 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 89, characters 7-21: 89 | if Pervasives.(>) v 0. then v else -. v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 629, characters 5-19: 629 | if Pervasives.(=) v 0. then fprintf fmt "-- " ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 630, characters 10-24: 630 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 631, characters 10-24: 631 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/ite.ml", line 75, characters 32-50: 75 | if c <> 0 then c else Pervasives.compare b1 b2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 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 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 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 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 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 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 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 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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 72, characters 34-49: 72 | stable := !stable && Pervasives.(<=) w 1e100; ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 98, characters 21-39: 98 | let c = Pervasives.compare b2 b1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 100, characters 18-36: 100 | else Pervasives.compare x2 x1 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 970, characters 7-22: 970 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 354, characters 4-18: 354 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 368, characters 7-21: 368 | if Pervasives.(>) v.weight 1e100 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 380, characters 7-21: 380 | if Pervasives.(>) c.activity 1e20 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 864, characters 12-30: 864 | let c = Pervasives.compare c1.activity c2.activity in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml_frontend.ml", line 536, characters 16-34: 536 | let res = Pervasives.compare w2 w1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml_frontend.ml", line 925, characters 19-33: 925 | let aux mx f = Pervasives.max mx (F.max_term_depth f) in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 36, characters 54-72: 36 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 53, characters 17-35: 53 | | x , y -> Pervasives.compare x y ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 58, characters 9-27: 58 | let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 78, characters 11-29: 78 | | _ -> Pervasives.compare c1 c2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 156, characters 28-46: 156 | if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 194, characters 14-32: 194 | let c = Pervasives.compare a1 a2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 39, characters 48-66: 39 | Map.Make(struct type t = string let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 81, characters 30-44: 81 | | PPTvarid (y, _) -> Pervasives.(=) x y ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 100, characters 35-49: 100 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" -> ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 111, characters 28-42: 111 | | Some (id, vars, ty) when Pervasives.(=) s id && ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 772, characters 17-31: 772 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 772, characters 42-56: 772 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 1874, characters 6-20: 1874 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 1877, characters 6-20: 1877 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/parsers.ml", line 103, characters 9-24: 103 | if Pervasives.(<>) file "" then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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.53w6jo + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64 + cd alt-ergo-2.2.0 + '[' 1 -eq 1 ']' + /usr/bin/make install DESTDIR=/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64 'INSTALL=/usr/bin/install -p' mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/share/man/man1 cp -f doc/alt-ergo.1 /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/share/man/man1 mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.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-10.mga8.aarch64/usr/lib64/alt-ergo/preludes/ mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/bin cp -f alt-ergo.opt /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.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 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-10.mga8.aarch64/usr/lib64/alt-ergo/plugins cp -f fm-simplex-plugin.cmxs /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/myUnix.ml", line 19, characters 7-22: 19 | if Pervasives.(<>) timelimit 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/zarithNumbers.ml", line 156, characters 16-30: 156 | let abs_n = Pervasives.abs n in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/numbers.ml", line 51, characters 13-27: 51 | if Pervasives.(<) v min_float then min_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/numbers.ml", line 52, characters 18-32: 52 | else if Pervasives.(>) v max_float then max_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/util/options.ml", line 905, characters 33-51: 905 | let compare (a: int) (b: int) = Pervasives.compare a b ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/symbols.ml", line 117, characters 10-28: 117 | | _ -> Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 205, characters 33-51: 205 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 228, characters 17-35: 228 | | t1 , t2 -> Pervasives.compare t1 t2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 271, characters 52-70: 271 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 343, characters 30-48: 343 | let compare_subst = M.compare Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 345, characters 26-40: 345 | let equal_subst = M.equal Pervasives.(=) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/ty.ml", line 386, characters 45-63: 386 | Set.Make(struct type t = int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/term.ml", line 273, characters 4-18: 273 | Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/term.ml", line 341, characters 6-20: 341 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/literal.ml", line 98, characters 22-40: 98 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/formula.ml", line 111, characters 10-28: 111 | let c = Pervasives.compare (size f1) (size f2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/formula.ml", line 112, characters 14-32: 112 | if c=0 then Pervasives.compare v1.tag v2.tag else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/formula.ml", line 869, characters 6-20: 869 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 89, characters 7-21: 89 | if Pervasives.(>) v 0. then v else -. v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 629, characters 5-19: 629 | if Pervasives.(=) v 0. then fprintf fmt "-- " ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 630, characters 10-24: 630 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/structures/profiling.ml", line 631, characters 10-24: 631 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 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 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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/ite.ml", line 75, characters 32-50: 75 | if c <> 0 then c else Pervasives.compare b1 b2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 72, characters 34-49: 72 | stable := !stable && Pervasives.(<=) w 1e100; ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 98, characters 21-39: 98 | let c = Pervasives.compare b2 b1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 100, characters 18-36: 100 | else Pervasives.compare x2 x1 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/fun_sat.ml", line 970, characters 7-22: 970 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 354, characters 4-18: 354 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 368, characters 7-21: 368 | if Pervasives.(>) v.weight 1e100 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 380, characters 7-21: 380 | if Pervasives.(>) c.activity 1e20 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml.ml", line 864, characters 12-30: 864 | let c = Pervasives.compare c1.activity c2.activity in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml_frontend.ml", line 536, characters 16-34: 536 | let res = Pervasives.compare w2 w1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/reasoners/satml_frontend.ml", line 925, characters 19-33: 925 | let aux mx f = Pervasives.max mx (F.max_term_depth f) in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 36, characters 54-72: 36 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 53, characters 17-35: 53 | | x , y -> Pervasives.compare x y ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 58, characters 9-27: 58 | let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 78, characters 11-29: 78 | | _ -> Pervasives.compare c1 c2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 156, characters 28-46: 156 | if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/triggers.ml", line 194, characters 14-32: 194 | let c = Pervasives.compare a1 a2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 39, characters 48-66: 39 | Map.Make(struct type t = string let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 81, characters 30-44: 81 | | PPTvarid (y, _) -> Pervasives.(=) x y ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 100, characters 35-49: 100 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" -> ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 111, characters 28-42: 111 | | Some (id, vars, ty) when Pervasives.(=) s id && ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 772, characters 17-31: 772 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 772, characters 42-56: 772 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 1874, characters 6-20: 1874 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/typechecker.ml", line 1877, characters 6-20: 1877 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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 File "/home/iurt/rpmbuild/BUILD/alt-ergo-2.2.0/lib/frontend/parsers.ml", line 103, characters 9-24: 103 | if Pervasives.(<>) file "" then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib64/ocaml/num -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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-10.mga8.aarch64/usr/lib64 \ ocamlfind install alt-ergo altErgoLib.* META Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.o Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxa Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmx Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmt Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmo Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmi Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cma Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.a Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/META + rm -f '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/ocaml/alt-ergo/*.cmx' '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/ocaml/alt-ergo/*.o' + rm -f /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/ocaml/alt-ergo/META + /usr/lib/rpm/find-debuginfo.sh -j8 --strict-build-id -m -i --build-id-seed 2.2.0-10.mga8 --unique-debug-suffix -2.2.0-10.mga8.aarch64 --unique-debug-src-base alt-ergo-2.2.0-10.mga8.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 explicitly decompress any DWARF compressed ELF sections in /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/bin/alt-ergo explicitly decompress any DWARF compressed ELF sections in /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/bin/alt-ergo extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/altErgoLib.cmxs explicitly decompress any DWARF compressed ELF sections in /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs original debug info size: 4564kB, size after compression: 4368kB /usr/lib/rpm/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_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 3376 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 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: alt-ergo-2.2.0-10.mga8.aarch64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.PPTvWn + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd alt-ergo-2.2.0 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.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-10.mga8.aarch64/usr/share/doc/alt-ergo + cp -pr README.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/share/doc/alt-ergo + cp -pr LICENSE.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/share/doc/alt-ergo + cp -pr CHANGES /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/share/doc/alt-ergo + cp -pr doc/ /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Provides: alt-ergo = 2.2.0-10.mga8 alt-ergo(aarch-64) = 2.2.0-10.mga8 ocaml(AltErgoLib) = 4266f2bd41786a07f06326f98a5f0514 ocaml(FmSimplexIneqs) = 9ff93364138ef9ae0742d3622a629cc2 ocaml(Simplex) = 168c03a6c52a086d3efb598f26a35502 ocaml(Simplex_cache) = 19b928dacd7654865cbfd5dd5aef7eb7 ocamlx(AltErgoLib) = d41992c014bd87b17274366a9b475464 ocamlx(FmSimplexIneqs) = 9334ba374a56c2e20fe8943855a0c32a ocamlx(Simplex) = 68c519724090bb0e8059cbdf183bc8dc ocamlx(Simplex_cache) = 98595406644737aced94640ba7c0b018 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.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) libz.so.1()(64bit) ocaml(Big_int) = 51989d0957c8c35ee5a7f938ed839058 ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 ocaml(CamlinternalMod) = af94199ed44285f84e5dc816919fab44 ocaml(Commands) = dd833a9f58f025f068d97774d3fafadf ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed ocaml(Exception) = da29fbc662f14929d9ec9bf3d7210c2c ocaml(Explanation) = 2e8d492ce7a7a24119064ac92b393866 ocaml(Formula) = 1ec2ffcfebe1d880184fe31836e1fb69 ocaml(Hstring) = 4c01220be7141337b25d8186e34ebddf ocaml(Inequalities) = a2b87cef50da44a294c23ef73510e304 ocaml(Literal) = 8fdd170fdca55ce85e0cc10cdaa437ef ocaml(Loc) = 5756a8674826925736648bc4fa14b94b ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a ocaml(Num) = 0cc9a7e5ce0180429a4bb6c270582075 ocaml(Numbers) = 902e3299bee4e4e8f4222b36d989ce25 ocaml(OcplibSimplex) = b7f8e56e5264e8884911e3af130cdf14 ocaml(Options) = 9cedef8c49ce6070e83c76bbdd18a2a0 ocaml(Parsed) = 9a0ff0f7dcb79ff8567a82b9ad966e4c ocaml(Polynome) = adcd02c0043ca330ff46941d99b41ebb ocaml(Psmt2Frontend) = e2a3a14458ad2fa2407f4562e3f5a823 ocaml(Q) = 3cadae05bfd63c15c868c18e8ffd5eb7 ocaml(Ratio) = f186d6a275fe6fd5dba0e755b9000e9f ocaml(Satml_types) = 6ffbd8a8f26ced08f2d6d23517d75c54 ocaml(Sig) = 15d83d1557660739c7c3f2ea68d20963 ocaml(Simplex) = 168c03a6c52a086d3efb598f26a35502 ocaml(Simplex_cache) = 19b928dacd7654865cbfd5dd5aef7eb7 ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 ocaml(Stdlib__gc) = 7fd146e11f52aa63b80f74c58258be74 ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5 ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 ocaml(Stdlib__parsing) = 0f8a2f81be75a9e86f670a6fef3a7f30 ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc ocaml(Str) = c5bcee777d07f9d2f20c78da78387372 ocaml(Symbols) = a446db1c5a132e71564a61403e3229d9 ocaml(Term) = 2292f89a4e348883ee9613e4c6de4e8c ocaml(Ty) = 034d2da840cc0e616b563f7b438b75a1 ocaml(Typed) = 0338def6f6f22e74258e14ddcc121981 ocaml(Uf) = 586ebc7daae5d8018f98a93ba51bd038 ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b ocaml(Util) = 10a92e09b1c354740474100b079b13bf ocaml(Vec) = cf79f6d5a2489450a9e7242e908d760a ocaml(Z) = 962ff276ad9120d412fcf96664054cbf ocaml(Zip) = 82a41225fe0caa7fb1c9b3de8060552b ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b ocamlx(CamlinternalMod) = c7b4d54e7a5caa93feb83a5618f624fb ocamlx(Dynlink) = 806ef4a308497a206ea5fb9c60832196 ocamlx(Exception) = 3c26bcc80ea4bd3b1d272e5ebfee23a5 ocamlx(Explanation) = 6648fc62df86ad6a38d524c65859233f ocamlx(Inequalities) = 1cb74b8382fe3e98b876ba56364adcd8 ocamlx(Num) = 3e2323ba0d093f566fcb0bbbf83979d4 ocamlx(Numbers) = 9cd4a47b518c6c92d24b4100942cc55b ocamlx(OcplibSimplex) = f94462a040ee477df7c2f74ca904ac06 ocamlx(Options) = 4afe6b8456eb10e4628a05b04e9361a8 ocamlx(Psmt2Frontend) = 31e548065a25ca56d25f83dfe8397db7 ocamlx(Q) = e586742d67ee5b4f9a7c4a7ab32c4a8e ocamlx(Ratio) = a3cf53f9c1fe8da8e210fd8b237a0b14 ocamlx(Simplex) = 68c519724090bb0e8059cbdf183bc8dc ocamlx(Simplex_cache) = 98595406644737aced94640ba7c0b018 ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc ocamlx(Stdlib__arg) = cb1eaa0d37316e516697f64cadc75f5f ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692 ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f ocamlx(Stdlib__gc) = 88ea814453410dc94978809800d4f5da ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563 ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 ocamlx(Stdlib__map) = 3ed208b888965290b89d720efaf17612 ocamlx(Stdlib__parsing) = 6cc6af62ef0c74e718bcf92be05fd292 ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17 ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367 ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313 ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317 ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f ocamlx(Str) = b2619808edfd808b4097e5ec36277e82 ocamlx(Unix) = ba030e73c9a8a296035219290541184c ocamlx(Util) = 38f25b6f6f283bc4a3407529230139bd ocamlx(Vec) = 403d03fd026e4a8c9f450bba50cdec83 ocamlx(Z) = 16108d14bc78b5446196a175cf19c5ff ocamlx(Zip) = 8b31b4ad3d079f4dc52a5450d5228426 Processing files: alt-ergo-debugsource-2.2.0-10.mga8.aarch64 Provides: alt-ergo-debugsource = 2.2.0-10.mga8 alt-ergo-debugsource(aarch-64) = 2.2.0-10.mga8 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-10.mga8.aarch64 Provides: alt-ergo-debuginfo = 2.2.0-10.mga8 alt-ergo-debuginfo(aarch-64) = 2.2.0-10.mga8 debuginfo(build-id) = 3764c103922a9a8f01804bbd6d57d0427b7259d6 debuginfo(build-id) = 37b45afcce3ef007041b41e0873d3018bf64b3c1 debuginfo(build-id) = 3ad61a962f3ab9c700ce5f5226971a5c51579f5e 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-10.mga8 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.aarch64 Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-debugsource-2.2.0-10.mga8.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-debuginfo-2.2.0-10.mga8.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/alt-ergo-2.2.0-10.mga8.aarch64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.GB39ds + 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-10.mga8.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.bZokdq + 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!