D: [iurt_root_command] chroot Installing /home/iurt/rpmbuild/SRPMS/alt-ergo-2.2.0-10.mga8.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.awrhIf + 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.lFnMbg + 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=x86_64-mageia-linux-gnu --build=x86_64-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.Uhlp3e + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64 + 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.x86_64 'INSTALL=/usr/bin/install -p' mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/share/man/man1 cp -f doc/alt-ergo.1 /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/share/man/man1 mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/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.x86_64/usr/lib64/alt-ergo/preludes/ mkdir -p /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/bin cp -f alt-ergo.opt /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/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.x86_64/usr/lib64/alt-ergo/plugins cp -f fm-simplex-plugin.cmxs /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/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.x86_64/usr/lib64 \ ocamlfind install alt-ergo altErgoLib.* META Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.o Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmxs Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmxa Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmx Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmt Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmo Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmi Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cma Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.a Installed /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/META + rm -f '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/ocaml/alt-ergo/*.cmx' '/home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/ocaml/alt-ergo/*.o' + rm -f /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/ocaml/alt-ergo/META + /usr/lib/rpm/find-debuginfo.sh -j96 --strict-build-id -m -i --build-id-seed 2.2.0-10.mga8 --unique-debug-suffix -2.2.0-10.mga8.x86_64 --unique-debug-src-base alt-ergo-2.2.0-10.mga8.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -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.x86_64/usr/bin/alt-ergo explicitly decompress any DWARF compressed ELF sections in /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/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.x86_64/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/bin/alt-ergo extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs extracting debug info from /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/lib64/alt-ergo/altErgoLib.cmxs original debug info size: 4752kB, size after compression: 4552kB /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.x86_64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.gKRmkg + 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.x86_64/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.x86_64/usr/share/doc/alt-ergo + cp -pr README.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/share/doc/alt-ergo + cp -pr LICENSE.md /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/share/doc/alt-ergo + cp -pr CHANGES /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/share/doc/alt-ergo + cp -pr doc/ /home/iurt/rpmbuild/BUILDROOT/alt-ergo-2.2.0-10.mga8.x86_64/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 BFD library unavailable, cannot print info on .cmxs files BFD library unavailable, cannot print info on .cmxs files BFD library unavailable, cannot print info on .cmxs files BFD library unavailable, cannot print info on .cmxs files Provides: alt-ergo = 2.2.0-10.mga8 alt-ergo(x86-64) = 2.2.0-10.mga8 ocaml(AltErgoLib) = 4266f2bd41786a07f06326f98a5f0514 ocamlx(AltErgoLib) = f00a93b54c325d723c7613f6274d61a4 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2.5)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(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(Dynlink) = c6e85eecd953497826b689c46820b1ed ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a ocaml(Num) = 0cc9a7e5ce0180429a4bb6c270582075 ocaml(OcplibSimplex) = b7f8e56e5264e8884911e3af130cdf14 ocaml(Psmt2Frontend) = e2a3a14458ad2fa2407f4562e3f5a823 ocaml(Q) = 3cadae05bfd63c15c868c18e8ffd5eb7 ocaml(Ratio) = f186d6a275fe6fd5dba0e755b9000e9f 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(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b ocaml(Z) = 86f26e9405bfebf07d145852db71a09d ocaml(Zip) = 82a41225fe0caa7fb1c9b3de8060552b ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b ocamlx(CamlinternalMod) = c7b4d54e7a5caa93feb83a5618f624fb ocamlx(Dynlink) = 43529bf577c1d9d79bf83fb32f16ffd6 ocamlx(Num) = 3e2323ba0d093f566fcb0bbbf83979d4 ocamlx(OcplibSimplex) = f94462a040ee477df7c2f74ca904ac06 ocamlx(Psmt2Frontend) = 31e548065a25ca56d25f83dfe8397db7 ocamlx(Q) = 380b5463b42b179fdf69ecc79b86bd14 ocamlx(Ratio) = a3cf53f9c1fe8da8e210fd8b237a0b14 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(Z) = ec555c299aae5c588dd65306beb24133 ocamlx(Zip) = 8b31b4ad3d079f4dc52a5450d5228426 Processing files: alt-ergo-debugsource-2.2.0-10.mga8.x86_64 Provides: alt-ergo-debugsource = 2.2.0-10.mga8 alt-ergo-debugsource(x86-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.x86_64 Provides: alt-ergo-debuginfo = 2.2.0-10.mga8 alt-ergo-debuginfo(x86-64) = 2.2.0-10.mga8 debuginfo(build-id) = 1edf7ac793252b6bf6e207e9d314ce11b030d26b debuginfo(build-id) = 952b3e19d6afb703f8fcfd6eab9cb017aae74292 debuginfo(build-id) = 96ac44ca1ac699ea93af5f53e56dd5ee74ee6389 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(x86-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.x86_64 Wrote: /home/iurt/rpmbuild/RPMS/x86_64/alt-ergo-debugsource-2.2.0-10.mga8.x86_64.rpm Wrote: /home/iurt/rpmbuild/RPMS/x86_64/alt-ergo-debuginfo-2.2.0-10.mga8.x86_64.rpm Wrote: /home/iurt/rpmbuild/RPMS/x86_64/alt-ergo-2.2.0-10.mga8.x86_64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.Ijiqhe + 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.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.u27QLf + 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!