Mock Version: 2.9 Mock Version: 2.9 Mock Version: 2.9 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f34-build-side-38374-26158204-3104369/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/alt-ergo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl setting SOURCE_DATE_EPOCH=1614729600 Wrote: /builddir/build/SRPMS/alt-ergo-2.2.0-9.fc34.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f34-build-side-38374-26158204-3104369/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/alt-ergo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl setting SOURCE_DATE_EPOCH=1614729600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.ZzXcWh + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf alt-ergo-2.2.0 + /usr/bin/gzip -dc /builddir/build/SOURCES/alt-ergo-2.2.0.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd alt-ergo-2.2.0 + /usr/bin/xz -dc /builddir/build/SOURCES/alt-ergo-icons.tar.xz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/alt-ergo-1.30-use-pic.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /builddir/build/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + cp -p /builddir/build/SOURCES/alt-ergo.desktop com.ocamlpro.alt-ergo.desktop + sed -i s/camlzip/zip/g configure opam + sed -i 's|^LIGHT_OFLAGS =|& -fno-thumb|' Makefile.users + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.njCVxB + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.2.0 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']' ++ find . -type f -name configure -print + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' ++ find . -name ltmain.sh + ./configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-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/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --libdir=/usr/lib/ocaml configure: WARNING: unrecognized options: --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.11.1 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes ocamlfind found zarith in -I /usr/lib/ocaml/zarith ocamlfind found num in -I /usr/lib/ocaml/num ocamlfind found zip in -I /usr/lib/ocaml/zip ocamlfind found ocplib-simplex in -I /usr/lib/ocaml/ocplib-simplex ocamlfind found psmt2-frontend in -I /usr/lib/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 found lablgtk2.sourceview2 in -I /usr/lib/ocaml/lablgtk2 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 + make OCAMLBEST=opt OCAMLOPT=ocamlopt.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib -runtime-variant _pic -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 ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/gui_session.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/gui_session.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/gui_config.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/gui_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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/annoted_ast.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/annoted_ast.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/connected_ast.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/connected_ast.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/gui_replay.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/gui_replay.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/main_gui.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/gui/main_gui.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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib -runtime-variant _pic -o altgr-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa psmt2Frontend.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.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/frontend/parsers_loader.cmx tools/gui/gui_session.cmx tools/gui/gui_config.cmx tools/gui/annoted_ast.cmx tools/gui/connected_ast.cmx tools/gui/gui_replay.cmx tools/gui/main_gui.cmx ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I 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 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.X90kQ6 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm ++ dirname /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm + cd alt-ergo-2.2.0 + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin + make OCAMLBEST=opt OCAMLOPT=ocamlopt.opt DESTDIR=/builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm install mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/man/man1 cp -f doc/alt-ergo.1 /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/preludes cp -f preludes/fpa-theory-2017-01-04-16h00.why /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/preludes/ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin cp -f alt-ergo.opt /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin cp -f altgr-ergo.opt /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/altgr-ergo mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/alt-ergo/gtksourceview-2.0/language-specs cp -f doc/gtk-lang/alt-ergo.lang /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/plugins cp -f fm-simplex-plugin.cmxs /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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 "/builddir/build/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /usr/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I lib/structures -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I 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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I 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 -fno-thumb -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I 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 -fno-thumb -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I 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 -fno-thumb -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/lib/ocaml/num -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/psmt2-frontend -I lib/util -I 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=/builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml \ ocamlfind install alt-ergo altErgoLib.* META Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.o Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmxs Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmxa Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmx Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmt Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmo Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmi Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cma Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.a Installed /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/META + mv /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/alt-ergo/gtksourceview-2.0 /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share + rmdir /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/alt-ergo + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/applications + desktop-file-install --dir /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/applications com.ocamlpro.alt-ergo.desktop + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/metainfo + install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml + appstream-util validate-relax --nonet /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml: OK + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/icons + cp -a icons /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/icons/hicolor + /usr/lib/rpm/find-debuginfo.sh -j5 --strict-build-id -m -i --build-id-seed 2.2.0-9.fc34 --unique-debug-suffix -2.2.0-9.fc34.arm --unique-debug-src-base alt-ergo-2.2.0-9.fc34.arm --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.2.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/altgr-ergo explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmxs explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/plugins/fm-simplex-plugin.cmxs extracting debug info from /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo extracting debug info from /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/altErgoLib.cmxs extracting debug info from /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/altgr-ergo extracting debug info from /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/lib/ocaml/alt-ergo/plugins/fm-simplex-plugin.cmxs original debug info size: 6160kB, size after compression: 6152kB /usr/lib/rpm/sepdebugcrcfix: Updated 4 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: gBin.ml: Cannot stat: No such file or directory cpio: gEdit.ml: Cannot stat: No such file or directory cpio: gMisc.ml: Cannot stat: No such file or directory cpio: gPack.ml: Cannot stat: No such file or directory cpio: gRange.ml: Cannot stat: No such file or directory cpio: gWindow.ml: Cannot stat: No such file or directory cpio: gdk.ml: Cannot stat: No such file or directory cpio: gdkEvent.ml: Cannot stat: No such file or directory cpio: glib.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: stack.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 3719 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.VO2c7e + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.2.0 + cd examples/valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo ac_arith.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arith1.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arith2.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arith3.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arith4.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arrays.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo bitv.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo congruence.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo enum_arrays.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo quantifiers.why + grep -Fq Valid + cd ../invalid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arith1.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arith2.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo arrays.why + grep -Fq Valid + for fil in *.why + /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/bin/alt-ergo bitv.why + grep -Fq Valid + RPM_EC=0 ++ jobs -p + exit 0 Processing files: alt-ergo-2.2.0-9.fc34.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.aVoPU7 + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.2.0 + DOCDIR=/builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/doc/alt-ergo + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/doc/alt-ergo + cp -pr README.md /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/doc/alt-ergo + cp -pr CHANGES /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/doc/alt-ergo + cp -pr examples /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.z2Nnhc + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.2.0 + LICENSEDIR=/builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/licenses/alt-ergo + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/licenses/alt-ergo + cp -pr COPYING.md /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/licenses/alt-ergo + cp -pr LICENSE.md /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm/usr/share/licenses/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Provides: alt-ergo = 2.2.0-9.fc34 alt-ergo(armv7hl-32) = 2.2.0-9.fc34 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.10) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.15) libc.so.6(GLIBC_2.16) libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.28) libc.so.6(GLIBC_2.33) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libc.so.6(GLIBC_2.9) libdl.so.2 libdl.so.2(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libgmp.so.10 libm.so.6 libm.so.6(GLIBC_2.27) libm.so.6(GLIBC_2.29) libm.so.6(GLIBC_2.4) libz.so.1 rtld(GNU_HASH) Processing files: alt-ergo-gui-2.2.0-9.fc34.armv7hl Provides: alt-ergo-gui = 2.2.0-9.fc34 alt-ergo-gui(armv7hl-32) = 2.2.0-9.fc34 application() application(com.ocamlpro.alt-ergo.desktop) metainfo() metainfo(com.ocamlpro.alt-ergo.metainfo.xml) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libatk-1.0.so.0 libc.so.6 libc.so.6(GLIBC_2.10) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.15) libc.so.6(GLIBC_2.16) libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.28) libc.so.6(GLIBC_2.32) libc.so.6(GLIBC_2.33) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libc.so.6(GLIBC_2.9) libcairo.so.2 libdl.so.2 libdl.so.2(GLIBC_2.4) libfontconfig.so.1 libfreetype.so.6 libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libgdk-x11-2.0.so.0 libgdk_pixbuf-2.0.so.0 libgio-2.0.so.0 libglib-2.0.so.0 libgmp.so.10 libgobject-2.0.so.0 libgtk-x11-2.0.so.0 libgtksourceview-2.0.so.0 libharfbuzz.so.0 libm.so.6 libm.so.6(GLIBC_2.27) libm.so.6(GLIBC_2.29) libm.so.6(GLIBC_2.4) libpango-1.0.so.0 libpangocairo-1.0.so.0 libpangoft2-1.0.so.0 libpthread.so.0 libpthread.so.0(GLIBC_2.4) libz.so.1 rtld(GNU_HASH) Processing files: ocaml-alt-ergo-2.2.0-9.fc34.armv7hl Provides: ocaml(AltErgoLib) = f3ec24abfed42d4a12567a745b8dfb7d ocaml(FmSimplexIneqs) = d5e4c706298ff497b49447f8f318f775 ocaml(Simplex) = c91f07b08385cd21a938f5ab88b81975 ocaml(Simplex_cache) = 04fb5d3c63585e464bf5043e3297f800 ocaml-alt-ergo = 2.2.0-9.fc34 ocaml-alt-ergo(armv7hl-32) = 2.2.0-9.fc34 ocamlx(AltErgoLib) = 55287ce8dc2dfa096916df4c4c20228d ocamlx(FmSimplexIneqs) = 95c15463e91c8fad55f4cd21fd8165d9 ocamlx(Simplex) = 582b1ab5f94fc625b2121c77b77255c2 ocamlx(Simplex_cache) = e89fe59a84feb1e4a3ef3de4df4c9e33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.4) ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d ocaml(CamlinternalMod) = afc8685cc772d3b2ceeff0c531199f25 ocaml(Dynlink) = 0694f9b593b92c83e7a267bfbe7b7737 ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807 ocaml(Num) = e51254ba2eb3a6c7c084774927a7af1c ocaml(OcplibSimplex) = 0a9dc64869e2d5675b47969f1412eb22 ocaml(Psmt2Frontend) = 98ea211c3db8c35471cbdc4cf3473f8a ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14 ocaml(Ratio) = 2411082e82f3e8414d43154507edc334 ocaml(Simplex) = c91f07b08385cd21a938f5ab88b81975 ocaml(Simplex_cache) = 04fb5d3c63585e464bf5043e3297f800 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__arg) = 93dbd397d18f68dd62193d6ee65a2b5a ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__char) = cdee48235b2dbc08f40a0e2ec3824bc5 ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__gc) = 5d6d09a276553c0d0c8ab63795fdc11d ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__lazy) = bad82b0dffc3f26083e1d1c8e5965818 ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__parsing) = a1e21d363ae8b31ddf44cea20971b7de ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__queue) = dba3e985c9c4016dae4b6f6d2b228c73 ocaml(Stdlib__scanf) = 6d7fdae04e8b50cf6e3d781f6dd13bd1 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Stdlib__weak) = 71a7b796d13b517ff42de5c42fde0f98 ocaml(Str) = 69ca4b460c685490ba2f5d32f57b1172 ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Z) = de8952b68dbf67aa7be758a82283b20a ocaml(Zip) = 449a71c37f3c668f621b1446484e02e5 ocamlx(Big_int) = e18a3cd99c0a4f4325d82d0646205324 ocamlx(CamlinternalLazy) = c3343c56dbd050b747652fc084f18660 ocamlx(CamlinternalMod) = 900fab0fdcef5fb9de4f0946adc1ad28 ocamlx(Dynlink) = 9b558de7b427e0b5368af5474785ea36 ocamlx(Num) = 2555cf7b814973228adf606311f62b91 ocamlx(OcplibSimplex) = 1bd6aa1da33624153416f4960f1840da ocamlx(Psmt2Frontend) = edf3c047f252636ccf20ab4bfbef8211 ocamlx(Q) = 9f452aaff3f9cf9c096a7629d949938e ocamlx(Ratio) = 4d464bea5e3b9497dc947e1dcbe5adfc ocamlx(Simplex) = 582b1ab5f94fc625b2121c77b77255c2 ocamlx(Simplex_cache) = e89fe59a84feb1e4a3ef3de4df4c9e33 ocamlx(Stdlib) = e265559501934b122c70de8bbae32227 ocamlx(Stdlib__arg) = 7b40ec78bb6d26bdabf438c006b0e2c8 ocamlx(Stdlib__array) = 6c55dc4f9a348156a4281ba9fa29c948 ocamlx(Stdlib__buffer) = 20ec22700c04c0e45252ce2ecae5e0a5 ocamlx(Stdlib__char) = 4ee99d4b4d2e9874ba7833174aa09a4c ocamlx(Stdlib__filename) = 6512f630be3e780c66de18195b1246c1 ocamlx(Stdlib__format) = d382a0ef92bd9dd8572150c428d1e1ec ocamlx(Stdlib__gc) = 20af5da47b134e55a0e1db8a237c2f3c ocamlx(Stdlib__hashtbl) = 86d4160d3707cb034fa9dd6d15b700d2 ocamlx(Stdlib__int64) = 0645c7936d9c44a3ee746fdea170a61f ocamlx(Stdlib__lexing) = 86aba44f514b45bed0e5508a34e1f167 ocamlx(Stdlib__list) = ee635cda5a9d1d969d1d0128daa995b6 ocamlx(Stdlib__map) = 9b891a413265e7ab8304083486989d8b ocamlx(Stdlib__parsing) = e3018b339901dc157490923b4870ea07 ocamlx(Stdlib__printexc) = aea304ddec8a4ae3a89819b241090331 ocamlx(Stdlib__printf) = 7b0d6695ad4af3eef7731952587512c2 ocamlx(Stdlib__queue) = 432c45a2f2ee53c628fda5204d77ea19 ocamlx(Stdlib__scanf) = d2e806a89f4b6f77f4628e0600dc5128 ocamlx(Stdlib__set) = d00683e8171dea10ad2c92fe0831ecea ocamlx(Stdlib__string) = 87ee46b744490803a1a6e2d3a0a885a6 ocamlx(Stdlib__sys) = 05a2dd7e111621797902638a7ca9eca6 ocamlx(Stdlib__weak) = 15ccd1fc1846f3535b9191d006ad61cb ocamlx(Str) = 57a06406cd47c9406041050aaaea3f88 ocamlx(Unix) = def44cff140f2c435a8301dc9d6c9703 ocamlx(Z) = 2741d360c2286c511f065194f39b470d ocamlx(Zip) = a383e1db34b60bdadac4129bd46d51fd rtld(GNU_HASH) Processing files: ocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl Provides: ocaml(AltErgoLib) = f3ec24abfed42d4a12567a745b8dfb7d ocaml-alt-ergo-devel = 2.2.0-9.fc34 ocaml-alt-ergo-devel(armv7hl-32) = 2.2.0-9.fc34 ocamlx(AltErgoLib) = 55287ce8dc2dfa096916df4c4c20228d Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d ocaml(CamlinternalMod) = afc8685cc772d3b2ceeff0c531199f25 ocaml(Dynlink) = 0694f9b593b92c83e7a267bfbe7b7737 ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807 ocaml(Num) = e51254ba2eb3a6c7c084774927a7af1c ocaml(OcplibSimplex) = 0a9dc64869e2d5675b47969f1412eb22 ocaml(Psmt2Frontend) = 98ea211c3db8c35471cbdc4cf3473f8a ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14 ocaml(Ratio) = 2411082e82f3e8414d43154507edc334 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__arg) = 93dbd397d18f68dd62193d6ee65a2b5a ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__char) = cdee48235b2dbc08f40a0e2ec3824bc5 ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__gc) = 5d6d09a276553c0d0c8ab63795fdc11d ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__lazy) = bad82b0dffc3f26083e1d1c8e5965818 ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__parsing) = a1e21d363ae8b31ddf44cea20971b7de ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__queue) = dba3e985c9c4016dae4b6f6d2b228c73 ocaml(Stdlib__scanf) = 6d7fdae04e8b50cf6e3d781f6dd13bd1 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Stdlib__weak) = 71a7b796d13b517ff42de5c42fde0f98 ocaml(Str) = 69ca4b460c685490ba2f5d32f57b1172 ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Z) = de8952b68dbf67aa7be758a82283b20a ocaml(Zip) = 449a71c37f3c668f621b1446484e02e5 ocamlx(Big_int) = e18a3cd99c0a4f4325d82d0646205324 ocamlx(CamlinternalLazy) = c3343c56dbd050b747652fc084f18660 ocamlx(CamlinternalMod) = 900fab0fdcef5fb9de4f0946adc1ad28 ocamlx(Dynlink) = 9b558de7b427e0b5368af5474785ea36 ocamlx(Num) = 2555cf7b814973228adf606311f62b91 ocamlx(OcplibSimplex) = 1bd6aa1da33624153416f4960f1840da ocamlx(Psmt2Frontend) = edf3c047f252636ccf20ab4bfbef8211 ocamlx(Q) = 9f452aaff3f9cf9c096a7629d949938e ocamlx(Ratio) = 4d464bea5e3b9497dc947e1dcbe5adfc ocamlx(Stdlib) = e265559501934b122c70de8bbae32227 ocamlx(Stdlib__arg) = 7b40ec78bb6d26bdabf438c006b0e2c8 ocamlx(Stdlib__array) = 6c55dc4f9a348156a4281ba9fa29c948 ocamlx(Stdlib__buffer) = 20ec22700c04c0e45252ce2ecae5e0a5 ocamlx(Stdlib__char) = 4ee99d4b4d2e9874ba7833174aa09a4c ocamlx(Stdlib__filename) = 6512f630be3e780c66de18195b1246c1 ocamlx(Stdlib__format) = d382a0ef92bd9dd8572150c428d1e1ec ocamlx(Stdlib__gc) = 20af5da47b134e55a0e1db8a237c2f3c ocamlx(Stdlib__hashtbl) = 86d4160d3707cb034fa9dd6d15b700d2 ocamlx(Stdlib__int64) = 0645c7936d9c44a3ee746fdea170a61f ocamlx(Stdlib__lexing) = 86aba44f514b45bed0e5508a34e1f167 ocamlx(Stdlib__list) = ee635cda5a9d1d969d1d0128daa995b6 ocamlx(Stdlib__map) = 9b891a413265e7ab8304083486989d8b ocamlx(Stdlib__parsing) = e3018b339901dc157490923b4870ea07 ocamlx(Stdlib__printexc) = aea304ddec8a4ae3a89819b241090331 ocamlx(Stdlib__printf) = 7b0d6695ad4af3eef7731952587512c2 ocamlx(Stdlib__queue) = 432c45a2f2ee53c628fda5204d77ea19 ocamlx(Stdlib__scanf) = d2e806a89f4b6f77f4628e0600dc5128 ocamlx(Stdlib__set) = d00683e8171dea10ad2c92fe0831ecea ocamlx(Stdlib__string) = 87ee46b744490803a1a6e2d3a0a885a6 ocamlx(Stdlib__sys) = 05a2dd7e111621797902638a7ca9eca6 ocamlx(Stdlib__weak) = 15ccd1fc1846f3535b9191d006ad61cb ocamlx(Str) = 57a06406cd47c9406041050aaaea3f88 ocamlx(Unix) = def44cff140f2c435a8301dc9d6c9703 ocamlx(Z) = 2741d360c2286c511f065194f39b470d ocamlx(Zip) = a383e1db34b60bdadac4129bd46d51fd Processing files: alt-ergo-debugsource-2.2.0-9.fc34.armv7hl Provides: alt-ergo-debugsource = 2.2.0-9.fc34 alt-ergo-debugsource(armv7hl-32) = 2.2.0-9.fc34 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-9.fc34.armv7hl Provides: alt-ergo-debuginfo = 2.2.0-9.fc34 alt-ergo-debuginfo(armv7hl-32) = 2.2.0-9.fc34 debuginfo(build-id) = cb9662a591b9bd7cefac48b0dfd44e84af4b9c46 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(armv7hl-32) = 2.2.0-9.fc34 Processing files: alt-ergo-gui-debuginfo-2.2.0-9.fc34.armv7hl Provides: alt-ergo-gui-debuginfo = 2.2.0-9.fc34 alt-ergo-gui-debuginfo(armv7hl-32) = 2.2.0-9.fc34 debuginfo(build-id) = 7a87aaca54b2afb0254d670b7552fb2cc6a37b6d Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(armv7hl-32) = 2.2.0-9.fc34 Processing files: ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.armv7hl Provides: debuginfo(build-id) = 365b629f80f55b4a06d5e2d8186335233199f508 debuginfo(build-id) = 8016eff6b1b0c4865f42375ab99a5960f9b202b2 ocaml-alt-ergo-debuginfo = 2.2.0-9.fc34 ocaml-alt-ergo-debuginfo(armv7hl-32) = 2.2.0-9.fc34 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(armv7hl-32) = 2.2.0-9.fc34 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm Wrote: /builddir/build/RPMS/alt-ergo-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/alt-ergo-gui-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-debuginfo-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-2.2.0-9.fc34.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.EGCCVL + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.2.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/alt-ergo-2.2.0-9.fc34.arm + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0