Mock Version: 1.4.19
Mock Version: 1.4.19
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --nodeps /builddir/build/SPECS/why.spec'], chrootPath='/var/lib/mock/f32-mpfr4-17774511-1280745/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0xffffa64a9810>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --nodeps /builddir/build/SPECS/why.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1570752000
Wrote: /builddir/build/SRPMS/why-2.41-7.fc32.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target aarch64 --nodeps /builddir/build/SPECS/why.spec'], chrootPath='/var/lib/mock/f32-mpfr4-17774511-1280745/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0xffffa64a9810>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target aarch64 --nodeps /builddir/build/SPECS/why.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1570752000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.fbEEDL
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf why-2.41
+ /usr/bin/gzip -dc /builddir/build/SOURCES/why-2.41.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd why-2.41
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ cd /builddir/build/BUILD
+ cd why-2.41
+ /usr/bin/xz -dc /builddir/build/SOURCES/why-icons.tar.xz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ echo 'Patch #0 (why-frama-c.patch):'
+ /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0
Patch #0 (why-frama-c.patch):
patching file frama-c-plugin/common.ml
patching file frama-c-plugin/common.mli
patching file frama-c-plugin/interp.ml
patching file frama-c-plugin/norm.ml
+ cp -p /builddir/build/SOURCES/README.why-coq.Fedora ./
+ for flag in $RPM_LD_FLAGS
+ sed -e '\%^bin/jessie\.opt%,\%^bin/jessie\.byte%s|-o|-ccopt -Wl,-z,relro &|' -e '/gtkThread\.cmx/s|-o|-ccopt -Wl,-z,relro &|' -i Makefile.in
+ for flag in $RPM_LD_FLAGS
+ sed -e '\%^bin/jessie\.opt%,\%^bin/jessie\.byte%s|-o|-ccopt -Wl,--as-needed &|' -e '/gtkThread\.cmx/s|-o|-ccopt -Wl,--as-needed &|' -i Makefile.in
+ for flag in $RPM_LD_FLAGS
+ sed -e '\%^bin/jessie\.opt%,\%^bin/jessie\.byte%s|-o|-ccopt -Wl,-z,now &|' -e '/gtkThread\.cmx/s|-o|-ccopt -Wl,-z,now &|' -i Makefile.in
+ for flag in $RPM_LD_FLAGS
+ sed -e '\%^bin/jessie\.opt%,\%^bin/jessie\.byte%s|-o|-ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld &|' -e '/gtkThread\.cmx/s|-o|-ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld &|' -i Makefile.in
+ for f in CHANGES COPYING
+ iconv -f ISO-8859-1 -t UTF-8 CHANGES
+ touch -r CHANGES CHANGES.utf8
+ mv -f CHANGES.utf8 CHANGES
+ for f in CHANGES COPYING
+ iconv -f ISO-8859-1 -t UTF-8 COPYING
+ touch -r COPYING COPYING.utf8
+ mv -f COPYING.utf8 COPYING
+ sed -e 's|-lpolkaMPQ_caml|-Wl,-rpath,/usr/lib64/ocaml/apron|;s| -lbigarray||' -e 's|box\.cmxa polka.cmxa|boxMPQ.cmxa polkaMPQ.cmxa octMPQ.cmxa|' -i configure
+ sed -i 's,@STRIP@,/usr/bin/true,;s,-dtypes [^-],-g &,' Makefile.in
+ sed -ri 's,ocaml(c|opt),& -g,' atp/Makefile
+ sed -i s/pvs/pvs-sbcl/ configure
+ sed -i 's,4\.06\.\*,&|4.07.*|4.08.*,' configure
+ sed -i 's,0\.88\.\*,&|1.2.0,' configure
+ sed -i 's,Chlorine-20180501,19.1*,' configure
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.WTXNyM
+ umask 022
+ cd /builddir/build/BUILD
+ cd why-2.41
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ '[' 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=aarch64-redhat-linux-gnu --host=aarch64-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/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-apron --enable-verbosemake
configure: WARNING: unrecognized options: --disable-dependency-tracking
Make will be verbose.
checking for ocamlc... ocamlc
ocaml version is 4.08.1
ocaml library path is /usr/lib64/ocaml
checking for ocamlfind... yes
checking OS dependent settings... Unix
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
ocamlfind found ocamlgraph in /usr/lib64/ocaml/ocamlgraph
ocamlfind found zarith in /usr/lib64/ocaml/zarith
checking for /usr/lib64/ocaml/zarith/z.cmi... yes
checking for ocamlweb... true
checking for /usr/lib64/ocaml/apron/apron.cmxa... yes
checking for frama-c... /usr/bin/frama-c
checking Frama-c version... 19.1 (Potassium)
checking for why3... /usr/bin/why3
checking Why3 version... 1.2.0
checking for coqc... /usr/bin/coqc
checking for coqdep... coqdep
checking Coq version... 8.9.1
checking Coq realizations for Why3... yes
checking for pvs-sbcl... no
configure: WARNING: Cannot find PVS.
configure: creating ./config.status
config.status: creating Makefile
configure: WARNING: unrecognized options: --disable-dependency-tracking
                 Summary
-----------------------------------------
OCaml version            : 4.08.1
OCaml library path       : /usr/lib64/ocaml
OcamlGraph lib           : found by ocamlfind
Verbose make             : yes
Inference of annotations : yes
    APRON lib         : -I +apron -I +gmp
Why3 support             : yes
    Binary               : /usr/bin/why3
    Version              : 1.2.0
Frama-C plugin           : yes
    Binary               : /usr/bin/frama-c
    Version              : 19.1 (Potassium)
Coq support (via Why3)   : yes
    Binary               : /usr/bin/coqc
    Version              : v8 (8.9.1)
    Libraries            : /usr/lib64/coq
PVS support (via Why3)   : no
    command 'pvs-sbcl' not found
Other provers support    : (via Why3)
+ make OCAMLBEST=opt
ocamllex.opt src/rc.mll
39 states, 1677 transitions, table size 6942 bytes
1933 additional bytes used for bindings
ocamllex.opt src/xml.mll
51 states, 1824 transitions, table size 7602 bytes
2541 additional bytes used for bindings
ocamllex.opt jc/numconst.mll
71 states, 764 transitions, table size 3482 bytes
rm -f jc/jc_stdlib.ml
case 4.08.1 in \
         3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \
         3.12*) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \
         4.0*) cp jc/jc_stdlib_ge400.ml jc/jc_stdlib.ml ;; \
        esac
chmod -w jc/jc_stdlib.ml
ocamllex.opt jc/jc_lexer.mll
526 states, 32030 transitions, table size 131276 bytes
16374 additional bytes used for bindings
ocamlyacc -v jc/jc_parser.mly
1 shift/reduce conflict.
if test "yes" = "yes" ; then \
  echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \
  cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \
else \
  echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \
  cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \
fi
ocamlyacc -v java/java_parser.mly
ocamllex.opt java/java_lexer.mll
168 states, 1957 transitions, table size 8836 bytes
4503 additional bytes used for bindings
ocamllex.opt mix/mix_lexer.mll
65 states, 434 transitions, table size 2126 bytes
ocamlyacc -v mix/mix_parser.mly
printf "[main]\n" > lib/why3/why3.conf
printf "loadpath=\"/usr/lib64/why/why3\"\n" >> lib/why3/why3.conf
printf "\n" >> lib/why3/why3.conf
printf "[prover_modifiers]\n" >> lib/why3/why3.conf
printf "name=\"Coq\"\n" >> lib/why3/why3.conf
printf "option=\"-R /usr/lib64/why/coq Why\"\n" >> lib/why3/why3.conf
printf "driver=\"/usr/lib64/why/why3/coq.drv\"\n" >> lib/why3/why3.conf
printf "\n"  >> lib/why3/why3.conf
printf "[editor_modifiers coqide]\n" >> lib/why3/why3.conf
printf "option=\"-R /usr/lib64/why/coq Why\"\n" >> lib/why3/why3.conf
printf "\n"  >> lib/why3/why3.conf
printf "[editor_modifiers proofgeneral-coq]\n" >> lib/why3/why3.conf
printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"/usr/lib64/why/coq\\\\\\\\\\\\\" \\\\\\\\\\\\\"Why\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n"  >> lib/why3/why3.conf
rm -f .depend
ocamldep.opt -slash -I src -I jc -I java -I mix -I tools src/*.ml src/*.mli jc/*.mli jc/*.ml java/*.mli java/*.ml mix/*.mli mix/*.ml  > .depend
make -C frama-c-plugin depend
make[1]: Entering directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
LC_ALL=C sed -e "s/@PLUGIN_NAME@/Jessie/g" /usr/share/frama-c/Makefile.plugin.template > .Makefile.plugin.generated
rm -f META.frama-c-jessie
mkdir -p ./
echo "description = \""Frama-C Jessie plug-in"\"" >> META.frama-c-jessie
echo "version = \"19.1\""         >> META.frama-c-jessie
echo "requires = \"frama-c.kernel  \""       >> META.frama-c-jessie
echo "archive(byte) = \"top/Jessie.cma\""      >> META.frama-c-jessie
echo "archive(native) = \"top/Jessie.cmx\""  >> META.frama-c-jessie
echo "plugin(native) = \"top/Jessie.cmxs\""  >> META.frama-c-jessie
echo "plugin(byte) = \"top/Jessie.cma\""  >> META.frama-c-jessie
echo "directory = \"\"" >> META.frama-c-jessie
touch Jessie.check_mli_exists
mkdir -p ./top
rm -f top/Jessie.mli
install -p ./Jessie.mli top/Jessie.mli
rm -f ./.depend
ocamlfind ocamldep -slash  \
  -I . -I "/usr/lib64/frama-c"   \
  Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \
   \
  > ./.depend
chmod a-w ./.depend
mkdir -p ./top
rm -f top/Jessie.mli
install -p ./Jessie.mli top/Jessie.mli
rm -f ./.depend
ocamlfind ocamldep -slash  \
  -I . -I "/usr/lib64/frama-c"   \
  Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \
   \
  > ./.depend
chmod a-w ./.depend
make[1]: Leaving directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
BINDIR=/usr/bin LIBDIR=/usr/lib64 COQVER=v8 ./version.sh
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/version.ml
make -C atp atp.cmx
make[1]: Entering directory '/builddir/build/BUILD/why-2.41/atp'
./Mk_ml_file lib.ml intro.ml formulas.ml prop.ml propexamples.ml defcnf.ml dp.ml fol.ml skolem.ml herbrand.ml qelim.ml cooper.ml fourier_motzkin.ml >atp.ml
ocamlopt -g -I /usr/lib64/ocaml/zarith -w ax -c atp.ml
make[1]: Leaving directory '/builddir/build/BUILD/why-2.41/atp'
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/lib.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/lib.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/rc.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/rc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/loc.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/loc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/ident.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/ident.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/logic.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/print_real.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/effect.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/effect.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/pp.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/pp.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/option_misc.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/option_misc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/error.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/report.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/report.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/types.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/cc.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/ptree.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/ast.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/env.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/logic_decl.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/explain.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/explain.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/xml.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/xml.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/whyproject.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/whyproject.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/why3_kw.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc src/why3_kw.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_env.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/output.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/output.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_common_options.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_common_options.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_stdlib.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_stdlib.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_envset.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_envset.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_region.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_ast.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_fenv.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_region.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_fenv.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_constructors.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_constructors.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_pervasives.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_pervasives.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_iterators.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_iterators.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_type_var.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_type_var.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_output_misc.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_poutput.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_output.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -for-pack Jc jc/jc_noutput.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_options.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_options.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_name.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_struct_tools.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_struct_tools.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_norm.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_norm.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_typing.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_typing.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/numconst.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/numconst.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_parser.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_parser.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_lexer.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_lexer.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_separation.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_callgraph.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_callgraph.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_effect.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_ai.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_ai.ml
File "jc/jc_annot_inference.ml", line 58, characters 8-29:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 61, characters 8-33:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 64, characters 8-28:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 67, characters 8-33:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 71, characters 8-32:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 271, characters 8-33:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 274, characters 8-38:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 277, characters 8-38:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 1256, characters 8-16:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 1365, characters 10-18:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 1422, characters 8-24:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 1513, characters 10-13:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 2581, characters 8-23:
Warning 39: unused rec flag.
File "jc/jc_annot_inference.ml", line 50, characters 0-13:
Warning 33: unused open Apron.Interval.
File "jc/jc_annot_inference.ml", line 224, characters 8-22:
Warning 32: unused value destruct_alloc.
File "jc/jc_annot_inference.ml", line 277, characters 8-38:
Warning 32: unused value assignment_semantic_dependence.
File "jc/jc_annot_inference.ml", line 452, characters 4-29:
Warning 32: unused value print_abstract_invariants.
File "jc/jc_annot_inference.ml", line 463, characters 4-23:
Warning 32: unused value print_modified_vars.
File "jc/jc_annot_inference.ml", line 860, characters 4-10:
Warning 32: unused value extend.
File "jc/jc_annot_inference.ml", line 905, characters 4-21:
Warning 32: unused value strictly_stronger.
File "jc/jc_annot_inference.ml", line 916, characters 4-25:
Warning 32: unused value bottom_abstract_value.
File "jc/jc_annot_inference.ml", line 922, characters 4-22:
Warning 32: unused value top_abstract_value.
File "jc/jc_annot_inference.ml", line 1058, characters 6-19:
Warning 32: unused value num_disjuncts.
File "jc/jc_annot_inference.ml", line 1819, characters 4-23:
Warning 32: unused value remove_modified_var.
File "jc/jc_annot_inference.ml", line 3054, characters 4-27:
Warning 32: unused value assign_integer_variable.
File "jc/jc_annot_inference.ml", line 3057, characters 4-28:
Warning 32: unused value assign_pointer_variables.
File "jc/jc_annot_inference.ml", line 3143, characters 8-30:
Warning 32: unused value ai_inter_function_call.
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_interp_misc.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_interp_misc.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_invariants.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_pattern.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_frame_notin.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_interp.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_interp.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_frame.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_frame.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_make.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_main.ml
ocamlopt.opt -runtime-variant _pic -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -I +apron -I +gmp -cclib ' -Wl,-rpath,/usr/lib64/ocaml/apron -lpolkaMPQ -loctMPQ_caml -loctMPQ -lboxMPQ_caml -lboxMPQ -lapron_caml -lapron -lgmp_caml -lmpfr -lgmp -lcamlidl' bigarray.cmxa gmp.cmxa apron.cmxa boxMPQ.cmxa polkaMPQ.cmxa octMPQ.cmxa -I atp -ccopt -Wl,-z,relro -ccopt -Wl,--as-needed -ccopt -Wl,-z,now -ccopt -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o bin/jessie.opt \
	unix.cmxa str.cmxa zarith.cmxa graph.cmxa src/version.cmx atp/atp.cmx src/lib.cmx src/rc.cmx src/loc.cmx src/ident.cmx src/print_real.cmx src/effect.cmx src/pp.cmx src/option_misc.cmx src/report.cmx src/explain.cmx src/xml.cmx src/whyproject.cmx src/why3_kw.cmx jc/output.cmx jc/jc_common_options.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/jc_constructors.cmx jc/jc_pervasives.cmx jc/jc_iterators.cmx jc/jc_type_var.cmx jc/jc_output_misc.cmx jc/jc_poutput.cmx jc/jc_output.cmx jc/jc_noutput.cmx jc/jc_options.cmx jc/jc_name.cmx jc/jc_struct_tools.cmx jc/jc_norm.cmx jc/jc_typing.cmx jc/numconst.cmx jc/jc_parser.cmx jc/jc_lexer.cmx jc/jc_separation.cmx jc/jc_callgraph.cmx jc/jc_effect.cmx jc/jc_ai.cmx jc/jc_interp_misc.cmx jc/jc_invariants.cmx jc/jc_pattern.cmx jc/jc_frame_notin.cmx jc/jc_interp.cmx jc/jc_frame.cmx jc/jc_make.cmx jc/jc_main.cmx
/usr/bin/true    bin/jessie.opt
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_env.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_options.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_ast.mli
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_tast.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_pervasives.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_abstract.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_parser.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_parser.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_lexer.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_syntax.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_typing.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_typing.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_callgraph.mli
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_callgraph.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_analysis.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_interp.ml
ocamlopt.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph java/java_main.ml
ocamlopt.opt -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -o bin/krakatoa.opt \
	unix.cmxa zarith.cmxa graph.cmxa src/lib.cmx src/version.cmx src/loc.cmx src/pp.cmx src/option_misc.cmx src/why3_kw.cmx jc/output.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx jc/jc_common_options.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/numconst.cmx jc/jc_constructors.cmx jc/jc_pervasives.cmx jc/jc_name.cmx jc/jc_iterators.cmx jc/jc_type_var.cmx jc/jc_output_misc.cmx jc/jc_poutput.cmx jc/jc_output.cmx jc/jc_noutput.cmx java/java_options.cmx java/java_pervasives.cmx java/java_abstract.cmx java/java_parser.cmx java/java_lexer.cmx java/java_syntax.cmx java/java_typing.cmx java/java_callgraph.cmx java/java_analysis.cmx java/java_interp.cmx java/java_main.cmx
/usr/bin/true    bin/krakatoa.opt
ocamlopt.opt -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -thread -o regtest.opt unix.cmxa str.cmxa threads.cmxa tools/regtest.ml
/usr/bin/coqc -R /usr/lib64/why3/coq Why3 -R lib/coq Why lib/coq/Jessie_memory_model.v
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/lib.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/rc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/loc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/ident.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/print_real.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/effect.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/pp.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/option_misc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/report.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/explain.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/xml.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/whyproject.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph src/why3_kw.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/output.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_common_options.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_envset.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_constructors.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_pervasives.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_iterators.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_type_var.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_output_misc.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_poutput.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_output.ml
ocamlc.opt -I +apron -I +gmp -I atp -c -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph jc/jc_noutput.ml
ocamlc.opt -w Aer-3-6-41-44-45-48-50-52-57 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -pack -o jc/jc.cmo src/ast.cmi src/lib.cmo src/rc.cmo src/loc.cmo src/ident.cmo src/print_real.cmo src/effect.cmo src/pp.cmo src/option_misc.cmo src/report.cmo src/explain.cmo src/xml.cmo src/whyproject.cmo src/why3_kw.cmo jc/output.cmo jc/jc_common_options.cmo jc/jc_stdlib.cmo jc/jc_envset.cmo jc/jc_region.cmo jc/jc_fenv.cmo jc/jc_constructors.cmo jc/jc_pervasives.cmo jc/jc_iterators.cmo jc/jc_type_var.cmo jc/jc_output_misc.cmo jc/jc_poutput.cmo jc/jc_output.cmo jc/jc_noutput.cmo
ocamlopt.opt -w Aer-3-6-41-44-45-48-50-52-57 -g -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I `ocamlfind query zarith` -I /usr/lib64/ocaml/ocamlgraph -pack -o jc/jc.cmx src/ast.cmi src/lib.cmx src/rc.cmx src/loc.cmx src/ident.cmx src/print_real.cmx src/effect.cmx src/pp.cmx src/option_misc.cmx src/report.cmx src/explain.cmx src/xml.cmx src/whyproject.cmx src/why3_kw.cmx jc/output.cmx jc/jc_common_options.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/jc_constructors.cmx jc/jc_pervasives.cmx jc/jc_iterators.cmx jc/jc_type_var.cmx jc/jc_output_misc.cmx jc/jc_poutput.cmx jc/jc_output.cmx jc/jc_noutput.cmx
make -C frama-c-plugin depend
make[1]: Entering directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
mkdir -p ./top
rm -f top/Jessie.mli
install -p ./Jessie.mli top/Jessie.mli
rm -f ./.depend
ocamlfind ocamldep -slash  \
  -I . -I "/usr/lib64/frama-c"   \
  Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \
   \
  > ./.depend
chmod a-w ./.depend
make[1]: Leaving directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
make -C frama-c-plugin
make[1]: Entering directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
mkdir -p ./top
rm -f top/Jessie.mli
install -p ./Jessie.mli top/Jessie.mli
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_config.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_options.mli
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_options.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc jessie_integer.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc common.mli
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc common.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc rewrite.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc norm.mli
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc norm.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc retype.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc interp.mli
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc interp.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc register.ml
ocamlfind ocamlc -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -opaque Jessie.mli
mkdir -p ./top
rm -f top/Jessie.cmi
install -p Jessie.cmi top/Jessie.cmi
ocamlfind ocamlc -o top/Jessie.cmo  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -pack \
   \
   ./jessie_config.cmo ./jessie_options.cmo ./jessie_integer.cmo ./common.cmo ./rewrite.cmo ./norm.cmo ./retype.cmo ./interp.cmo ./register.cmo
ocamlfind ocamlc -o top/Jessie.cma  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc \
   \
  -a ./../jc/jc.cmo top/Jessie.cmo
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie jessie_config.ml
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie jessie_options.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cabs2cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Kernel, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Plugin, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module State_dependency_graph, and its interface was not compiled with -opaque
touch jessie_integer.cmi
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie jessie_integer.ml
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie common.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Annotations, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Emitter, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Extlib, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Globals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Integer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Kernel, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Kernel_function, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Log, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_const, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_utils, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module State_builder, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Utf8_logic, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Visitor, and its interface was not compiled with -opaque
touch rewrite.cmi
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie rewrite.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Annotations, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_const, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Extlib, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Globals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Integer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Kernel, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_const, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_env, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_utils, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Project, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Property, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Property_status, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Visitor, and its interface was not compiled with -opaque
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie norm.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cabs2cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_const, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Extlib, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Integer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_const, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_utils, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Visitor, and its interface was not compiled with -opaque
touch retype.cmi
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie retype.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Visitor, and its interface was not compiled with -opaque
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie interp.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Annotations, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil_datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Extlib, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Globals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Integer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Kernel_function, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Log, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_const, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_env, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Logic_utils, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Utf8_logic, and its interface was not compiled with -opaque
touch register.cmi
ocamlfind ocamlopt -intf-suffix .cmi -c  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -for-pack Jessie register.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Annotations, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Ast, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Cmdline, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Config, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Datatype, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Db, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Dynamic, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module File, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Globals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Kernel, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Log, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Parameter_state, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Project, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Visitor, and its interface was not compiled with -opaque
ocamlfind ocamlopt -o top/Jessie.cmx  -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc -pack \
   \
   ./jessie_config.cmx ./jessie_options.cmx ./jessie_integer.cmx ./common.cmx ./rewrite.cmx ./norm.cmx ./retype.cmx ./interp.cmx ./register.cmx
ocamlfind ocamlopt -o top/Jessie.cmxs -shared \
   -I .  -I /usr/lib64/frama-c/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a  -bin-annot -strict-sequence -safe-string -g -I "/usr/lib64/frama-c" -w Aer-3-6-41-44-45-48-50-52-57 -I ./../src -I ./../jc \
  ./../jc/jc.cmx \
          top/Jessie.cmx
make[1]: Leaving directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.XryaIK
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64
++ dirname /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64
+ cd why-2.41
+ make install DESTDIR=/builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64 OCAMLBEST=opt PVSLIB=/builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/pvs/lib PVSEMACS=xemacs
mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin
cp -f bin/jessie.opt /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/jessie
cp -f bin/krakatoa.opt /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/krakatoa
rm -rf /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why
mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why/why3
cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie_why3theories.why lib/why3/jessie_why3.mlw /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why/why3
cd lib; cp -rf java_api /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why
cd lib; cp -rf javacard_api /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why
if test -w /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq" ; then \
  rm -f /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/Why*.v* ; \
  rm -f /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/caduceus*.v* /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/Caduceus*.v* ; \
  rm -f /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/jessie*.v* /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/Jessie*.v* ; \
  if test -n "lib/coq/Jessie_memory_model.vo" ; then \
     mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/Why ; \
     cp -f lib/coq/Jessie_memory_model.vo /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64"/usr/lib64/coq"/user-contrib/Why ; \
          fi \
else \
  echo "Cannot copy to Coq standard library. Add \"-R /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why/coq Why\" to Coq options." ;\
fi
Cannot copy to Coq standard library. Add "-R /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why/coq Why" to Coq options.
mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why/coq
cp -f lib/coq/Jessie_memory_model.vo /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/why/coq
make -C frama-c-plugin install
make[1]: Entering directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
mkdir -p ./top
rm -f top/Jessie.mli
install -p ./Jessie.mli top/Jessie.mli
mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top
install -p ./META.frama-c-jessie ./Jessie.cmi /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins
install -p ./top/Jessie.cmo ./top/Jessie.cmx ./top/Jessie.cma ./top/Jessie.cmxs  /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top
if [ -f frama-c-Jessie.byte ]; then \
  install -p frama-c-Jessie.byte /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin; \
fi
if [ -f frama-c-Jessie.opt ]; then \
  install -p frama-c-Jessie.opt \
	/builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/frama-c-Jessie; \
fi
make[1]: Leaving directory '/builddir/build/BUILD/why-2.41/frama-c-plugin'
+ chmod a-x /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/META.frama-c-jessie
+ chmod a-x /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/Jessie.cmi
+ chmod a-x /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top/Jessie.cma /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top/Jessie.cmo /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top/Jessie.cmx
+ rm -fr /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/pvs
+ desktop-file-install --dir=/builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/applications /builddir/build/SOURCES/jessie.desktop
+ mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/appdata
+ install -pm 644 /builddir/build/SOURCES/jessie.appdata.xml /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/appdata
+ mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/icons
+ cp -a icons /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/icons/hicolor
+ mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/doc/why
+ cp -p /builddir/build/SOURCES/krakatoa.pdf /builddir/build/SOURCES/README.why-coq.Fedora /builddir/build/SOURCES/README.why CHANGES README Version /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/doc/why
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 2.41-7.fc32 --unique-debug-suffix -2.41-7.fc32.aarch64 --unique-debug-src-base why-2.41-7.fc32.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/why-2.41
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/krakatoa
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top/Jessie.cmxs
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/jessie
extracting debug info from /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/lib64/frama-c/plugins/top/Jessie.cmxs
extracting debug info from /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/jessie
extracting debug info from /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/bin/krakatoa
dwz: Error mmapping multi-file temporary files
original debug info size: 4740kB, size after compression: 4744kB
/usr/lib/rpm/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match.
cpio: abstract1.ml: Cannot stat: No such file or directory
cpio: apron_parser.ml: Cannot stat: No such file or directory
cpio: atp.ml: Cannot stat: No such file or directory
cpio: atp/format.ml: Cannot stat: No such file or directory
cpio: atp/string.ml: Cannot stat: No such file or directory
cpio: atp/z.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: format.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/bytes.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/format.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/hashtbl.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/int64.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/jc/jc_constructors.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/jc/jc_pervasives.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/list.ml: Cannot stat: No such file or directory
cpio: frama-c-plugin/string.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: lexing.ml: Cannot stat: No such file or directory
cpio: lincons1.ml: Cannot stat: No such file or directory
cpio: linexpr1.ml: Cannot stat: No such file or directory
cpio: list.ml: Cannot stat: No such file or directory
cpio: manager.ml: Cannot stat: No such file or directory
cpio: mpfr.ml: Cannot stat: No such file or directory
cpio: mpq.ml: Cannot stat: No such file or directory
cpio: parser.ml: Cannot stat: No such file or directory
cpio: printf.ml: Cannot stat: No such file or directory
cpio: queue.ml: Cannot stat: No such file or directory
cpio: scalar.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/components.ml: Cannot stat: No such file or directory
cpio: src/imperative.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
6679 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.PlQ8FM
+ umask 022
+ cd /builddir/build/BUILD
+ cd why-2.41
+ make check
make: Nothing to be done for 'check'.
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: why-2.41-7.fc32.aarch64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.mK6o3K
+ umask 022
+ cd /builddir/build/BUILD
+ cd why-2.41
+ LICENSEDIR=/builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/licenses/why
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/licenses/why
+ cp -pr COPYING /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/licenses/why
+ cp -pr LICENSE /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64/usr/share/licenses/why
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: why = 2.41-7.fc32 why(aarch-64) = 2.41-7.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.28)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.17)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.29)(64bit) rtld(GNU_HASH)
Processing files: why-jessie-2.41-7.fc32.aarch64
Provides: application() application(jessie.desktop) metainfo() metainfo(jessie.appdata.xml) ocaml(Jc) = cd18f56d1c3187281af06a94d1a88991 ocaml(Jessie) = 77c9eae022c060f80d074ffac1a64358 why-jessie = 2.41-7.fc32 why-jessie(aarch-64) = 2.41-7.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libapron.so.0()(64bit) libboxMPQ.so.0()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.28)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.17)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.29)(64bit) libmpfr.so.6()(64bit) liboctMPQ.so.0()(64bit) libpolkaMPQ.so.0()(64bit) ocaml(Abstract_interp) = 2191df7e2bdd5b2aa77b90432381b7fc ocaml(Annotations) = 02c1132cd04345646e782985e8a694be ocaml(Ast_info) = 760cdb562603ec0d9a4793c6718338e8 ocaml(Base) = 37364342ac367fdc24e7141aabc1c88b ocaml(Bottom) = 41d02588fcb3bd339446282ed3ec906e ocaml(Cabs) = 469ded93bc919c40f2e01ca782812aea ocaml(Cabs2cil) = e73e51d63a7815fc118fa12366676ba8 ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94 ocaml(CamlinternalLazy) = 32c2335718b9e6766271583b9840ffb3 ocaml(CamlinternalMod) = 790053edac433ef5a0a484d341e6a142 ocaml(CamlinternalOO) = d36e44265a1abc6fe38b4d90a9e29d76 ocaml(Cil) = 75f18bf7a81bded77055d22e0a114d30 ocaml(CilE) = 43512f04f6a1510dc6d7bce895953032 ocaml(Cil_const) = b8bd9fed288cc63917598cd32a96dfbb ocaml(Cil_datatype) = 1c538e288c1c3e8e44ec8ffcb579b12e ocaml(Cil_types) = 2c076ee7ad66e5b95fe6ae9eb2801d05 ocaml(Cmdline) = 372abdb55e625d928ce5067bd51c0e2f ocaml(Config) = 008a1da60c85a1a697f4342007ebf317 ocaml(Cvalue) = cca96c1e26076ab6925ef03b9ac9636a ocaml(Datatype) = d0586c21602da8a2850eed6c1c29ce12 ocaml(Db) = 6472dd2afc6b2bed225b1786edf511bf ocaml(Descr) = 0e3026522c60613041a3341eb2c61698 ocaml(Dynamic) = b7893d95a44f64673820ea737d2b4c03 ocaml(Emitter) = 3c9c878cb55776ec5a409a7224572f2f ocaml(Escape) = cb7a07fdeaa05d4ed2f1b75c841ff0e5 ocaml(Extlib) = d5c5490a5f2205cff345aee66d0c6cf7 ocaml(FCHashtbl) = ac833e025c4674aebd1eb0022c26aff5 ocaml(FCMap) = 71e7b9aedcfec6fb53d8003141475d19 ocaml(FCSet) = 8688ca6e80349ed7dc06614ca346cbd5 ocaml(Fc_float) = b1a63903631932b28e11c5deb7636bec ocaml(File) = 30dc6fa92a508d71deeed2130b00c586 ocaml(Filepath) = 9511e408c0b43c571b388bc7c646a0f7 ocaml(Float_interval_sig) = e1973ec509e88cf3e03fb467eb28c98e ocaml(Float_sig) = 82f0d48d154f43c5b78e0aba6f02f83f ocaml(Function_Froms) = 704dd53775b2e95738675a85456e24d9 ocaml(Fval) = 7791536de453636e720b7420213f5e6f ocaml(Globals) = c84f245a7e39fb19bfab5e1b60275cdc ocaml(Graph) = 55ece75223eb433766328c82c4571a94 ocaml(Hook) = e0f10f6534d6885cae598966022bf777 ocaml(Hptmap) = d65c5fa51895990383c51084cf3c8db2 ocaml(Hptmap_sig) = 0ad4ce96e090c23431cf091a638e9463 ocaml(Hptset) = 1e5a21414b69003e0b7a2d5b7e1d7d2b ocaml(Inout_type) = 8b52735f5616c8e09d5c3a88cc9a571a ocaml(Int_Base) = a04426fbd9b35acc89e7120e301b10e2 ocaml(Int_Intervals) = ef5278bf97b8c096911e747a4a766a6d ocaml(Int_Intervals_sig) = bc27a808b6dced8cd6cedd5246ef072e ocaml(Integer) = c09b20af0489f7bae47fb802993db91a ocaml(Ival) = 291a4210326ad5d814e9a7fc07d17fc7 ocaml(Jc) = cd18f56d1c3187281af06a94d1a88991 ocaml(Kernel) = 061acf96d00a2b63913d198606665d78 ocaml(Kernel_function) = f45ba6b83f3654babe67c5db765abf23 ocaml(Lattice_type) = 12b9c021638ba20e9a271636df365fb5 ocaml(Lmap_bitwise) = 7e697262724273e7cbbf3b6922b0d21e ocaml(Lmap_sig) = 292be40d8fba80149cf1f24cafa71a42 ocaml(Locations) = 43826d2662536d0d3d7e5fcbe20b74c3 ocaml(Log) = 6bd391d93a08cc1c66d8049bf8b61332 ocaml(Logic_const) = 7c680ae9509fbc4ab089d17e24f3610d ocaml(Logic_env) = ad2d469ffb42efacbf860a8d1693fd73 ocaml(Logic_ptree) = 18f023c9d89bc3c53068a5e5045b4247 ocaml(Logic_typing) = d930baaca13f37a664ef4beadf559885 ocaml(Logic_utils) = b4c17369e73dc051030d7f79d120263d ocaml(Offsetmap) = eebd657e3a035161caf23f2c0427fb91 ocaml(Offsetmap_bitwise_sig) = 257041d0f41fa002b3e14cc0d03a6e1d ocaml(Offsetmap_lattice_with_isotropy) = 9a64d0f51427d3177d85dccc71556645 ocaml(Offsetmap_sig) = 2c3dc57afd79b8c7c002ee272d301d48 ocaml(Origin) = a1c92bda407ae3fff82fb94133e60e54 ocaml(Parameter_category) = 9756081ad33fd068979b31e39c93bba9 ocaml(Parameter_sig) = 189570083fe22f2a60f868dd01cd06de ocaml(Parameter_state) = 39a90917a4ed451b04e9b2d91fca39ff ocaml(PdgIndex) = 5d72fb216a32c752e93593596609e0ee ocaml(PdgTypes) = 7f55d64305533c746bbd894adedb82a4 ocaml(Plugin) = ecda0e28aa393e3663c4282f8df30776 ocaml(Precise_locs) = bc17f16fc7ae30c8b9176e1520b5c5e3 ocaml(Pretty_utils) = c4c9344bc07ae12f7938f771989be2a0 ocaml(Printer) = 579796601f794cd5c712af3cbe554338 ocaml(Printer_api) = fa735ca6d7b758ad0592abc413df1985 ocaml(Project) = 1b5f48e48ce3b1fbb2e66b3c92764965 ocaml(Project_skeleton) = 38135010c7695844fb13a894e90b8170 ocaml(Property) = f4a09bdbd755785b1b22a0007d86e994 ocaml(Property_status) = 251475465b93fe1ab6275eb850cf283e ocaml(State) = c81157cc25a8e68330aaf5355c6b4aa8 ocaml(State_builder) = 6055ad7cc39276915f261b54b1c256ba ocaml(State_dependency_graph) = 4a35ba782faab91bf1cff4fd08e16f5d ocaml(State_selection) = 0c4e84ab887221d11d4c899d1cb8a563 ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8 ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818 ocaml(Stdlib__bigarray) = a39abb3f899c4b4ea72b1eda931404b8 ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6 ocaml(Stdlib__bytes) = 6b7074af78d2fce4ff8323a7d4e5ea0d ocaml(Stdlib__char) = 1f7aaa002e7504e2fcb18665bf17141d ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52 ocaml(Stdlib__digest) = 2dc26e44fb2a3b3a7a88e249d70242a8 ocaml(Stdlib__filename) = 620b1f6f6d9c32af927183ef4ceedb7a ocaml(Stdlib__format) = b19f294d464555e99bcd77ca013195d9 ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c ocaml(Stdlib__lazy) = 31c662c7cda074a9799490137c4d7016 ocaml(Stdlib__lexing) = cf953e945260781e23991e3991f9d5b0 ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e ocaml(Stdlib__listLabels) = 29fcd9bd9e9843fd04f79bc2b940c416 ocaml(Stdlib__map) = 24753f5ffed358ea157f8ab4f298d015 ocaml(Stdlib__nativeint) = 1299f64d64f7c776695f30edab0d4d78 ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53 ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181 ocaml(Stdlib__printexc) = 0385c022af1089101c5830e076b89d37 ocaml(Stdlib__printf) = b72a44ed259e7034497028c0b31e9fa1 ocaml(Stdlib__queue) = 0e53521dd09e6bd3fb5bff6dbaa5b840 ocaml(Stdlib__scanf) = 5b61f6db39154f9e1e418dda227a1351 ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136 ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef ocaml(Stdlib__stack) = 607d26d00f135f62976f5b252e211e79 ocaml(Stdlib__stream) = deb625f011da89c7ad56e935ac3521b5 ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f ocaml(Stdlib__sys) = 13aa7b95294684724e198467fb7c3467 ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526 ocaml(Stdlib__weak) = 13cb2546146b481a7b2d5ff8fef31bea ocaml(Structural_descr) = 8f0e855d0581585f917a51bf1d255249 ocaml(Type) = 0187da7efb45aaedce12052affdf0639 ocaml(Typed_parameter) = 8035fe80ad29d5a1556a819d3d2f9399 ocaml(Unix) = 323356c8c72d73e9e59421c988efd3aa ocaml(Unmarshal) = 3d68fb8fd500e7c919c309b5d236e368 ocaml(Utf8_logic) = 6cd1654cba7c141d07fecb59afce6a91 ocaml(Value_types) = 5b3ff4c28896ab93c7425f5f1024d4e6 ocaml(Visitor) = 372ab17f293ce1456322867c7546f4f5 ocaml(Z) = 55dba9eb2cc1e483c79f30f9b871579d ocaml(runtime) = 4.08.1 rtld(GNU_HASH)
Processing files: why-all-2.41-7.fc32.aarch64
Processing files: why-debugsource-2.41-7.fc32.aarch64
Provides: why-debugsource = 2.41-7.fc32 why-debugsource(aarch-64) = 2.41-7.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: why-debuginfo-2.41-7.fc32.aarch64
Provides: debuginfo(build-id) = 83d18f23da82aeff772adaaf2508e7a97bc686b2 why-debuginfo = 2.41-7.fc32 why-debuginfo(aarch-64) = 2.41-7.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: why-debugsource(aarch-64) = 2.41-7.fc32
Processing files: why-jessie-debuginfo-2.41-7.fc32.aarch64
Provides: debuginfo(build-id) = ad8d8a5e86bc0a0995cf41c041c488bf83a78e29 debuginfo(build-id) = ea149da970c2ad51269e42c1f60ca3a4301ce59a why-jessie-debuginfo = 2.41-7.fc32 why-jessie-debuginfo(aarch-64) = 2.41-7.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: why-debugsource(aarch-64) = 2.41-7.fc32
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64
Wrote: /builddir/build/RPMS/why-all-2.41-7.fc32.aarch64.rpm
Wrote: /builddir/build/RPMS/why-debuginfo-2.41-7.fc32.aarch64.rpm
Wrote: /builddir/build/RPMS/why-debugsource-2.41-7.fc32.aarch64.rpm
Wrote: /builddir/build/RPMS/why-jessie-debuginfo-2.41-7.fc32.aarch64.rpm
Wrote: /builddir/build/RPMS/why-2.41-7.fc32.aarch64.rpm
Wrote: /builddir/build/RPMS/why-jessie-2.41-7.fc32.aarch64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.qpzTgL
+ umask 022
+ cd /builddir/build/BUILD
+ cd why-2.41
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/why-2.41-7.fc32.aarch64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0