D: [iurt_root_command] chroot
Installing /home/pterjan/rpmbuild/SRPMS/alt-ergo-1.30-1.mga7.src.rpm
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.Dm3MAm
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD
+ rm -rf alt-ergo-1.30
+ /usr/bin/gzip -dc /home/pterjan/rpmbuild/SOURCES/alt-ergo-1.30.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd alt-ergo-1.30
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ exit 0
Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.jqWbVJ
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ cd alt-ergo-1.30
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4'
+ export FFLAGS
+ LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id -Wl,--enable-new-dtags'
+ export LDFLAGS
+ CONFIGURE_TOP=.
+ /usr/lib/rpm/mageia/force-as-needed-for-shared-lib-in-libtool
Forcing -Wl,--as-needed in configure/libtool to workaround libtool bug (cf http://lists.gnu.org/archive/html/libtool-patches/2004-06/msg00002.html)
+ /usr/lib/rpm/mageia/drop-ld-no-undefined-for-shared-lib-modules-in-libtool
+ /usr/lib/rpm/mageia/fix-libtool-ltmain-from-overlinking
+ /usr/lib/rpm/mageia/fix-libtool-from-moving-options-after-libs .
+ /usr/lib/rpm/mageia/fix-dlsearch-path-in-libtool-for-multilib . lib64
+ '[' -f ./configure.in -o -f ./configure.ac ']'
+ CONFIGURE_XPATH='--x-includes=/usr/include --x-libraries=/usr/lib64'
+ ./configure --build=x86_64-mageia-linux-gnu --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --x-includes=/usr/include --x-libraries=/usr/lib64
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.02.3
ocaml library path is /usr/lib64/ocaml
checking for ocamlfind... yes
ocamlfind found zarith in -I /usr/lib64/ocaml/zarith
ocamlfind: Package `camlzip' not found
checking for /usr/lib64/ocaml/zip/zip.cma... yes
ocamlfind found ocplib-simplex in -I /usr/lib64/ocaml/ocplib-simplex
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 ocamlyacc... ocamlyacc
ocamlfind found lablgtk2.sourceview2 in -I /usr/lib64/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
+ /usr/bin/make opt gui
ocamlyacc -v src/parsing/why_parser.mly 
ocamllex.opt src/parsing/why_lexer.mll > /dev/null
ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* non-free/plugins/common/*ml* non-free/plugins/satML/*ml* non-free/plugins/fm-simplex/*ml* non-free/plugins/profiler/*ml* > .depend
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/config.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/version.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/emap.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/emap.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myUnix.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myUnix.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myDynlink.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myDynlink.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myZip.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myZip.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbersInterface.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numsNumbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numsNumbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/zarithNumbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/zarithNumbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/timers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/timers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/options.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/options.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/gc_debug.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/gc_debug.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/loc.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/loc.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/hashcons.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/hashcons.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/hstring.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/hstring.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/ty.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/ty.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/symbols.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/symbols.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/term.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/term.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/literal.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/literal.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/formula.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/formula.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/explanation.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/explanation.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/exception.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/exception.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/parsed.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/parsed.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/typed.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/typed.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/errors.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/errors.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/profiling_default.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/profiling_default.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/profiling.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/profiling.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/parsing/why_parser.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/parsing/why_parser.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/parsing/why_lexer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/existantial.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/existantial.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/triggers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/triggers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/why_typing.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/why_typing.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/structures/commands.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/cnf.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/preprocess/cnf.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/sig.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/instances/matching.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/instances/matching.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/use.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/use.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/ac.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/ac.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/uf.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/uf.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/sum.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/sum.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/records.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/records.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/polynome.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/polynome.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/bitv.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/bitv.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/arrays.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/arrays.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervals.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervals.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/inequalities.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/inequalities.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervalCalculus.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervalCalculus.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/arith.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/arith.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/combine.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/combine.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/ccx.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/ccx.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/theory.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/theory.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/instances/instances.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/instances/instances.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/sat/sat_solvers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/sat/sat_solvers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/frontend.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/frontend.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/main_text.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/main_text.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/ccx.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/main/main_text.cmx
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/gui_session.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/gui_session.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/why_annoted.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/why_annoted.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/why_connected.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/why_connected.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/gui_replay.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/gui/gui_replay.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/main_gui.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/main/main_gui.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex -o altgr-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/ccx.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/gui/gui_session.cmx src/gui/why_annoted.cmx src/gui/why_connected.cmx src/gui/gui_replay.cmx src/main/main_gui.cmx
+ exit 0
Executing(%install): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.BpqAnM
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64 '!=' / ']'
+ rm -rf /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64
++ dirname /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64
+ mkdir -p /home/pterjan/rpmbuild/BUILDROOT
+ mkdir /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64
+ cd alt-ergo-1.30
+ '[' 1 -eq 1 ']'
+ /usr/bin/make install DESTDIR=/home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64 'INSTALL=/usr/bin/install -p' install-gui
mkdir -p /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/man/man1
cp -f doc/*.1 /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/man/man1
mkdir -p /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/bin
cp -f alt-ergo.opt /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/bin/alt-ergo
cp -f altgr-ergo.opt /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/bin/altgr-ergo
mkdir -p /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/alt-ergo/gtksourceview-2.0/language-specs
cp -f doc/gtk-lang/alt-ergo.lang /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
+ mv /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/alt-ergo/gtksourceview-2.0 /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share
+ rm -f '/home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/lib64/ocaml/alt-ergo/*.cmx' '/home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/lib64/ocaml/alt-ergo/*.o'
+ rm -f /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/lib64/ocaml/alt-ergo/META
+ /usr/lib/rpm/find-debuginfo.sh -j8 -m -i --build-id-seed 1.30-1.mga7 --unique-debug-suffix -1.30-1.mga7.x86_64 --unique-debug-src-base alt-ergo-1.30-1.mga7.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /home/pterjan/rpmbuild/BUILD/alt-ergo-1.30

extracting debug info from /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/bin/altgr-ergo
extracting debug info from /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/bin/alt-ergo
/usr/lib/rpm/sepdebugcrcfix: Updated 2 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: gToolbox.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: pervasives.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: stack.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
1856 blocks
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/compress_files .xz
+ '[' -n '' ']'
+ /usr/share/spec-helper/relink_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_perl
+ '[' -n '' ']'
+ /usr/share/spec-helper/lib_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/gprintify
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_mo
+ '[' -n '' ']'
+ /usr/share/spec-helper/translate_menu
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_pamd
+ '[' -n '' ']'
+ /usr/share/spec-helper/remove_info_dir
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_eol
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_elf_files
Warning: unused libraries in /usr/bin/altgr-ergo: libatk-1.0.so.0
 libcairo.so.2
 libgio-2.0.so.0
 libgmodule-2.0.so.0
 libpangoft2-1.0.so.0
 libfontconfig.so.1
 libfreetype.so.6

+ '[' 1 -eq 1 ']'
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1
+ /usr/lib/rpm/brp-python-hardlink
Processing files: alt-ergo-1.30-1.mga7.x86_64
Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.3oBK7S
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ cd alt-ergo-1.30
+ DOCDIR=/home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/doc/alt-ergo
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/doc/alt-ergo
+ cp -pr README.md /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/doc/alt-ergo
+ cp -pr LICENSE /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/doc/alt-ergo
+ cp -pr CHANGES /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/doc/alt-ergo
+ cp -pr doc/ /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64/usr/share/doc/alt-ergo
+ exit 0
Provides: alt-ergo = 1.30-1.mga7 alt-ergo(x86-64) = 1.30-1.mga7
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.7)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2.5)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libz.so.1()(64bit)
Processing files: alt-ergo-gui-1.30-1.mga7.x86_64
Provides: alt-ergo-gui = 1.30-1.mga7 alt-ergo-gui(x86-64) = 1.30-1.mga7
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libatk-1.0.so.0()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.7)(64bit) libcairo.so.2()(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2.5)(64bit) libfontconfig.so.1()(64bit) libfreetype.so.6()(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libgio-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgmodule-2.0.so.0()(64bit) libgmp.so.10()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libgtksourceview-2.0.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libpango-1.0.so.0()(64bit) libpangocairo-1.0.so.0()(64bit) libpangoft2-1.0.so.0()(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) libpthread.so.0(GLIBC_2.3.2)(64bit) libz.so.1()(64bit)
Processing files: alt-ergo-debugsource-1.30-1.mga7.x86_64
Provides: alt-ergo-debugsource = 1.30-1.mga7 alt-ergo-debugsource(x86-64) = 1.30-1.mga7
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: alt-ergo-debuginfo-1.30-1.mga7.x86_64
Provides: alt-ergo-debuginfo = 1.30-1.mga7 alt-ergo-debuginfo(x86-64) = 1.30-1.mga7 debuginfo(build-id) = 8641c5cee508eeb76a4eac064dd2bb7b7d35b1c2
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 1.30-1.mga7
Processing files: alt-ergo-gui-debuginfo-1.30-1.mga7.x86_64
Provides: alt-ergo-gui-debuginfo = 1.30-1.mga7 alt-ergo-gui-debuginfo(x86-64) = 1.30-1.mga7 debuginfo(build-id) = fa0be978d6bd668694afacce07379ce2cc8f311b
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 1.30-1.mga7
Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/alt-ergo-1.30-1.mga7.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/alt-ergo-gui-1.30-1.mga7.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/alt-ergo-debugsource-1.30-1.mga7.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/alt-ergo-debuginfo-1.30-1.mga7.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/alt-ergo-gui-debuginfo-1.30-1.mga7.x86_64.rpm
Executing(%clean): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.j4TLbp
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ cd alt-ergo-1.30
+ /usr/bin/rm -rf /home/pterjan/rpmbuild/BUILDROOT/alt-ergo-1.30-1.mga7.x86_64
+ exit 0
Executing(--clean): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.fLVqiV
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ rm -rf alt-ergo-1.30
+ exit 0
D: [iurt_root_command] Success!