Building on x86-bm-2.ocamllabs.io
(from ocurrent/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
Unable to find image 'ocurrent/opam:debian-unstable' locally
debian-unstable: Pulling from ocurrent/opam
b2048aa58c5f: Pulling fs layer
412783517da1: Pulling fs layer
2143755e883d: Pulling fs layer
b2048aa58c5f: Verifying Checksum
b2048aa58c5f: Download complete
2143755e883d: Verifying Checksum
2143755e883d: Download complete
412783517da1: Verifying Checksum
412783517da1: Download complete
b2048aa58c5f: Pull complete
412783517da1: Pull complete
2143755e883d: Pull complete
Digest: sha256:d5761fd43bfa1a0782288e3fc959c461a5b030a735a1e16290ff499c79950c05
Status: Downloaded newer image for ocurrent/opam:debian-unstable
2021-07-03 17:36.59 ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMDEPEXTYES 1)
/: (env OPAMUTF8 never)
/: (run (network host)
(shell "\
\n set -e\
\n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\
\n git -C /tmp/opam checkout -q '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\
\n opam remote set-url default git://github.com/ocaml/opam-repository.git\
\n opam pin add -yn /tmp/opam > /dev/null\
\n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\
\n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\
\n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\
\n if ! test -d ~/opam-repository; then\
\n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\
\n else\
\n git -C ~/opam-repository pull -q origin master\
\n fi\
\n git -C ~/opam-repository checkout -q '9c3fe9d253394788e95360e5c2bcb22722fae6f5'\
\n "))
[default] Initialised
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD
The following actions will be performed:
- install ocamlfind 1.9.1
- install seq base [required by re]
- install cmdliner 1.0.4 [required by opam-devel]
- install dune 2.9.0 [required by opam-0install-cudf, opam-devel]
- install ocamlbuild 0.14.0 [required by cudf]
- install base-bytes base [required by extlib]
- install stdlib-shims 0.3.0 [required by ocamlgraph]
- install re 1.9.0 [required by opam-client]
- install opam-file-format 2.1.3 [required by opam-format]
- install cppo 1.6.7 [required by extlib]
- install 0install-solver 2.17 [required by opam-0install-cudf]
- install ocamlgraph 2.0.0 [required by dose3]
- install extlib 1.7.7-1 [required by cudf, opam-client]
- install opam-core 2.1.0~beta4* [required by opam-format]
- install cudf 0.9-1 [required by opam-0install-cudf]
- install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver]
- install opam-0install-cudf 0.4.2
- install mccs 1.1+13 [required by opam-solver]
- install dose3 5.0.1-1 [required by opam-solver]
- install opam-repository 2.1.0~beta4* [required by opam-client]
- install opam-solver 2.1.0~beta4* [required by opam-client]
- install opam-state 2.1.0~beta4* [required by opam-client]
- install opam-client 2.1.0~beta4* [required by opam-devel]
- install opam-devel 2.1.0~beta4*
===== 24 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz
[dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[dune.2.9.0] downloaded from https://github.com/ocaml/dune/releases/download/2.9.0/dune-2.9.0.tbz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[opam-0install-cudf.0.4.2] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.2/opam-0install-cudf-v0.4.2.tbz
[opam-file-format.2.1.3] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.3.tar.gz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.9.0
-> installed stdlib-shims.0.3.0
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed opam-file-format.2.1.3
-> installed re.1.9.0
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed opam-core.2.1.0~beta4
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4.2
-> installed mccs.1.1+13
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-solver.2.1.0~beta4
-> installed opam-state.2.1.0~beta4
-> installed opam-client.2.1.0~beta4
-> installed opam-devel.2.1.0~beta4
Done.
<><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><>
=> The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with
sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin
If you just want to give it a try without altering your current installation, you could use instead:
alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam"
# Run eval $(opam env) to update the current shell environment
Updating files: 93% (11467/12211)
Updating files: 94% (11479/12211)
Updating files: 95% (11601/12211)
Updating files: 96% (11723/12211)
Updating files: 97% (11845/12211)
Updating files: 98% (11967/12211)
Updating files: 99% (12089/12211)
Updating files: 100% (12211/12211)
Updating files: 100% (12211/12211), done.
2021-07-03 17:36.59 ---> using "307be9aa5cdafafceded4bdc6f1d2d6cc6421661c3851f395cf39dd0065265a9" from cache
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2021-07-03 17:36.59 ---> using "f9d18559158c26cb0236b11f8c3f1aca1927d54f77b8b978800f7461ab605d60" from cache
/: (run (network host)
(shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
2021-07-03 17:36.59 ---> using "0123e084a7b7841fc01d674ea3cc62b640a19885601c401c0149be13108a5da4" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-07-03 17:36.59 ---> using "4382217c65ee8c899c1e38e76fe879b949ffb708f73e6e0a95f0a3814d01dd54" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 4.03.0"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.03.0"} | "ocaml-system" {= "4.03.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.03.0 (cached)
-> installed ocaml-base-compiler.4.03.0
-> installed ocaml-config.1
-> installed ocaml.4.03.0
Done.
# Run eval $(opam env --switch=4.03.0) to update the current shell environment
2021-07-03 17:36.59 ---> using "aa983810274567568b37746fa2536daf0870f26a0bfc97d248f67cf9e6f43be2" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8640 kB]
- Fetched 8865 kB in 2s (5045 kB/s)
- Reading package lists...
-
2021-07-03 17:36.59 ---> using "827f05018f9eefe1d681c27be0df0df6a81c706f36d266e7ffd03581b222da80" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install -y ocaml-secondary-compiler"))
The following actions will be performed:
- install ocaml-secondary-compiler 4.08.1-1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-secondary-compiler.4.08.1-1 (cached)
-> installed ocaml-secondary-compiler.4.08.1-1
Done.
# Run eval $(opam env) to update the current shell environment
2021-07-03 17:36.59 ---> using "85afaaf0fc6456054a229745c286b7e7256c5a6f7894a0c915a99060f8a36cab" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"frama-c-base.15.0\"\
\nopam install -vy \"frama-c-base.15.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"frama-c-base.15.0\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
Nothing to do.
[NOTE] frama-c-base.15.0 is not installed.
The following actions will be performed:
- remove ocaml-secondary-compiler 4.08.1-1
- install ocamlfind 1.9.1 [required by frama-c-base]
- install conf-which 1 [required by conf-autoconf]
- install conf-perl 1 [required by zarith]
- install conf-gmp 3 [required by zarith]
- install ocamlgraph 1.8.8 [required by frama-c-base]
- install conf-autoconf 0.1 [required by frama-c-base]
- install zarith 1.11 [required by frama-c-base]
- install frama-c-base 15.0 Why3 can be used by the WP plug-in for running additional automatic solvers
Coq can be used with the WP plug-in for proving interactively proof obligations
===== 8 to install | 1 to remove =====
The following system packages will first need to be installed:
autoconf libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages? [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17845 files and directories currently installed.)
- Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp10:amd64 (2:6.2.1+dfsg-1) over (2:6.2.0+dfsg-6) ...
- Setting up libgmp10:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libsigsegv2:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17846 files and directories currently installed.)
- Preparing to unpack .../0-libsigsegv2_2.13-1_amd64.deb ...
- Unpacking libsigsegv2:amd64 (2.13-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../1-m4_1.4.18-5_amd64.deb ...
- Unpacking m4 (1.4.18-5) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../2-autoconf_2.69-14_all.deb ...
- Unpacking autoconf (2.69-14) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../3-autotools-dev_20180224.1+nmu1_all.deb ...
- Unpacking autotools-dev (20180224.1+nmu1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../4-automake_1%3a1.16.3-2_all.deb ...
- Unpacking automake (1:1.16.3-2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../5-libgmpxx4ldbl_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../6-libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Setting up autotools-dev (20180224.1+nmu1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libsigsegv2:amd64 (2.13-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Setting up m4 (1.4.18-5) ...
- Setting up autoconf (2.69-14) ...
- Setting up automake (1:1.16.3-2) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Processing triggers for libc-bin (2.31-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed ocaml-secondary-compiler.4.08.1-1
Processing 6/25: [frama-c-base.15.0: http]
Processing 7/25: [frama-c-base.15.0: http]
Processing 8/25: [frama-c-base.15.0: http]
Processing 9/25: [frama-c-base.15.0: http] [conf-gmp: sh]
Processing 10/25: [frama-c-base.15.0: http] [conf-gmp: sh] [conf-perl: perl]
Processing 11/25: [frama-c-base.15.0: http] [conf-gmp: sh] [conf-perl: perl] [conf-which: which which]
Processing 11/25: [conf-gmp: sh] [conf-perl: perl] [conf-which: which which]
-> retrieved ocamlfind.1.9.1 (cached)
Processing 12/25: [conf-gmp: sh] [conf-perl: perl] [conf-which: which which]
Processing 13/25: [conf-gmp: sh] [conf-perl: perl] [conf-which: which which] [ocamlfind: ./configure]
-> retrieved ocamlgraph.1.8.8 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/conf-gmp.3)
- + cc -c -I/usr/local/include test.c
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.3
Processing 13/25: [conf-perl: perl] [conf-which: which which] [ocamlfind: ./configure]
-> installed conf-gmp.3
Processing 14/25: [conf-perl: perl] [conf-which: which which] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "perl" "--version" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/conf-perl.1)
-
- This is perl 5, version 30, subversion 3 (v5.30.3) built for x86_64-linux-gnu-thread-multi
- (with 50 registered patches, see perl -V for more detail)
-
- Copyright 1987-2020, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at http://www.perl.org/, the Perl Home Page.
-
-
- This is perl 5, version 30, subversion 3 (v5.30.3) built for x86_64-linux-gnu-thread-multi
- (with 50 registered patches, see perl -V for more detail)
-
- Copyright 1987-2020, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at http://www.perl.org/, the Perl Home Page.
-
-> compiled conf-perl.1
Processing 14/25: [conf-which: which which] [ocamlfind: ./configure]
-> installed conf-perl.1
Processing 15/25: [conf-which: which which] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/conf-which.1)
- /usr/bin/which
- /usr/bin/which
-> compiled conf-which.1
Processing 15/25: [ocamlfind: ./configure]
-> installed conf-which.1
Processing 16/25: [ocamlfind: ./configure]
Processing 17/25: [conf-autoconf: which autoconf] [ocamlfind: ./configure]
-> retrieved zarith.1.11 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "autoconf" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/conf-autoconf.0.1)
- /usr/bin/autoconf
- /usr/bin/autoconf
-> compiled conf-autoconf.0.1
Processing 17/25: [ocamlfind: ./configure]
-> installed conf-autoconf.0.1
Processing 18/25: [ocamlfind: ./configure]
-> retrieved frama-c-base.15.0 (http://frama-c.com/download/frama-c-Phosphorus-20170501.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.03.0/bin" "-sitelib" "/home/opam/.opam/4.03.0/lib" "-mandir" "/home/opam/.opam/4.03.0/man" "-config" "/home/opam/.opam/4.03.0/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1)
- Welcome to findlib version 1.9.1
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: found
- num: found
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found
- raw_spacetime: not present (normal since 4.12)
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for graphics written to site-lib-src/graphics/META
- Configuration for num written to site-lib-src/num/META
- Configuration for num-top written to site-lib-src/num-top/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.03.0/lib/ocaml
- Binaries: /home/opam/.opam/4.03.0/bin
- Manual pages: /home/opam/.opam/4.03.0/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.03.0/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.03.0/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.03.0/bin
- Manual pages: /home/opam/.opam/4.03.0/man
- topfind script: /home/opam/.opam/4.03.0/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 18/25: [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.03.0/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.03.0/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque -c findlib.mli
- ocamlc -I +compiler-libs -opaque -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -g -c frontend.ml
- File "frontend.ml", line 1826, characters 16-29:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -c topfind.mli
- ocamlc -I +compiler-libs -opaque -g -c topfind.ml
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.03.0/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -c num_top_printers.mli
- ocamlc -I +compiler-libs -opaque -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -opaque -c num_top.mli
- ocamlc -I +compiler-libs -opaque -g -c num_top.ml
- ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- ocamlc -I +compiler-libs -opaque -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.03.0/lib' >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
Processing 18/25: [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -c frontend.ml
- File "frontend.ml", line 1826, characters 16-29:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -c topfind.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
-> compiled ocamlfind.1.9.1
Processing 19/25: [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.03.0/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.03.0/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi \
- fi \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- mkdir -p "/home/opam/.opam/4.03.0/bin"
- mkdir -p "/home/opam/.opam/4.03.0/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.03.0/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.03.0/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.03.0/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.03.0/lib/findlib"
- mkdir -p "/home/opam/.opam/4.03.0/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.03.0/lib/ocaml"
- files=` ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi META` && \
- cp $files "/home/opam/.opam/4.03.0/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.03.0/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.03.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.03.0/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.03.0/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.03.0/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.03.0/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.03.0/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.03.0/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.03.0/lib/num-top"
- cp num_top.cma num_top.cmi num_top_printers.cmi \
- "/home/opam/.opam/4.03.0/lib/num-top"
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.03.0/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.03.0/man/man1" "/home/opam/.opam/4.03.0/man/man3" "/home/opam/.opam/4.03.0/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.03.0/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.03.0/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/ocamlfind.1.9.1'
-> installed ocamlfind.1.9.1
Processing 20/25: [ocamlgraph: touch]
Processing 21/25: [ocamlgraph: touch] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "touch" "./configure" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlgraph.1.8.8)
Processing 21/25: [ocamlgraph: ./configure] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlgraph.1.8.8)
- checking for ocamlc... ocamlc
- ocaml version is 4.03.0
- ocaml library path is /home/opam/.opam/4.03.0/lib/ocaml
- 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 ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- checking for ocamldoc... ocamldoc
- checking for ocamldoc.opt... ocamldoc.opt
- checking for ocamlweb... true
- checking for ocamlfind... ocamlfind
- OCamlfind detected and enabled
- ocamlfind: Package `lablgtk2' not found
- checking for /home/opam/.opam/4.03.0/lib/ocaml/lablgtk2/lablgtk.cmxa... no
- checking Win32 platform... no
- configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled
- configure: creating ./config.status
- config.status: creating Makefile
- checking for ocamlc... ocamlc
- ocaml version is 4.03.0
- ocaml library path is /home/opam/.opam/4.03.0/lib/ocaml
- 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 ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- checking for ocamldoc... ocamldoc
- checking for ocamldoc.opt... ocamldoc.opt
- checking for ocamlweb... true
- checking for ocamlfind... ocamlfind
- OCamlfind detected and enabled
- ocamlfind: Package `lablgtk2' not found
- checking for /home/opam/.opam/4.03.0/lib/ocaml/lablgtk2/lablgtk.cmxa... no
- checking Win32 platform... no
- configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled
- configure: creating ./config.status
- config.status: creating Makefile
Processing 21/25: [ocamlgraph: make] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/zarith.1.11)
- binary ocaml: found in /home/opam/.opam/4.03.0/bin
- binary ocamlc: found in /home/opam/.opam/4.03.0/bin
- binary ocamldep: found in /home/opam/.opam/4.03.0/bin
- binary ocamlmklib: found in /home/opam/.opam/4.03.0/bin
- binary ocamldoc: found in /home/opam/.opam/4.03.0/bin
- binary ar: found in /usr/bin
- binary perl: found in /usr/bin
- binary gcc: found in /usr/bin
- binary ocamlopt: found in /home/opam/.opam/4.03.0/bin
- checking compilation with gcc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/4.03.0/bin
- OCaml's word size is 64
- binary uname: found in /bin
- include gmp.h: found
- library gmp: found
- OCaml extended comparison supported
- OCaml new hash functions available
- OCaml supports -bin-annot to produce documentation
- Using OCaml legacy C API custom operations
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- asm path: x86_64
- defines: -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX
- libraries: -lgmp
- C options: -O3 -Wall -Wextra
- asm options
- installation path: /home/opam/.opam/4.03.0/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
- binary ocaml: found in /home/opam/.opam/4.03.0/bin
- binary ocamlc: found in /home/opam/.opam/4.03.0/bin
- binary ocamldep: found in /home/opam/.opam/4.03.0/bin
- binary ocamlmklib: found in /home/opam/.opam/4.03.0/bin
- binary ocamldoc: found in /home/opam/.opam/4.03.0/bin
- binary ar: found in /usr/bin
- binary perl: found in /usr/bin
- binary gcc: found in /usr/bin
- binary ocamlopt: found in /home/opam/.opam/4.03.0/bin
- checking compilation with gcc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/4.03.0/bin
- OCaml's word size is 64
- binary uname: found in /bin
- include gmp.h: found
- library gmp: found
- OCaml extended comparison supported
- OCaml new hash functions available
- OCaml supports -bin-annot to produce documentation
- Using OCaml legacy C API custom operations
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- asm path: x86_64
- defines: -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX
- libraries: -lgmp
- C options: -O3 -Wall -Wextra
- asm options
- installation path: /home/opam/.opam/4.03.0/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 21/25: [ocamlgraph: make] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/zarith.1.11)
- ./z_pp.pl x86_64
- Name "main::extra" used only once: possible typo at ./z_pp.pl line 29.
- found assembly file caml_z_x86_64.S
- found abs
- found add
- found div
- found divexact
- found logand
- found lognot
- found logor
- found logxor
- found mul
- found neg
- found pred
- found rem
- found shift_left
- found shift_right
- found sub
- found succ
- ocamldep -native z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -I +compiler-libs -bin-annot -c z.mli
- ocamlc -I +compiler-libs -bin-annot -c z.ml
- ocamlc -I +compiler-libs -bin-annot -c q.mli
- ocamlc -I +compiler-libs -bin-annot -c q.ml
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmo q.cmo big_int_Z.cmo -lgmp
- gcc -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX -c -o caml_z_x86_64.o caml_z_x86_64.S
- ocamlc -ccopt "-I/home/opam/.opam/4.03.0/lib/ocaml -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -failsafe -o zarith caml_z_x86_64.o caml_z.o -lgmp
- ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -I +compiler-libs -c z.ml
- ocamlopt -I +compiler-libs -c q.ml
- ocamlopt -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
- ./z_pp.pl x86_64
- Name "main::extra" used only once: possible typo at ./z_pp.pl line 29.
- found assembly file caml_z_x86_64.S
- found abs
- found add
- found div
- found divexact
- found logand
- found lognot
- found logor
- found logxor
- found mul
- found neg
- found pred
- found rem
- found shift_left
- found shift_right
- found sub
- found succ
- ocamldep -native z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -I +compiler-libs -bin-annot -c z.mli
- ocamlc -I +compiler-libs -bin-annot -c z.ml
- ocamlc -I +compiler-libs -bin-annot -c q.mli
- ocamlc -I +compiler-libs -bin-annot -c q.ml
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmo q.cmo big_int_Z.cmo -lgmp
- gcc -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX -c -o caml_z_x86_64.o caml_z_x86_64.S
- ocamlc -ccopt "-I/home/opam/.opam/4.03.0/lib/ocaml -DZ_OCAML_LEGACY_CUSTOM_OPERATIONS -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -failsafe -o zarith caml_z_x86_64.o caml_z.o -lgmp
- ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -I +compiler-libs -c z.ml
- ocamlopt -I +compiler-libs -c q.ml
- ocamlopt -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.11
Processing 21/25: [ocamlgraph: make]
Processing 22/25: [ocamlgraph: make] [zarith: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/zarith.1.11)
- ocamlfind install -destdir "/home/opam/.opam/4.03.0/lib" zarith META zarith.h zarith.cma libzarith.a z.mli q.mli big_int_Z.mli z.cmi q.cmi big_int_Z.cmi zarith_top.cma zarith.a zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.cmti
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.cmti
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.cmx
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.cmx
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.a
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.cmi
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.cmi
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.mli
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.mli
- Installed /home/opam/.opam/4.03.0/lib/zarith/libzarith.a
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.cma
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.h
- Installed /home/opam/.opam/4.03.0/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/4.03.0/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.03.0/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.03.0/lib/zarith/META
- ocamlfind install -destdir "/home/opam/.opam/4.03.0/lib" zarith META zarith.h zarith.cma libzarith.a z.mli q.mli big_int_Z.mli z.cmi q.cmi big_int_Z.cmi zarith_top.cma zarith.a zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.cmti
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.cmti
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.cmx
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.cmx
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.a
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.cmi
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.cmi
- Installed /home/opam/.opam/4.03.0/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/4.03.0/lib/zarith/q.mli
- Installed /home/opam/.opam/4.03.0/lib/zarith/z.mli
- Installed /home/opam/.opam/4.03.0/lib/zarith/libzarith.a
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.cma
- Installed /home/opam/.opam/4.03.0/lib/zarith/zarith.h
- Installed /home/opam/.opam/4.03.0/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/4.03.0/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.03.0/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.03.0/lib/zarith/META
-> installed zarith.1.11
Processing 22/25: [ocamlgraph: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlgraph.1.8.8)
- sed -e s/VERSION/1.8.8/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ -e s/CMXS/graph.cmxs/ \
- META.in > META
- rm -f src/version.ml
- echo "let version = \""1.8.8"\"" > src/version.ml
- echo 'let date = "'"Sat Jul 3 18:37:30 BST 2021"'"' >> src/version.ml
- rm -f .depend
- ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\
- lib/*.ml lib/*.mli \
- src/*.ml src/*.mli \
- editor/*.mli editor/*.ml \
- view_graph/*.mli view_graph/*.ml \
- dgraph/*.mli dgraph/*.ml > .depend
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/sig.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/sig_pack.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_ast.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/unionfind.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/unionfind.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/heap.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/heap.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/bitv.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/bitv.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/persistentQueue.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 lib/persistentQueue.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/version.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/util.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/util.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/blocks.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/persistent.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/persistent.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/imperative.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/imperative.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/delaunay.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/delaunay.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/builder.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/builder.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/classic.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/classic.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/rand.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/rand.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/oper.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/oper.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/components.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/components.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/path.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/path.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/nonnegative.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/nonnegative.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/traverse.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/traverse.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/coloring.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/coloring.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/topological.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/topological.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/kruskal.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/kruskal.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/flow.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/flow.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/prim.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/prim.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dominator.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dominator.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphviz.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphviz.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gml.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gml.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_parser.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_parser.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot_lexer.ml
- File "src/dot_lexer.mll", line 38, characters 21-37:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/dot.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/pack.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/pack.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gmap.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/gmap.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/minsep.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/minsep.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/cliquetree.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/cliquetree.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mcs_m.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mcs_m.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/md.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/md.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/strat.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/strat.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/fixpoint.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/fixpoint.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/leaderlist.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/leaderlist.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/contraction.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/contraction.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphml.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/graphml.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/merge.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/merge.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mincut.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/mincut.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/clique.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/clique.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/weakTopological.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/weakTopological.ml
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/chaoticIteration.mli
- ocamlc.opt -c -I src -I lib -g -dtypes -w +a -w -4 -w -44 -w -50 -w -48 -w -29 src/chaoticIteration.ml
- ocamlc.opt -I src -I lib -pack -g -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo lib/persistentQueue.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/components.cmo src/path.cmo src/nonnegative.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/kruskal.cmo src/flow.cmo src/prim.cmo src/dominator.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo src/fixpoint.cmo src/leaderlist.cmo src/contraction.cmo src/graphml.cmo src/merge.cmo src/mincut.cmo src/clique.cmo src/weakTopological.cmo src/chaoticIteration.cmo
- ocamlc.opt -I src -I lib -a -g -o graph.cma graph.cmo
- ocamlopt.opt -c -I src -I lib -for-pack Graph lib/unionfind.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph lib/heap.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph lib/bitv.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph lib/persistentQueue.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/version.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/util.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/blocks.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/persistent.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/imperative.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/delaunay.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/builder.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/classic.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/rand.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/oper.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/components.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/path.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/nonnegative.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/traverse.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/coloring.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/topological.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/kruskal.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/flow.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/prim.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/dominator.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphviz.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/gml.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_parser.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_lexer.ml
- File "src/dot_lexer.mll", line 38, characters 21-37:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/pack.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/gmap.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/minsep.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/cliquetree.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/mcs_m.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/md.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/strat.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/fixpoint.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/leaderlist.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/contraction.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphml.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/merge.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/mincut.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/clique.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/weakTopological.ml
- ocamlopt.opt -c -I src -I lib -for-pack Graph src/chaoticIteration.ml
- ocamlopt.opt -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx lib/persistentQueue.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/components.cmx src/path.cmx src/nonnegative.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/kruskal.cmx src/flow.cmx src/prim.cmx src/dominator.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx src/fixpoint.cmx src/leaderlist.cmx src/contraction.cmx src/graphml.cmx src/merge.cmx src/mincut.cmx src/clique.cmx src/weakTopological.cmx src/chaoticIteration.cmx
- ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx
- ocamlopt.opt -I src -I lib -shared -o graph.cmxs graph.cmx
-> compiled ocamlgraph.1.8.8
Processing 23/25: [ocamlgraph: make install-findlib]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-findlib" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/ocamlgraph.1.8.8)
- ocamlfind install ocamlgraph META \
- src/*.mli view_graph/*.mli dgraph/*.mli \
- graph.a graph.cmo graph.cmi graph.cma \
- graph.o graph.a graph.cmx graph.cmxa graph.cmxs
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.cmxs
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.cmxa
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.cmx
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.a
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.o
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.cma
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.cmi
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.cmo
- ocamlfind: [WARNING] Overwriting file /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.a
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graph.a
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/xDotDraw.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/xDot.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphViewItem.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphView.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphTreeModel.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphTreeLayout.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphSubTree.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphRandModel.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphModel.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dGraphContainer.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/viewGraph_utils.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/viewGraph_select.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/viewGraph_core.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/weakTopological.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/util.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/traverse.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/topological.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/strat.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/sig_pack.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/sig.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/rand.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/prim.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/persistent.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/path.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/pack.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/oper.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/nonnegative.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/minsep.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/mincut.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/merge.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/md.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/mcs_m.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/leaderlist.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/kruskal.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/imperative.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graphviz.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/graphml.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/gml.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/gmap.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/flow.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/fixpoint.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dot_parser.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dot_ast.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dot.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/dominator.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/delaunay.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/contraction.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/components.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/coloring.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/cliquetree.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/clique.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/classic.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/chaoticIteration.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/builder.mli
- Installed /home/opam/.opam/4.03.0/lib/ocamlgraph/META
-> installed ocamlgraph.1.8.8
Processing 24/25: [frama-c-base: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-eux" "./run_autoconf_if_needed.sh" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0)
- + [ ! -f configure ]
Processing 24/25: [frama-c-base: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.03.0" "--disable-gui" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0)
- configure: ******************
- configure: * CONFIGURE MAKE *
- configure: ******************
- checking for make... make
- checking version of make... 4.3
- configure: *****************************
- configure: * CONFIGURE OCAML COMPILERS *
- configure: *****************************
- checking for ocamlc... ocamlc
- checking version of OCaml... 4.03.0
- checking OCaml library path... /home/opam/.opam/4.03.0/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking ocamlopt version and standard library... ok
- checking for ocamlfind... ocamlfind
- configure: Distribution mode: all warnings are deactivated
- configure: *******************************************
- configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
- configure: *******************************************
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- checking for ocamlcp... ocamlcp
- checking for ocamlgraph... found 1.8.8: should work
- checking for zarith... found
- configure: ******************************************
- configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
- configure: ******************************************
- checking for ocamldoc... ocamldoc
- checking for ocamlmktop... ocamlmktop
- checking for otags... no
- checking for Apron... not found. The corresponding domains won't be available in Eva
- checking for Landmarks... not found.
- configure: **********************
- configure: * CONFIGURE PLATFORM *
- configure: **********************
- checking platform... Unix
- checking OCaml native threads... ok.
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking how to run the C preprocessor... gcc -E
- checking for grep that handles long lines and -e... /bin/grep
- checking for egrep... /bin/grep -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking for stdlib.h... (cached) yes
- checking assert.h usability... yes
- checking assert.h presence... yes
- checking for assert.h... yes
- checking float.h usability... yes
- checking float.h presence... yes
- checking for float.h... yes
- checking math.h usability... yes
- checking math.h presence... yes
- checking for math.h... yes
- checking signal.h usability... yes
- checking signal.h presence... yes
- checking for signal.h... yes
- checking for unistd.h... (cached) yes
- checking how to run the C preprocessor... gcc -E
- /* Check whether comments are kept in output */
- Default preprocessor is 'gcc -E -C -I.'.
- Default preprocessor supported architecture-related options: \"-m32\"; \"-m64\"; \"-m16\";
- configure: ***************************
- configure: * WISHED FRAMA-C PLUG-INS *
- configure: ***************************
- checking for src/plugins/callgraph... yes
- callgraph... yes
- checking for src/plugins/constant_propagation... yes
- semantic_constant_folding... yes
- checking for src/plugins/from... yes
- from_analysis... yes
- checking for src/plugins/gui... yes
- gui... no
- checking for src/plugins/impact... yes
- impact... yes
- checking for src/plugins/inout... yes
- inout... yes
- checking for src/plugins/metrics... yes
- metrics... yes
- checking for src/plugins/occurrence... yes
- occurrence... yes
- checking for src/plugins/pdg... yes
- pdg... yes
- checking for src/plugins/postdominators... yes
- postdominators... yes
- checking for src/plugins/rte... yes
- rtegen... yes
- checking for src/plugins/scope... yes
- scope... yes
- checking for src/plugins/slicing... yes
- slicing... yes
- checking for src/plugins/sparecode... yes
- sparecode... yes
- checking for src/plugins/users... yes
- users... yes
- checking for src/plugins/value... yes
- value_analysis... yes
- checking for src/plugins/aorai/Makefile.in... yes
- aorai... yes
- checking for ltl2ba... no
- checking for src/plugins/e-acsl/Makefile.in... yes
- e_acsl... yes
- checking for uname... uname
- checking stdio.h usability... yes
- checking stdio.h presence... yes
- checking for stdio.h... yes
- checking for doxygen... no
- checking for dot... no
- configure: creating ./config.status
- config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
- config.status: executing default commands
- configure: Configure libjemalloc
- autoconf
- ./configure --enable-autogen --with-jemalloc-prefix=__e_acsl_native_ --with-private-namespace=__e_acsl_hidden_
- checking for xsltproc... false
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking whether compiler supports -std=gnu99... yes
- checking whether compiler supports -Wall... yes
- checking whether compiler supports -Werror=declaration-after-statement... yes
- checking whether compiler supports -Wshorten-64-to-32... no
- checking whether compiler supports -Wsign-compare... yes
- checking whether compiler supports -pipe... yes
- checking whether compiler supports -g3... yes
- checking how to run the C preprocessor...
- gcc -E
- checking for grep that handles long lines and -e... /bin/grep
- checking for egrep... /bin/grep -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking whether byte ordering is bigendian... no
- checking size of void *... 8
- checking size of int... 4
- checking size of long... 8
- checking size of long long...
- 8
- checking size of intmax_t... 8
- checking build system type... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking whether pause instruction is compilable... yes
- checking for ar... ar
- checking malloc.h usability... yes
- checking malloc.h presence... yes
- checking for malloc.h... yes
- checking whether malloc_usable_size definition can use const argument... no
- checking whether __attribute__ syntax is compilable... yes
- checking whether compiler supports -fvisibility=hidden... yes
- checking whether compiler supports -Werror... yes
- checking whether tls_model attribute is compilable... yes
- checking whether compiler supports -Werror... yes
- checking whether alloc_size attribute is compilable... yes
- checking whether compiler supports -Werror... yes
- checking whether format(gnu_printf, ...) attribute is compilable... yes
- checking whether compiler supports -Werror... yes
- checking whether format(printf, ...) attribute is compilable... yes
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for ranlib... ranlib
- checking for ld... /usr/bin/ld
- checking for autoconf... /usr/bin/autoconf
- checking for memalign... yes
- checking for valloc... yes
- checking whether compiler supports -O3... yes
- checking whether compiler supports -funroll-loops... yes
- checking configured backtracing method... N/A
- checking for sbrk... yes
- checking whether utrace(2) is compilable... no
- checking whether valgrind is compilable... no
- checking whether a program using __builtin_ffsl is compilable... yes
- checking LG_PAGE... 12
- Missing VERSION file, and unable to generate it; creating bogus VERSION
- checking pthread.h usability... yes
- checking pthread.h presence... yes
- checking for pthread.h... yes
- checking for pthread_create in -lpthread... yes
- checking for library containing clock_gettime... none required
- checking for secure_getenv... yes
- checking for issetugid... no
- checking for _malloc_thread_cleanup... no
- checking for _pthread_mutex_init_calloc_cb... no
- checking for TLS... yes
- checking whether C11 atomics is compilable... no
- checking whether atomic(9) is compilable... no
- checking whether Darwin OSAtomic*() is compilable... no
- checking whether madvise(2) is compilable... yes
- checking whether to force 32-bit __sync_{add,sub}_and_fetch()... no
- checking whether to force 64-bit __sync_{add,sub}_and_fetch()... no
- checking for __builtin_clz... yes
- checking whether Darwin OSSpin*() is compilable... no
- checking whether glibc malloc hook is compilable... yes
- checking whether glibc memalign hook is compilable...
- yes
- checking whether pthreads adaptive mutexes is compilable... yes
- checking for stdbool.h that conforms to C99... yes
- checking for _Bool... yes
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating jemalloc.pc
- config.status: creating doc/html.xsl
- config.status: creating doc/manpages.xsl
- config.status: creating doc/jemalloc.xml
- config.status: creating include/jemalloc/jemalloc_macros.h
- config.status: creating include/jemalloc/jemalloc_protos.h
- config.status: creating include/jemalloc/jemalloc_typedefs.h
- config.status: creating include/jemalloc/internal/jemalloc_internal.h
- config.status: creating test/test.sh
- config.status: creating test/include/test/jemalloc_test.h
- config.status: creating config.stamp
- config.status: creating bin/jemalloc-config
- config.status: creating bin/jemalloc.sh
- config.status: creating bin/jeprof
- config.status: creating include/jemalloc/jemalloc_defs.h
- config.status: creating include/jemalloc/internal/jemalloc_internal_defs.h
- config.status: creating test/include/test/jemalloc_test_defs.h
- config.status: executing include/jemalloc/internal/private_namespace.h commands
- config.status: executing include/jemalloc/internal/private_unnamespace.h commands
- config.status: executing include/jemalloc/internal/public_symbols.txt commands
- config.status: executing include/jemalloc/internal/public_namespace.h commands
- config.status: executing include/jemalloc/internal/public_unnamespace.h commands
- config.status: executing include/jemalloc/internal/size_classes.h commands
- config.status: executing include/jemalloc/jemalloc_protos_jet.h commands
- config.status: executing include/jemalloc/jemalloc_rename.h commands
- config.status: executing include/jemalloc/jemalloc_mangle.h commands
- config.status: executing include/jemalloc/jemalloc_mangle_jet.h commands
- config.status: executing include/jemalloc/jemalloc.h commands
- checking for src/plugins/loop_analysis/Makefile.in... yes
- loop_analysis... yes
- checking for src/plugins/nonterm/Makefile.in... yes
- nonterm... yes
- checking for src/plugins/obfuscator/Makefile.in... yes
- obfuscator... yes
- checking for src/plugins/print_api... yes
- print_api... yes
- checking for src/plugins/report/Makefile.in... yes
- report... yes
- checking for src/plugins/security_slicing/Makefile.in... yes
- security_slicing... yes
- checking for src/plugins/variadic/Makefile.in... yes
- variadic... yes
- checking for src/plugins/wp/Makefile.in... yes
- wp... yes
- configure: *******************************************************
- configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
- configure: *******************************************************
- ocamlfind: Package `lablgtk2' not found
- Ocamlfind -> using +lablgtk2.(,/home/opam/.opam/4.03.0/lib/ocaml/lablgtk2)
- checking for /home/opam/.opam/4.03.0/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... no
- checking for /home/opam/.opam/4.03.0/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... no
- checking for /home/opam/.opam/4.03.0/lib/ocaml/lablgtk2/lablgtk.cmxa... no
- checking for dot... no
- native dynlink works fine. Great.
- configure: *************************************
- configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
- configure: *************************************
- configure: WARNING: ltl2ba not found.
- configure: WARNING: aorai partially enabled because ltl2ba missing.
- checking for coqc... no
- configure: rerun configure to make wp using coq 8.5
- configure: WARNING: lablgtksourceview2.cmxa not found
- configure: WARNING: lablgnomecanvas.cmxa not found
- configure: WARNING: /home/opam/.opam/4.03.0/lib/ocaml/lablgtk2/lablgtk.cmxa not found.
- configure: WARNING: dot not found: you should install GraphViz
- configure: WARNING: callgraph partially enabled because dot missing.
- configure: WARNING: callgraph partially enabled because gui not enabled.
- configure: WARNING: security_slicing disabled because gui not enabled.
- configure: WARNING: impact only partially enabled because gui not enabled.
- configure: WARNING: metrics only partially enabled because gui not enabled.
- configure: WARNING: occurrence only partially enabled because gui not enabled.
- configure: WARNING: scope only partially enabled because gui not enabled.
- configure: WARNING: slicing only partially enabled because gui not enabled.
- configure: WARNING: value_analysis only partially enabled because gui not enabled.
- configure: WARNING: wp only partially enabled because gui not enabled.
- configure: *********************
- configure: * CREATING MAKEFILE *
- configure: *********************
- configure: creating ./config.status
- config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
- config.status: creating src/plugins/e-acsl/Makefile
- config.status: creating src/plugins/loop_analysis/Makefile
- config.status: creating src/plugins/nonterm/Makefile
- config.status: creating src/plugins/obfuscator/Makefile
- config.status: creating src/plugins/report/Makefile
- config.status: creating src/plugins/variadic/Makefile
- config.status: creating src/plugins/aorai/Makefile
- config.status: creating src/plugins/security_slicing/Makefile
- config.status: creating src/plugins/wp/Makefile
- config.status: creating share/Makefile.config
- config.status: executing default commands
- configure: *******************************
- configure: * SUMMARY: PLUG-INS AVAILABLE *
- configure: *******************************
- configure: callgraph: partial, dynamic, gui not enabled
- configure: semantic_constant_folding: yes, dynamic
- configure: from_analysis: yes, dynamic
- configure: gui: no
- configure: impact: partial, dynamic, gui not enabled
- configure: inout: yes, dynamic
- configure: metrics: partial, dynamic, gui not enabled
- configure: occurrence: partial, dynamic, gui not enabled
- configure: pdg: yes, dynamic
- configure: postdominators: yes, dynamic
- configure: rtegen: yes, dynamic
- configure: scope: partial, dynamic, gui not enabled
- configure: slicing: partial, dynamic, gui not enabled
- configure: sparecode: yes, dynamic
- configure: users: yes, dynamic
- configure: value_analysis: partial, dynamic, gui not enabled
- configure: aorai: partial, dynamic, ltl2ba missing
- configure: e_acsl: yes, dynamic
- configure: loop_analysis: yes, dynamic
- configure: nonterm: yes, dynamic
- configure: obfuscator: yes, dynamic
- configure: print_api: yes, dynamic
- configure: report: yes, dynamic
- configure: security_slicing: no, gui not enabled
- configure: variadic: yes, dynamic
- configure: wp: partial, dynamic, gui not enabled
Processing 24/25: [frama-c-base: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j31" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0)
- Ocamllex src/libraries/utils/json.ml
- Ocamllex src/kernel_internals/parsing/clexer.ml
- Ocamlyacc src/kernel_internals/parsing/cparser.ml
- Ocamllex src/kernel_internals/parsing/logic_lexer.ml
- Ocamlyacc src/kernel_internals/parsing/logic_parser.ml
- Ocamllex src/kernel_internals/parsing/logic_preprocess.ml
- 36 states, 360 transitions, table size 1656 bytes
- Generating src/plugins/value/domains/apron/apron_domain.ml
- Generating share/frama-c.rc
- Generating share/Makefile.dynamic_config
- Generating share/Makefile.kernel
- 136 states, 558 transitions, table size 3048 bytes
- 2127 additional bytes used for bindings
- Generating src/plugins/wp/.Makefile.plugin.generated
- Generating src/plugins/variadic/.Makefile.plugin.generated
- Generating src/plugins/security_slicing/.Makefile.plugin.generated
- Generating src/plugins/report/.Makefile.plugin.generated
- Generating src/plugins/print_api/.Makefile.plugin.generated
- Generating src/plugins/obfuscator/.Makefile.plugin.generated
- Generating src/plugins/nonterm/.Makefile.plugin.generated
- 148 states, 1842 transitions, table size 8256 bytes
- 1933 additional bytes used for bindings
- Generating src/plugins/loop_analysis/.Makefile.plugin.generated
- Generating src/kernel_internals/runtime/config.ml
- Generating src/plugins/e-acsl/.Makefile.plugin.generated
- Generating src/plugins/aorai/.Makefile.plugin.generated
- Generating src/plugins/slicing/.Makefile.plugin.generated
- Generating src/plugins/sparecode/.Makefile.plugin.generated
- 381 states, 4411 transitions, table size 19930 bytes
- 3329 additional bytes used for bindings
- Generating src/plugins/scope/.Makefile.plugin.generated
- Generating src/plugins/pdg/.Makefile.plugin.generated
- Generating src/plugins/impact/.Makefile.plugin.generated
- Generating src/plugins/postdominators/.Makefile.plugin.generated
- Generating src/plugins/inout/.Makefile.plugin.generated
- Generating src/plugins/constant_propagation/.Makefile.plugin.generated
- Generating src/plugins/users/.Makefile.plugin.generated
- Generating src/plugins/from/.Makefile.plugin.generated
- Generating src/plugins/rte/.Makefile.plugin.generated
- Generating src/plugins/occurrence/.Makefile.plugin.generated
- Generating src/plugins/value/.Makefile.plugin.generated
- Generating src/plugins/callgraph/.Makefile.plugin.generated
- Generating src/plugins/metrics/.Makefile.plugin.generated
- Generating src/kernel_internals/runtime/frama_c_config.ml
- Generating .depend
- Ocamllex src/plugins/wp/script.ml
- Ocamllex src/plugins/wp/rformat.ml
- Ocamllex src/plugins/wp/driver.ml
- Ocamllex src/plugins/wp/why3_xml.ml
- Ocamllex src/plugins/wp/qed/src/numbers.ml
- 31 states, 1109 transitions, table size 4622 bytes
- 4393 additional bytes used for bindings
- 105 states, 2064 transitions, table size 8886 bytes
- 2265 additional bytes used for bindings
- 57 states, 826 transitions, table size 3646 bytes
- 114 states, 1396 transitions, table size 6268 bytes
- 3538 additional bytes used for bindings
- 53 states, 1709 transitions, table size 7154 bytes
- 4689 additional bytes used for bindings
- Generating src/plugins/wp/Wp.mli
- Ocamlyacc src/plugins/print_api/grammar.ml
- Ocamllex src/plugins/print_api/lexer.ml
- Generating src/plugins/e-acsl/local_config.ml
- Ocamllex src/plugins/aorai/promelalexer_withexps.ml
- 8 states, 264 transitions, table size 1104 bytes
- Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml
- Ocamllex src/plugins/aorai/promelalexer.ml
- Ocamlyacc src/plugins/aorai/promelaparser.ml
- Ocamllex src/plugins/aorai/ltllexer.ml
- 4 shift/reduce conflicts.
- Ocamlyacc src/plugins/aorai/ltlparser.ml
- Ocamllex src/plugins/aorai/yalexer.ml
- 7 shift/reduce conflicts.
- Ocamlyacc src/plugins/aorai/yaparser.ml
- 100 states, 4420 transitions, table size 18280 bytes
- 85 states, 4392 transitions, table size 18078 bytes
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Metrics.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Callgraph.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Value.mli
- 82 states, 3369 transitions, table size 13968 bytes
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Occurrence.mli
- 73 states, 2302 transitions, table size 9646 bytes
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/RteGen.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/From.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Users.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Constant_Propagation.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Postdominators.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Inout.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Impact.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Pdg.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Scope.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Sparecode.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Slicing.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Aorai.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/E_ACSL.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/LoopAnalysis.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Nonterm.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Obfuscator.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Print_api.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Report.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Variadic.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Wp.mli
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.mli
- Ocamldep src/plugins/variadic/.depend
- Ocamldep src/plugins/report/.depend
- Ocamldep src/plugins/print_api/.depend
- Ocamldep src/plugins/obfuscator/.depend
- Ocamldep src/plugins/nonterm/.depend
- Ocamldep src/plugins/loop_analysis/.depend
- Ocamldep src/plugins/e-acsl/.depend
- Ocamldep src/plugins/aorai/.depend
- Ocamldep src/plugins/slicing/.depend
- Ocamldep src/plugins/sparecode/.depend
- Ocamldep src/plugins/scope/.depend
- Ocamldep src/plugins/pdg/.depend
- Ocamldep src/plugins/impact/.depend
- Ocamldep src/plugins/inout/.depend
- Ocamldep src/plugins/postdominators/.depend
- Ocamldep src/plugins/constant_propagation/.depend
- Ocamldep src/plugins/users/.depend
- Ocamldep src/plugins/from/.depend
- Ocamldep src/plugins/rte/.depend
- Ocamldep src/plugins/occurrence/.depend
- Ocamldep src/plugins/value/.depend
- Ocamldep src/plugins/callgraph/.depend
- Ocamldep src/plugins/metrics/.depend
- Ocamldep src/plugins/wp/.depend
- Generating META.frama-c-aorai
- Ocamlc src/plugins/aorai/bool3.cmi
- Ocamlc src/libraries/datatype/unmarshal.cmi
- Ocamlc src/libraries/stdlib/FCSet.cmi
- Ocamlc src/libraries/utils/pretty_utils.cmi
- Ocamlc src/libraries/stdlib/FCMap.cmi
- Ocamlc src/libraries/stdlib/FCHashtbl.cmi
- Ocamlc src/libraries/stdlib/extlib.cmi
- Ocamlc src/plugins/aorai/ltlast.cmi
- Ocamlc src/libraries/utils/wto.cmi
- Ocamlc src/plugins/aorai/aorai_dataflow.cmi
- Ocamlc src/libraries/utils/filepath.cmi
- Ocamlc src/libraries/utils/escape.cmi
- Ocamlc src/libraries/utils/hook.cmi
- Ocamlc src/plugins/value_types/cilE.cmi
- Ocamlopt src/plugins/aorai/bool3.cmx
- Ocamlopt src/libraries/datatype/unmarshal.cmx
- Ocamlc src/libraries/stdlib/transitioning.cmi
- Ocamlopt src/libraries/stdlib/FCSet.cmx
- Ocamlc src/libraries/stdlib/FCBuffer.cmi
- Ocamlc src/kernel_internals/runtime/config.cmi
- Ocamlopt src/libraries/stdlib/FCMap.cmx
- Ocamlc src/libraries/utils/qstack.cmi
- Ocamlc src/libraries/utils/binary_cache.cmi
- Ocamlc src/libraries/utils/utf8_logic.cmi
- Ocamlopt src/libraries/utils/escape.cmx
- Ocamlc src/kernel_internals/typing/alpha.cmi
- Ocamlc src/kernel_internals/parsing/errorloc.cmi
- Ocamlopt src/libraries/utils/wto.cmx
- Ocamlc src/libraries/utils/bitvector.cmi
- Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi
- Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi
- Ocamlc src/libraries/utils/unicode.cmi
- Generating ptests/ptests_config.ml
- Generating tests/ptests_config
- Generating src/plugins/e-acsl/tests/ptests_config
- Generating src/plugins/report/tests/ptests_config
- Generating src/plugins/wp/tests/ptests_config
- Ocamlc src/plugins/aorai/bool3.cmo
- Ocamlc src/libraries/datatype/structural_descr.cmi
- Ocamlc src/kernel_services/plugin_entry_points/log.cmi
- Ocamlc src/libraries/stdlib/integer.cmi
- Ocamlc src/plugins/aorai/ltl_output.cmi
- Ocamlopt src/libraries/stdlib/transitioning.cmx
- Ocamlopt src/libraries/stdlib/FCBuffer.cmx
- Ocamlopt src/libraries/utils/hook.cmx
- Ocamlopt src/libraries/utils/qstack.cmx
- Ocamlopt src/libraries/utils/utf8_logic.cmx
- Ocamlopt src/libraries/utils/bitvector.cmx
- Linking bin/ptests.opt
- Ocamlc src/libraries/datatype/type.cmi
- Ocamlc src/plugins/aorai/ltl_output.cmo
- Ocamlopt src/plugins/aorai/ltl_output.cmx
- Ocamlc src/kernel_services/ast_data/cil_types.cmi
- Ocamlopt src/libraries/stdlib/integer.cmx
- Ocamlc src/libraries/project/project_skeleton.cmi
- Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi
- Ocamlopt src/libraries/stdlib/extlib.cmx
- Ocamlopt src/libraries/stdlib/FCHashtbl.cmx
- Ocamlc src/libraries/datatype/descr.cmi
- Ocamlc src/kernel_services/plugin_entry_points/journal.cmi
- Ocamlopt src/libraries/datatype/structural_descr.cmx
- Ocamlc src/libraries/datatype/datatype.cmi
- Ocamlc src/kernel_services/parsetree/logic_ptree.cmi
- Ocamlc src/kernel_services/ast_printing/printer_api.cmi
- Ocamlc src/kernel_internals/typing/cfg.cmi
- Ocamlc src/libraries/utils/floating_point.cmi
- Ocamlc src/kernel_internals/runtime/machdeps.cmi
- Ocamlc src/kernel_services/ast_queries/ast_info.cmi
- Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi
- Ocamlc src/kernel_services/analysis/ordered_stmt.cmi
- Ocamlc src/kernel_services/analysis/undefined_sequence.cmi
- Ocamlc src/kernel_internals/typing/rmtmps.cmi
- Ocamlc src/kernel_internals/typing/oneret.cmi
- Ocamlc src/kernel_internals/typing/mergecil.cmi
- Ocamlc src/kernel_internals/typing/logic_builtin.cmi
- Ocamlopt src/libraries/datatype/type.cmx
- Ocamlopt src/libraries/utils/pretty_utils.cmx
- Ocamlopt src/libraries/utils/filepath.cmx
- Ocamlopt src/kernel_internals/runtime/machdeps.cmx
- Ocamlopt src/plugins/value_types/cilE.cmx
- Ocamlc src/kernel_services/parsetree/cabs.cmo
- Ocamlc src/plugins/aorai/promelaast.cmi
- Ocamlc src/kernel_internals/parsing/logic_parser.cmi
- Ocamlc src/kernel_services/ast_printing/logic_print.cmi
- Ocamlc src/kernel_internals/parsing/logic_lexer.cmi
- Ocamlc src/plugins/aorai/promelaoutput.cmi
- Ocamlc src/plugins/aorai/logic_simplification.cmi
- Ocamlc src/plugins/aorai/ltlparser.cmi
- Ocamlc src/plugins/aorai/yaparser.cmi
- Ocamlc src/plugins/aorai/promelaparser.cmi
- Ocamlc src/plugins/aorai/promelaparser_withexps.cmi
- Ocamlc src/kernel_internals/parsing/cparser.cmi
- Ocamlc src/kernel_services/ast_printing/cprint.cmi
- Ocamlc src/kernel_internals/typing/frontc.cmi
- Ocamlopt src/kernel_services/parsetree/cabs.cmx
- Ocamlc src/plugins/aorai/ltlparser.cmo
- Ocamlc src/plugins/aorai/ltllexer.cmo
- Ocamlc src/plugins/aorai/yalexer.cmo
- Ocamlopt src/plugins/aorai/ltlparser.cmx
- Ocamlc src/kernel_internals/parsing/clexer.cmi
- Ocamlopt src/kernel_services/plugin_entry_points/log.cmx
- Ocamlopt src/kernel_internals/runtime/config.cmx
- Ocamlc src/kernel_services/ast_printing/printer.cmi
- Ocamlc src/kernel_services/ast_printing/printer_builder.cmi
- Ocamlc src/kernel_services/ast_printing/cil_printer.cmi
- Ocamlopt src/plugins/aorai/ltllexer.cmx
- Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx
- Ocamlc src/libraries/project/state.cmi
- Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi
- Ocamlc src/kernel_services/ast_queries/logic_typing.cmi
- Ocamlc src/kernel_services/analysis/wto_statement.cmi
- Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi
- Ocamlc src/kernel_services/abstract_interp/int_Base.cmi
- Ocamlc src/libraries/utils/rangemap.cmi
- Ocamlopt src/libraries/datatype/descr.cmx
- Ocamlc src/kernel_services/analysis/dataflow2.cmi
- Ocamlc src/libraries/project/state_selection.cmi
- Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi
- Ocamlc src/libraries/utils/hptmap_sig.cmi
- Ocamlc src/kernel_services/ast_data/ast.cmi
- Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi
- Ocamlc src/kernel_services/ast_data/property.cmi
- Ocamlc src/libraries/project/state_dependency_graph.cmi
- Ocamlc src/libraries/project/state_topological.cmi
- Ocamlc src/kernel_services/parsetree/cabshelper.cmi
- Ocamlc src/kernel_services/abstract_interp/origin.cmi
- Ocamlc src/kernel_services/abstract_interp/bottom.cmi
- Ocamlc src/kernel_services/ast_data/globals.cmi
- Ocamlc src/libraries/project/project.cmi
- Ocamlc src/libraries/utils/hptmap.cmi
- Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
- Ocamlc src/libraries/project/state_builder.cmi
- Ocamlc src/libraries/utils/hptset.cmi
- Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi
- Ocamlc src/kernel_services/ast_queries/logic_env.cmi
- Ocamlc src/kernel_services/ast_queries/cil_const.cmi
- Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi
- Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi
- Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi
- Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx
- Ocamlc src/kernel_services/ast_data/annotations.cmi
- Ocamlc src/kernel_services/ast_data/property_status.cmi
- Ocamlc src/kernel_services/ast_data/alarms.cmi
- Ocamlc src/kernel_services/abstract_interp/fval.cmi
- Ocamlc src/kernel_services/analysis/bit_utils.cmi
- Ocamlc src/kernel_services/abstract_interp/ival.cmi
- Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi
- Ocamlc src/kernel_services/abstract_interp/base.cmi
- Ocamlopt src/libraries/project/project_skeleton.cmx
- Ocamlopt src/libraries/utils/binary_cache.cmx
- Ocamlopt src/libraries/datatype/datatype.cmx
- Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi
- Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
- Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi
- Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi
- Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi
- Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi
- Ocamlc src/kernel_services/ast_data/kernel_function.cmi
- Ocamlc src/kernel_services/ast_queries/cil.cmi
- Ocamlc src/kernel_services/ast_queries/logic_const.cmi
- Ocamlc src/kernel_internals/typing/cabs2cil.cmi
- Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi
- Ocamlc src/kernel_services/abstract_interp/locations.cmi
- Ocamlc src/plugins/aorai/data_for_aorai.cmi
- Ocamlc src/plugins/value_types/precise_locs.cmi
- Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi
- Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi
- Ocamlc src/plugins/pdg_types/pdgIndex.cmi
- Ocamlc src/plugins/value_types/inout_type.cmi
- Ocamlc src/plugins/value_types/cvalue.cmi
- Ocamlc src/kernel_services/abstract_interp/lmap.cmi
- Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi
- Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi
- Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi
- Ocamlc src/kernel_services/ast_queries/logic_utils.cmi
- Ocamlc src/kernel_services/visitors/visitor.cmi
- Ocamlc src/plugins/value_types/function_Froms.cmi
- Ocamlc src/plugins/pdg_types/pdgTypes.cmi
- Ocamlc src/kernel_services/visitors/cabsvisit.cmi
- Ocamlc src/plugins/aorai/aorai_utils.cmi
- Ocamlc src/plugins/value_types/value_types.cmi
- Ocamlc src/kernel_services/ast_queries/filecheck.cmi
- Ocamlc src/kernel_services/ast_queries/file.cmi
- Ocamlc src/plugins/pdg_types/pdgMarks.cmi
- Ocamlc src/plugins/slicing_types/slicingInternals.cmo
- Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi
- Ocamlc src/plugins/aorai/aorai_option.cmi
- Ocamlc src/plugins/aorai/path_analysis.cmo
- Ocamlc src/plugins/aorai/promelaoutput.cmo
- Ocamlc src/plugins/aorai/logic_simplification.cmo
- Ocamlc src/plugins/aorai/utils_parser.cmo
- Ocamlc src/plugins/aorai/yaparser.cmo
- Ocamlc src/plugins/aorai/promelaparser.cmo
- Ocamlc src/plugins/aorai/promelalexer.cmo
- Ocamlc src/plugins/aorai/promelaparser_withexps.cmo
- Ocamlc src/plugins/aorai/promelalexer_withexps.cmo
- Ocamlc src/plugins/aorai/aorai_option.cmo
- Ocamlc src/kernel_internals/parsing/lexerhack.cmo
- Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo
- Ocamlc src/plugins/aorai/data_for_aorai.cmo
- Ocamlc src/plugins/aorai/aorai_utils.cmo
- Ocamlc src/plugins/aorai/aorai_dataflow.cmo
- Ocamlc src/plugins/aorai/aorai_visitors.cmo
- Ocamlc src/plugins/slicing_types/slicingTypes.cmo
- Ocamlc src/kernel_services/plugin_entry_points/db.cmi
- Ocamlopt src/libraries/project/state.cmx
- Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx
- Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx
- Ocamlopt src/libraries/utils/rangemap.cmx
- Ocamlopt src/kernel_services/abstract_interp/bottom.cmx
- Ocamlopt src/libraries/project/state_dependency_graph.cmx
- Ocamlopt src/libraries/project/state_topological.cmx
- Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx
- Ocamlc src/plugins/aorai/aorai_register.cmo
- Ocamlopt src/libraries/project/state_selection.cmx
- Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx
- Ocamlopt src/libraries/project/project.cmx
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Aorai.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmo
- Generating META.frama-c-e_acsl
- Ocamlc src/plugins/e-acsl/local_config.cmi
- Ocamlc src/plugins/e-acsl/options.cmi
- Ocamlc src/plugins/e-acsl/rte.cmi
- Ocamlc src/plugins/e-acsl/error.cmi
- Ocamlc src/plugins/e-acsl/builtins.cmi
- Ocamlc src/plugins/e-acsl/misc.cmi
- Ocamlc src/plugins/e-acsl/gmpz.cmi
- Ocamlc src/plugins/e-acsl/literal_strings.cmi
- Ocamlc src/kernel_services/analysis/stmts_graph.cmi
- Ocamlc src/kernel_services/analysis/dataflow.cmi
- Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi
- Ocamlc src/plugins/e-acsl/prepare_ast.cmi
- Ocamlc src/plugins/e-acsl/dup_functions.cmi
- Ocamlc src/plugins/e-acsl/exit_points.cmi
- Ocamlc src/plugins/e-acsl/label.cmi
- Ocamlc src/plugins/e-acsl/interval.cmi
- Ocamlc src/plugins/e-acsl/typing.cmi
- Ocamlc src/plugins/e-acsl/visit.cmi
- Ocamlc src/plugins/e-acsl/local_config.cmo
- Ocamlc src/plugins/e-acsl/literal_strings.cmo
- Ocamlc src/plugins/e-acsl/label.cmo
- Ocamlc src/plugins/e-acsl/options.cmo
- Ocamlc src/plugins/e-acsl/rte.cmo
- Ocamlc src/plugins/e-acsl/error.cmo
- Ocamlc src/plugins/e-acsl/builtins.cmo
- Ocamlc src/plugins/e-acsl/prepare_ast.cmo
- Ocamlc src/plugins/e-acsl/interval.cmo
- Ocamlc src/plugins/e-acsl/typing.cmo
- Ocamlopt src/libraries/project/state_builder.cmx
- Ocamlc src/plugins/e-acsl/misc.cmo
- Ocamlc src/plugins/e-acsl/gmpz.cmo
- Ocamlc src/plugins/e-acsl/dup_functions.cmo
- Ocamlc src/plugins/e-acsl/env.cmi
- Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo
- Ocamlc src/plugins/e-acsl/exit_points.cmo
- Ocamlc src/plugins/e-acsl/env.cmo
- Ocamlc src/plugins/e-acsl/quantif.cmi
- Ocamlc src/plugins/e-acsl/translate.cmi
- Ocamlc src/plugins/e-acsl/loops.cmi
- Ocamlc src/plugins/e-acsl/quantif.cmo
- Ocamlc src/plugins/e-acsl/translate.cmo
- Ocamlc src/plugins/e-acsl/loops.cmo
- Ocamlc src/plugins/e-acsl/visit.cmo
- Ocamlc src/plugins/e-acsl/main.cmo
- Ocamlopt src/libraries/utils/hptmap.cmx
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/E_ACSL.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmo
- Generating META.frama-c-loopanalysis
- Ocamlc src/plugins/loop_analysis/options.cmi
- Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo
- Ocamlc src/kernel_services/analysis/dominators.cmi
- Ocamlc src/kernel_services/analysis/dataflows.cmi
- Ocamlc src/plugins/loop_analysis/loop_analysis.cmi
- Ocamlc src/kernel_services/analysis/loop.cmi
- Ocamlc src/plugins/loop_analysis/region_analysis.cmi
- Ocamlc src/plugins/loop_analysis/region_analysis.cmo
- Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi
- Ocamlc src/plugins/loop_analysis/options.cmo
- Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo
- Ocamlc src/plugins/loop_analysis/loop_analysis.cmo
- Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo
- Ocamlopt src/libraries/utils/hptset.cmx
- Ocamlc src/plugins/loop_analysis/register.cmo
- Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/LoopAnalysis.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmo
- Generating META.frama-c-nonterm
- Ocamlc src/plugins/nonterm/nonterm_run.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Nonterm.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmo
- Generating META.frama-c-obfuscator
- Ocamlc src/plugins/obfuscator/options.cmi
- Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi
- Ocamlc src/plugins/obfuscator/obfuscate.cmi
- Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo
- Ocamlc src/plugins/obfuscator/dictionary.cmi
- Ocamlc src/plugins/obfuscator/dictionary.cmo
- Ocamlc src/plugins/obfuscator/options.cmo
- Ocamlc src/plugins/obfuscator/obfuscate.cmo
- Ocamlc src/plugins/obfuscator/obfuscator_register.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Obfuscator.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmo
- Generating META.frama-c-print_api
- Ocamlc src/plugins/print_api/grammar.cmi
- Ocamlc src/plugins/print_api/grammar.cmo
- Ocamlc src/plugins/print_api/lexer.cmo
- Ocamlc src/plugins/print_api/print_interface.cmo
- Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx
- Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx
- Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Print_api.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmo
- Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx
- Generating META.frama-c-report
- Ocamlc src/plugins/report/report_parameters.cmi
- Ocamlc src/plugins/report/scan.cmi
- Ocamlc src/kernel_services/ast_printing/description.cmi
- Ocamlc src/plugins/report/csv.cmi
- Ocamlc src/plugins/report/register.cmi
- Ocamlc src/plugins/report/dump.cmi
- Ocamlc src/plugins/report/report_parameters.cmo
- Ocamlc src/plugins/report/scan.cmo
- Ocamlc src/plugins/report/dump.cmo
- Ocamlc src/plugins/report/csv.cmo
- Ocamlc src/plugins/report/register.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Report.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmo
- Generating META.frama-c-variadic
- Ocamlc src/plugins/variadic/options.cmi
- Ocamlc src/plugins/variadic/extends.cmi
- Ocamlc src/plugins/variadic/va_build.cmo
- Ocamlc src/plugins/variadic/environment.cmo
- Ocamlc src/plugins/variadic/format_types.cmi
- Ocamlc src/plugins/variadic/format_pprint.cmi
- Ocamlc src/plugins/variadic/format_typer.cmi
- Ocamlc src/plugins/variadic/format_parser.cmi
- Ocamlc src/plugins/variadic/va_types.cmi
- Ocamlc src/plugins/variadic/options.cmo
- Ocamlc src/plugins/variadic/format_parser.cmo
- Ocamlc src/plugins/variadic/extends.cmo
- Ocamlc src/plugins/variadic/format_pprint.cmo
- Ocamlc src/plugins/variadic/format_typer.cmo
- Ocamlc src/plugins/variadic/generic.cmo
- Ocamlc src/plugins/variadic/standard.cmo
- Ocamlc src/plugins/variadic/classify.cmo
- Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx
- Ocamlc src/plugins/variadic/translate.cmo
- Ocamlc src/plugins/variadic/register.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Variadic.cmi
- Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmo
- Generating META.frama-c-wp
- Ocamlc src/plugins/wp/rformat.cmi
- Ocamlc src/plugins/wp/wprop.cmi
- Ocamlc src/libraries/utils/command.cmi
- Ocamlc src/plugins/wp/wp_parameters.cmi
- Ocamlc src/plugins/wp/wp_error.cmi
- Ocamlc src/plugins/wp/dyncall.cmi
- Compiling Qed (byte)
- Ocamlc src/plugins/wp/clabels.cmi
- Ocamlc src/plugins/wp/Separation.cmi
- Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi
- Ocamlc src/plugins/wp/normAtLabels.cmi
- Ocamlc src/libraries/utils/bag.cmi
- Ocamlc src/plugins/wp/Context.cmi
- Ocamlc src/plugins/wp/Warning.cmi
- Ocamlc src/plugins/wp/VCS.cmi
- Ocamlc src/plugins/wp/script.cmi
- Ocamlc src/plugins/wp/wpReport.cmi
- Ocamlc src/libraries/utils/vector.cmi
- Ocamlc src/libraries/utils/json.cmi
- Ocamlc src/plugins/wp/why3_xml.cmi
- Ocamlc src/libraries/utils/task.cmi
- Ocamlc src/plugins/wp/rformat.cmo
- Ocamlc src/plugins/wp/Separation.cmo
- Ocamlc src/plugins/wp/Model.cmi
- Ocamlc src/plugins/wp/wp_error.cmo
- Ocamlc src/plugins/wp/LogicUsage.cmi
- Ocamlc src/plugins/wp/cil2cfg.cmi
- Ocamlc src/plugins/wp/script.cmo
- Ocamlc src/plugins/wp/why3_xml.cmo
- Ocamlc src/plugins/wp/ProverTask.cmi
- Ocamlc src/plugins/wp/wprop.cmo
- Ocamlc src/plugins/wp/wpRTE.cmi
- Ocamlc src/plugins/wp/wp_parameters.cmo
- Ocamlc src/plugins/wp/cil2cfg.cmo
- Ocamlc src/plugins/wp/dyncall.cmo
- Ocamlc src/plugins/wp/normAtLabels.cmo
- Ocamlc src/plugins/wp/Context.cmo
- Ocamlc src/plugins/wp/Warning.cmo
- Ocamlc src/plugins/wp/Model.cmo
- Ocamlc src/plugins/wp/VCS.cmo
- Ocamlc src/plugins/wp/LogicUsage.cmo
- Ocamlc src/plugins/wp/wpPropId.cmi
- Ocamlc src/plugins/wp/mcfg.cmo
- Ocamlc src/plugins/wp/wpStrategy.cmi
- Ocamlc src/plugins/wp/proof.cmi
- Ocamlc src/plugins/wp/proof.cmo
- Ocamlc src/plugins/wp/ProverTask.cmo
- Ocamlc src/plugins/wp/wpStrategy.cmo
- Ocamlc src/plugins/wp/wpAnnot.cmi
- Ocamlc src/plugins/wp/calculus.cmi
- Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx
- Ocamlopt src/kernel_services/ast_queries/cil_const.cmx
- Ocamlopt src/libraries/utils/floating_point.cmx
- Ocamlopt src/kernel_internals/typing/alpha.cmx
- Ocamlopt src/kernel_internals/parsing/errorloc.cmx
- Ocamlopt src/kernel_internals/parsing/lexerhack.cmx
- Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx
- Ocamlopt src/libraries/utils/unicode.cmx
- Ocamlc src/plugins/wp/calculus.cmo
- Ocamlc src/plugins/wp/wpAnnot.cmo
- Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx
- Ocamlopt src/kernel_services/ast_queries/logic_env.cmx
- Ocamlopt src/plugins/aorai/aorai_option.cmx
- Ocamlopt src/plugins/aorai/path_analysis.cmx
- Ocamlc src/plugins/wp/ctypes.cmi
- Ocamlc src/plugins/wp/RefUsage.cmi
- Ocamlc src/plugins/wp/Splitter.cmi
- Ocamlopt src/kernel_services/ast_queries/logic_const.cmx
- Ocamlc src/plugins/wp/ctypes.cmo
- Ocamlc src/plugins/wp/clabels.cmo
- Ocamlc src/plugins/wp/RefUsage.cmo
- Ocamlc src/plugins/wp/wpPropId.cmo
- Ocamlc src/plugins/wp/Splitter.cmo
- Ocamlc src/plugins/wp/Lang.cmi
- Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx
- Ocamlopt src/kernel_services/abstract_interp/fval.cmx
- Ocamlopt src/kernel_services/ast_queries/cil.cmx
- Ocamlc src/plugins/wp/Lang.cmo
- Ocamlc src/plugins/wp/Repr.cmi
- Ocamlc src/plugins/wp/Matrix.cmi
- Ocamlc src/plugins/wp/Passive.cmi
- Ocamlc src/plugins/wp/Letify.cmi
- Ocamlc src/plugins/wp/Cleaning.cmi
- Ocamlc src/plugins/wp/LogicBuiltins.cmi
- Ocamlc src/plugins/wp/Definitions.cmi
- Ocamlc src/plugins/wp/Vset.cmi
- Ocamlc src/plugins/wp/Cfloat.cmi
- Ocamlc src/plugins/wp/Vlist.cmi
- Ocamlc src/plugins/wp/Plang.cmi
- Ocamlc src/plugins/wp/Footprint.cmi
- Ocamlc src/plugins/wp/WpTac.cmi
- Ocamlc src/plugins/wp/Passive.cmo
- Ocamlc src/plugins/wp/Vset.cmo
- Ocamlc src/plugins/wp/Region.cmi
- Ocamlc src/plugins/wp/Cleaning.cmo
- Ocamlc src/plugins/wp/Footprint.cmo
- Ocamlc src/plugins/wp/Matrix.cmo
- Ocamlc src/plugins/wp/Letify.cmo
- Ocamlc src/plugins/wp/LogicBuiltins.cmo
- Ocamlc src/plugins/wp/Cfloat.cmo
- Ocamlc src/plugins/wp/driver.cmi
- Ocamlc src/plugins/wp/Definitions.cmo
- Ocamlc src/plugins/wp/Cstring.cmi
- Ocamlc src/plugins/wp/Region.cmo
- Ocamlc src/plugins/wp/driver.cmo
- Ocamlc src/plugins/wp/Repr.cmo
- Ocamlc src/plugins/wp/Memory.cmo
- Ocamlc src/plugins/wp/Cstring.cmo
- Ocamlc src/plugins/wp/Plang.cmo
- Ocamlc src/plugins/wp/Mstate.cmi
- Ocamlc src/plugins/wp/Sigma.cmi
- Ocamlc src/plugins/wp/LogicCompiler.cmi
- Ocamlc src/plugins/wp/LogicSemantics.cmi
- Ocamlc src/plugins/wp/LogicAssigns.cmi
- Ocamlc src/plugins/wp/MemEmpty.cmi
- Ocamlc src/plugins/wp/MemZeroAlias.cmi
- Ocamlc src/plugins/wp/MemVar.cmi
- Ocamlc src/plugins/wp/MemTyped.cmi
- Ocamlopt src/kernel_services/abstract_interp/ival.cmx
- Ocamlc src/plugins/wp/Cvalues.cmi
- Ocamlc src/plugins/wp/CodeSemantics.cmi
- Ocamlc src/plugins/wp/Sigma.cmo
- Ocamlc src/plugins/wp/Conditions.cmi
- Ocamlc src/plugins/wp/Mstate.cmo
- Ocamlc src/plugins/wp/LogicAssigns.cmo
- Ocamlc src/plugins/wp/MemEmpty.cmo
- Ocamlc src/plugins/wp/MemZeroAlias.cmo
- Ocamlc src/plugins/wp/MemVar.cmo
- Ocamlc src/plugins/wp/MemTyped.cmo
- Ocamlc src/plugins/wp/Cint.cmi
- Ocamlc src/plugins/wp/Conditions.cmo
- Ocamlc src/plugins/wp/Filtering.cmi
- Ocamlc src/plugins/wp/Pcfg.cmi
- Ocamlc src/plugins/wp/wpo.cmi
- Ocamlc src/plugins/wp/Tactical.cmi
- Ocamlc src/plugins/wp/WpTac.cmo
- Ocamlc src/plugins/wp/VC.cmi
- Ocamlc src/plugins/wp/Filtering.cmo
- Ocamlc src/plugins/wp/Cint.cmo
- Ocamlc src/plugins/wp/Vlist.cmo
- Ocamlc src/plugins/wp/Cvalues.cmo
- Ocamlc src/plugins/wp/CodeSemantics.cmo
- Ocamlc src/plugins/wp/wpRTE.cmo
- Ocamlc src/plugins/wp/Tactical.cmo
- Ocamlc src/plugins/wp/Strategy.cmi
- Ocamlc src/plugins/wp/ProofScript.cmi
- Ocamlc src/plugins/wp/Factory.cmi
- Ocamlc src/plugins/wp/Pcfg.cmo
- Ocamlc src/plugins/wp/Pcond.cmi
- Ocamlc src/plugins/wp/LogicCompiler.cmo
- Ocamlc src/plugins/wp/LogicSemantics.cmo
- Ocamlc src/plugins/wp/Factory.cmo
- Ocamlc src/plugins/wp/ProofScript.cmo
- Ocamlc src/plugins/wp/Strategy.cmo
- Ocamlc src/plugins/wp/TacSplit.cmi
- Ocamlc src/plugins/wp/TacChoice.cmi
- Ocamlc src/plugins/wp/TacRange.cmi
- Ocamlc src/plugins/wp/TacArray.cmi
- Ocamlc src/plugins/wp/TacCompound.cmi
- Ocamlc src/plugins/wp/TacUnfold.cmi
- Ocamlc src/plugins/wp/TacHavoc.cmi
- Ocamlc src/plugins/wp/TacInstance.cmi
- Ocamlc src/plugins/wp/TacLemma.cmi
- Ocamlc src/plugins/wp/TacFilter.cmi
- Ocamlc src/plugins/wp/TacCut.cmi
- Ocamlc src/plugins/wp/TacNormalForm.cmi
- Ocamlc src/plugins/wp/TacRewrite.cmi
- Ocamlc src/plugins/wp/Auto.cmi
- Ocamlc src/plugins/wp/TacSplit.cmo
- Ocamlc src/plugins/wp/TacChoice.cmo
- Ocamlc src/plugins/wp/TacRange.cmo
- Ocamlc src/plugins/wp/TacArray.cmo
- Ocamlc src/plugins/wp/TacCompound.cmo
- Ocamlc src/plugins/wp/TacUnfold.cmo
- Ocamlc src/plugins/wp/TacHavoc.cmo
- Ocamlc src/plugins/wp/TacFilter.cmo
- Ocamlc src/plugins/wp/TacCut.cmo
- Ocamlc src/plugins/wp/TacNormalForm.cmo
- Ocamlc src/plugins/wp/Pcond.cmo
- Ocamlc src/plugins/wp/TacRewrite.cmo
- Ocamlc src/plugins/wp/TacInstance.cmo
- Ocamlc src/plugins/wp/TacLemma.cmo
- Ocamlc src/plugins/wp/Auto.cmo
- Ocamlc src/plugins/wp/wpo.cmo
- Ocamlc src/plugins/wp/wpReport.cmo
- Ocamlc src/plugins/wp/ProofSession.cmi
- Ocamlc src/plugins/wp/ProofEngine.cmi
- Ocamlc src/plugins/wp/ProverErgo.cmi
- Ocamlc src/plugins/wp/ProverCoq.cmi
- Ocamlc src/plugins/wp/ProverWhy3.cmi
- Ocamlc src/plugins/wp/ProverWhy3ide.cmi
- Ocamlc src/plugins/wp/prover.cmi
- Ocamlc src/plugins/wp/ProverScript.cmi
- Ocamlc src/plugins/wp/ProofSession.cmo
- Ocamlc src/plugins/wp/Generator.cmi
- Ocamlc src/plugins/wp/ProverErgo.cmo
- Ocamlc src/plugins/wp/ProofEngine.cmo
- Ocamlc src/plugins/wp/ProverCoq.cmo
- Ocamlc src/plugins/wp/ProverSearch.cmi
- Ocamlc src/plugins/wp/ProverWhy3.cmo
- Ocamlc src/plugins/wp/ProverWhy3ide.cmo
- Ocamlc src/plugins/wp/prover.cmo
- Ocamlc src/plugins/wp/ProverScript.cmo
- Ocamlc src/plugins/wp/ProverSearch.cmo
- Ocamlc src/plugins/wp/Generator.cmo
- Ocamlc src/plugins/wp/cfgDump.cmi
- Ocamlc src/plugins/wp/cfgWP.cmi
- Ocamlc src/plugins/wp/cfgDump.cmo
- Ocamlc src/plugins/wp/cfgWP.cmo
- Ocamlc src/plugins/wp/register.cmo
- Ocamlc src/plugins/wp/VC.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Wp.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmo
- Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx
- Ocamlopt src/kernel_services/parsetree/cabshelper.cmx
- Ocamlopt src/kernel_services/ast_queries/ast_info.cmx
- Ocamlopt src/plugins/aorai/utils_parser.cmx
- Ocamlopt src/kernel_services/abstract_interp/origin.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cma
- Generation of the extra-config for why3
- Ocamlc src/kernel_internals/runtime/frama_c_init.cmi
- Ocamlc src/libraries/stdlib/transitioning.cmo
- Ocamlc src/libraries/stdlib/FCSet.cmo
- Ocamlc src/libraries/stdlib/FCMap.cmo
- Ocamlc src/libraries/stdlib/FCBuffer.cmo
- Ocamlc src/libraries/stdlib/FCHashtbl.cmo
- Ocamlc src/libraries/stdlib/extlib.cmo
- Ocamlc src/libraries/datatype/unmarshal.cmo
- Ocamlc src/libraries/datatype/unmarshal_z.cmi
- Ocamlc src/libraries/datatype/structural_descr.cmo
- Ocamlc src/libraries/datatype/type.cmo
- Ocamlc src/libraries/datatype/descr.cmo
- Ocamlc src/libraries/utils/pretty_utils.cmo
- Ocamlc src/libraries/utils/hook.cmo
- Ocamlc src/libraries/utils/bag.cmo
- Ocamlc src/libraries/utils/wto.cmo
- Ocamlc src/libraries/utils/vector.cmo
- Ocamlc src/libraries/utils/indexer.cmi
- Ocamlc src/libraries/utils/rgmap.cmi
- Ocamlc src/libraries/utils/bitvector.cmo
- Ocamlc src/libraries/utils/qstack.cmo
- Ocamlc src/libraries/utils/leftistheap.cmi
- Ocamlc src/libraries/stdlib/integer.cmo
- Ocamlc src/libraries/utils/filepath.cmo
- Ocamlc src/libraries/utils/json.cmo
- Ocamlc src/kernel_internals/runtime/config.cmo
- Ocamlc src/kernel_services/plugin_entry_points/log.cmo
- Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmo
- Ocamlc src/libraries/project/project_skeleton.cmo
- Ocamlc src/libraries/datatype/datatype.cmo
- Ocamlc src/kernel_services/plugin_entry_points/journal.cmo
- Ocamlc src/libraries/project/state.cmo
- Ocamlc src/libraries/project/state_topological.cmo
- Ocamlc src/libraries/project/state_dependency_graph.cmo
- Ocamlc src/libraries/project/state_selection.cmo
- Ocamlc src/libraries/project/project.cmo
- Ocamlc src/libraries/project/state_builder.cmo
- Ocamlc src/libraries/utils/utf8_logic.cmo
- Ocamlc src/libraries/utils/binary_cache.cmo
- Ocamlc src/libraries/utils/hptmap.cmo
- Ocamlc src/libraries/utils/hptset.cmo
- Ocamlc src/libraries/utils/escape.cmo
- Ocamlc src/kernel_services/ast_queries/cil_datatype.cmo
- Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmo
- Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmo
- Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmo
- Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmo
- Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmo
- Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmo
- Ocamlc src/kernel_services/plugin_entry_points/plugin.cmo
- Ocamlc src/kernel_services/plugin_entry_points/kernel.cmo
- Ocamlc src/libraries/utils/unicode.cmo
- Ocamlc src/kernel_services/plugin_entry_points/emitter.cmo
- Ocamlc src/libraries/utils/floating_point.cmo
- Ocamlc src/libraries/utils/rangemap.cmo
- Ocamlc src/kernel_services/ast_printing/cil_types_debug.cmi
- Ocamlc src/kernel_services/ast_printing/printer_builder.cmo
- Ocamlc src/libraries/utils/cilconfig.cmi
- Ocamlc src/kernel_internals/typing/alpha.cmo
- Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmo
- Ocamlc src/kernel_internals/runtime/machdeps.cmo
- Ocamlc src/kernel_services/ast_queries/cil_const.cmo
- Ocamlc src/kernel_services/ast_queries/logic_env.cmo
- Ocamlc src/kernel_services/ast_queries/logic_const.cmo
- Ocamlc src/kernel_services/ast_queries/cil.cmo
- Ocamlc src/kernel_internals/parsing/errorloc.cmo
- Ocamlc src/kernel_services/ast_printing/cil_printer.cmo
- Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmo
- Ocamlc src/kernel_services/parsetree/cabshelper.cmo
- Ocamlc src/kernel_services/ast_printing/logic_print.cmo
- Ocamlc src/kernel_services/ast_queries/logic_utils.cmo
- Ocamlc src/kernel_internals/parsing/logic_parser.cmo
- Ocamlc src/kernel_internals/parsing/logic_lexer.cmo
- Ocamlc src/kernel_services/ast_queries/logic_typing.cmo
- Ocamlc src/kernel_services/ast_queries/ast_info.cmo
- Ocamlc src/kernel_services/ast_data/ast.cmo
- Ocamlc src/kernel_services/ast_data/globals.cmo
- Ocamlc src/kernel_services/ast_printing/cprint.cmo
- Ocamlc src/kernel_services/visitors/cabsvisit.cmo
- Ocamlc src/kernel_internals/typing/cabs2cil.cmo
- Ocamlc src/kernel_internals/typing/cfg.cmo
- Ocamlc src/kernel_services/ast_data/kernel_function.cmo
- Ocamlc src/kernel_services/ast_data/property.cmo
- Ocamlc src/kernel_services/ast_data/property_status.cmo
- Ocamlc src/kernel_services/ast_data/annotations.cmo
- Ocamlc src/kernel_services/ast_printing/printer.cmo
- Ocamlc src/kernel_internals/typing/logic_builtin.cmo
- Ocamlc src/kernel_services/ast_printing/cabs_debug.cmi
- Ocamlc src/kernel_internals/parsing/clexer.cmo
- Ocamlc src/kernel_internals/parsing/cparser.cmo
- Ocamlc src/kernel_internals/parsing/logic_preprocess.cmo
- Ocamlc src/kernel_internals/typing/mergecil.cmo
- Ocamlc src/kernel_internals/typing/rmtmps.cmo
- Ocamlc src/kernel_internals/typing/oneret.cmo
- Ocamlc src/kernel_internals/typing/frontc.cmo
- Ocamlc src/kernel_services/ast_data/statuses_by_call.cmo
- Ocamlc src/kernel_services/analysis/dataflow.cmo
- Ocamlc src/kernel_services/analysis/ordered_stmt.cmo
- Ocamlc src/kernel_services/analysis/wto_statement.cmo
- Ocamlc src/kernel_services/analysis/dataflows.cmo
- Ocamlc src/kernel_services/analysis/dataflow2.cmo
- Ocamlc src/kernel_services/analysis/stmts_graph.cmo
- Ocamlc src/kernel_services/analysis/dominators.cmo
- Ocamlc src/kernel_services/analysis/service_graph.cmi
- Ocamlc src/kernel_services/analysis/undefined_sequence.cmo
- Ocamlc src/kernel_services/ast_printing/description.cmo
- Ocamlc src/kernel_services/ast_data/alarms.cmo
- Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmo
- Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmo
- Ocamlc src/kernel_services/abstract_interp/bottom.cmo
- Ocamlc src/kernel_services/abstract_interp/int_Base.cmo
- Ocamlc src/kernel_services/analysis/bit_utils.cmo
- Ocamlc src/kernel_services/abstract_interp/fval.cmo
- Ocamlc src/kernel_services/abstract_interp/ival.cmo
- Ocamlc src/kernel_services/abstract_interp/base.cmo
- Ocamlc src/kernel_services/abstract_interp/origin.cmo
- Ocamlc src/kernel_services/abstract_interp/tr_offset.cmo
- Ocamlc src/kernel_services/abstract_interp/offsetmap.cmo
- Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmo
- Ocamlc src/kernel_services/abstract_interp/locations.cmo
- Ocamlc src/kernel_services/abstract_interp/lmap.cmo
- Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmo
- Ocamlc src/kernel_services/visitors/visitor.cmo
- Ocamlc src/plugins/value_types/cilE.cmo
- Ocamlc src/plugins/value_types/cvalue.cmo
- Ocamlc src/plugins/value_types/precise_locs.cmo
- Ocamlc src/plugins/value_types/value_types.cmo
- Ocamlc src/plugins/value_types/widen_type.cmi
- Ocamlc src/plugins/value_types/function_Froms.cmo
- Ocamlc src/plugins/value_types/inout_type.cmo
- Ocamlc src/plugins/pdg_types/pdgIndex.cmo
- Ocamlc src/plugins/pdg_types/pdgTypes.cmo
- Ocamlc src/plugins/pdg_types/pdgMarks.cmo
- Ocamlc src/kernel_services/plugin_entry_points/db.cmo
- Ocamlc src/libraries/utils/command.cmo
- Ocamlc src/libraries/utils/task.cmo
- Ocamlc src/kernel_services/ast_queries/filecheck.cmo
- Ocamlc src/kernel_services/ast_queries/file.cmo
- Ocamlc src/kernel_internals/typing/translate_lightweight.cmi
- Ocamlc src/kernel_internals/typing/allocates.cmi
- Ocamlc src/kernel_internals/typing/unroll_loops.cmi
- Ocamlc src/kernel_internals/typing/asm_contracts.cmi
- Ocamlc src/kernel_services/analysis/loop.cmo
- Ocamlc src/kernel_services/analysis/exn_flow.cmi
- Ocamlc src/kernel_services/analysis/destructors.cmi
- Ocamlc src/kernel_services/analysis/logic_interp.cmi
- Ocamlc src/kernel_internals/typing/infer_annotations.cmi
- Ocamlc src/kernel_services/ast_transformations/clone.cmi
- Ocamlc src/kernel_services/ast_transformations/filter.cmi
- Ocamlc src/kernel_internals/runtime/special_hooks.cmi
- Ocamlc src/kernel_internals/runtime/messages.cmi
- Ocamlc src/kernel_internals/runtime/boot.cmo
- CC src/libraries/utils/c_bindings.o
- Ocamlc src/plugins/metrics/metrics_parameters.cmi
- Ocamlc src/plugins/metrics/css_html.cmo
- Ocamlc src/plugins/metrics/metrics_base.cmi
- Ocamlc src/plugins/metrics/metrics_acsl.cmi
- Ocamlc src/plugins/metrics/metrics_cabs.cmi
- Ocamlc src/plugins/metrics/metrics_coverage.cmi
- Ocamlc src/plugins/callgraph/options.cmi
- Ocamlc src/plugins/callgraph/journalize.cmi
- Ocamlc src/plugins/callgraph/callgraph_api.cmi
- Ocamlc src/plugins/callgraph/uses.cmi
- Ocamlc src/plugins/value/slevel/split_strategy.cmi
- Ocamlc src/plugins/value/slevel/stop_at_nth.cmi
- Ocamlc src/plugins/value/utils/value_perf.cmi
- Ocamlc src/plugins/value/slevel/separate.cmi
- Ocamlc src/plugins/value/utils/widen_hints_ext.cmi
- Ocamlc src/plugins/value/utils/widen.cmi
- Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmi
- Ocamlc src/plugins/value/utils/library_functions.cmi
- Ocamlc src/plugins/value/alarmset.cmi
- Ocamlc src/plugins/value/utils/backward_formals.cmi
- Ocamlc src/plugins/value/legacy/warn.cmi
- Ocamlc src/plugins/value/utils/structure.cmi
- Ocamlc src/plugins/value/values/cvalue_backward.cmi
- Ocamlc src/plugins/value/legacy/eval_op.cmi
- Ocamlc src/plugins/value/legacy/function_args.cmi
- Ocamlc src/plugins/value/domains/hcexprs.cmi
- Ocamlc src/plugins/value/domains/equality/equality_sig.cmi
- Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmi
- Ocamlc src/plugins/value/domains/cvalue/builtins.cmi
- Ocamlc src/plugins/value/domains/cvalue/builtins_string.cmi
- Ocamlc src/plugins/value/domains/cvalue/builtins_misc.cmi
- Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi
- Ocamlc src/plugins/value/utils/value_results.cmi
- Ocamlc src/plugins/value/utils/state_import.cmi
- Ocamlc src/plugins/value/legacy/eval_terms.cmi
- Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmi
- Ocamlc src/plugins/value/engine/recursion.cmi
- Ocamlc src/plugins/value/register.cmi
- Ocamlc src/plugins/occurrence/options.cmi
- Ocamlc src/plugins/rte/options.cmi
- Ocamlc src/plugins/rte/generator.cmi
- Ocamlc src/plugins/rte/rte.cmi
- Ocamlc src/plugins/rte/visit.cmi
- Ocamlc src/plugins/from/from_parameters.cmi
- Ocamlc src/plugins/from/functionwise.cmi
- Ocamlc src/plugins/from/from_compute.cmi
- Ocamlc src/plugins/from/callwise.cmi
- Ocamlc src/plugins/from/from_register.cmi
- Ocamlc src/plugins/constant_propagation/propagationParameters.cmi
- Ocamlc src/plugins/constant_propagation/register.cmi
- Ocamlc src/plugins/postdominators/postdominators_parameters.cmi
- Ocamlc src/plugins/inout/inout_parameters.cmi
- Ocamlc src/plugins/inout/cumulative_analysis.cmi
- Ocamlc src/plugins/inout/outputs.cmi
- Ocamlc src/plugins/inout/inputs.cmi
- Ocamlc src/plugins/inout/derefs.cmi
- Ocamlc src/plugins/impact/options.cmi
- Ocamlc src/plugins/impact/pdg_aux.cmi
- Ocamlc src/plugins/pdg/pdg_parameters.cmi
- Ocamlc src/plugins/pdg/ctrlDpds.cmi
- Ocamlc src/plugins/pdg/pdg_state.cmi
- Ocamlc src/plugins/pdg/build.cmi
- Ocamlc src/plugins/pdg/sets.cmi
- Ocamlc src/plugins/pdg/annot.cmi
- Ocamlc src/plugins/pdg/marks.cmi
- Ocamlc src/plugins/scope/datascope.cmi
- Ocamlc src/plugins/scope/zones.cmi
- Ocamlc src/plugins/scope/defs.cmi
- Ocamlc src/plugins/sparecode/sparecode_params.cmi
- Ocamlc src/plugins/sparecode/spare_marks.cmi
- Ocamlc src/plugins/slicing/slicingParameters.cmi
- Ocamlc src/plugins/slicing/slicingState.cmi
- Ocamlc src/plugins/slicing/slicingMacros.cmi
- Ocamlc src/plugins/slicing/slicingMarks.cmi
- Ocamlc src/plugins/slicing/slicingActions.cmi
- Ocamlc src/plugins/slicing/fct_slice.cmi
- Ocamlc src/plugins/slicing/printSlice.cmi
- Ocamlc src/plugins/slicing/slicingProject.cmi
- Ocamlc src/plugins/slicing/slicingTransform.cmi
- Ocamlc src/plugins/slicing/slicingCmds.cmi
- Generating META.frama-c-metrics
- Generating META.frama-c-callgraph
- Generating META.frama-c-value
- Generating META.frama-c-occurrence
- Generating META.frama-c-rtegen
- Generating META.frama-c-from
- Generating META.frama-c-users
- Generating META.frama-c-constant_propagation
- Generating META.frama-c-postdominators
- Generating META.frama-c-inout
- Generating META.frama-c-impact
- Generating META.frama-c-pdg
- Generating META.frama-c-scope
- Generating META.frama-c-sparecode
- Generating META.frama-c-slicing
- Ocamlopt src/kernel_services/visitors/cabsvisit.cmx
- Ocamlc src/kernel_internals/runtime/frama_c_init.cmo
- Ocamlc src/libraries/datatype/unmarshal_z.cmo
- Ocamlc src/libraries/utils/indexer.cmo
- Ocamlc src/libraries/utils/rgmap.cmo
- Ocamlc src/libraries/utils/leftistheap.cmo
- Ocamlc src/kernel_services/ast_printing/cil_types_debug.cmo
- Ocamlc src/libraries/utils/cilconfig.cmo
- Ocamlc src/kernel_services/ast_printing/cabs_debug.cmo
- Ocamlc src/kernel_services/analysis/service_graph.cmo
- Ocamlc src/plugins/value_types/widen_type.cmo
- Ocamlc src/kernel_internals/typing/translate_lightweight.cmo
- Ocamlc src/kernel_internals/typing/allocates.cmo
- Ocamlc src/kernel_internals/typing/unroll_loops.cmo
- Ocamlc src/kernel_internals/typing/asm_contracts.cmo
- Ocamlc src/kernel_services/analysis/exn_flow.cmo
- Ocamlc src/kernel_services/analysis/destructors.cmo
- Ocamlc src/kernel_services/analysis/logic_interp.cmo
- Ocamlc src/kernel_internals/typing/infer_annotations.cmo
- Ocamlc src/kernel_services/ast_transformations/clone.cmo
- Ocamlc src/kernel_services/ast_transformations/filter.cmo
- Ocamlc src/kernel_internals/runtime/special_hooks.cmo
- Ocamlc src/kernel_internals/runtime/messages.cmo
- Ocamlc src/plugins/metrics/metrics_parameters.cmo
- Ocamlc src/plugins/metrics/metrics_base.cmo
- Ocamlc src/plugins/metrics/metrics_acsl.cmo
- Ocamlc src/plugins/metrics/metrics_cabs.cmo
- Ocamlc src/plugins/metrics/metrics_cilast.cmi
- Ocamlc src/plugins/metrics/metrics_coverage.cmo
- Ocamlc src/plugins/callgraph/options.cmo
- Ocamlc src/plugins/callgraph/journalize.cmo
- Ocamlc src/plugins/callgraph/cg.cmi
- Ocamlc src/plugins/callgraph/services.cmi
- Ocamlc src/plugins/value/slevel/split_strategy.cmo
- Ocamlc src/plugins/value/value_parameters.cmi
- Ocamlc src/plugins/value/utils/widen_hints_ext.cmo
- Ocamlc src/plugins/value/engine/split_return.cmi
- Ocamlc src/plugins/value/eval.cmi
- Ocamlc src/plugins/value/utils/backward_formals.cmo
- Ocamlc src/plugins/value/utils/structure.cmo
- Ocamlc src/plugins/value/domains/hcexprs.cmo
- Ocamlc src/plugins/value/domains/equality/equality.cmi
- Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmo
- Ocamlc src/plugins/value/domains/cvalue/builtins_malloc.cmi
- Ocamlc src/plugins/value/legacy/eval_annots.cmi
- Ocamlc src/plugins/value/domains/cvalue/cvalue_specification.cmi
- Ocamlc src/plugins/value/engine/mem_exec.cmi
- Ocamlc src/plugins/occurrence/options.cmo
- Ocamlc src/plugins/occurrence/register.cmo
- Ocamlc src/plugins/rte/options.cmo
- Ocamlc src/plugins/rte/generator.cmo
- Ocamlc src/plugins/rte/rte.cmo
- Ocamlc src/plugins/rte/visit.cmo
- Ocamlc src/plugins/rte/register.cmo
- Ocamlc src/plugins/from/from_parameters.cmo
- Ocamlc src/plugins/from/from_compute.cmo
- Ocamlc src/plugins/from/callwise.cmo
- Ocamlc src/plugins/constant_propagation/propagationParameters.cmo
- Ocamlc src/plugins/constant_propagation/register.cmo
- Ocamlc src/plugins/postdominators/postdominators_parameters.cmo
- Ocamlc src/plugins/postdominators/print.cmo
- Ocamlc src/plugins/inout/inout_parameters.cmo
- Ocamlc src/plugins/inout/cumulative_analysis.cmo
- Ocamlc src/plugins/inout/derefs.cmo
- Ocamlc src/plugins/impact/options.cmo
- Ocamlc src/plugins/impact/pdg_aux.cmo
- Ocamlc src/plugins/impact/reason_graph.cmo
- Ocamlc src/plugins/pdg/pdg_parameters.cmo
- Ocamlc src/plugins/pdg/ctrlDpds.cmo
- Ocamlc src/plugins/pdg/pdg_state.cmo
- Ocamlc src/plugins/pdg/build.cmo
- Ocamlc src/plugins/pdg/sets.cmo
- Ocamlc src/plugins/pdg/annot.cmo
- Ocamlc src/plugins/pdg/marks.cmo
- Ocamlc src/plugins/scope/datascope.cmo
- Ocamlc src/plugins/scope/zones.cmo
- Ocamlc src/plugins/scope/defs.cmo
- Ocamlc src/plugins/sparecode/sparecode_params.cmo
- Ocamlc src/plugins/sparecode/globs.cmo
- Ocamlc src/plugins/sparecode/transform.cmo
- Ocamlc src/plugins/slicing/slicingParameters.cmo
- Ocamlc src/plugins/slicing/slicingState.cmo
- Ocamlc src/plugins/slicing/slicingMacros.cmo
- Ocamlc src/plugins/slicing/slicingMarks.cmo
- Ocamlc src/plugins/slicing/printSlice.cmo
- Ocamlc src/plugins/slicing/slicingActions.cmo
- Ocamlc src/plugins/slicing/slicingProject.cmo
- Ocamlc src/plugins/slicing/slicingTransform.cmo
- Ocamlc src/plugins/slicing/register.cmo
- Ocamlc src/plugins/metrics/metrics_cilast.cmo
- Ocamlc src/plugins/metrics/register.cmo
- Ocamlc src/plugins/callgraph/cg.cmo
- Ocamlc src/plugins/callgraph/services.cmo
- Ocamlc src/plugins/callgraph/uses.cmo
- Ocamlc src/plugins/callgraph/register.cmo
- Ocamlc src/plugins/value/value_parameters.cmo
- Ocamlc src/plugins/value/slevel/stop_at_nth.cmo
- Ocamlc src/plugins/value/utils/value_perf.cmo
- Ocamlc src/plugins/value/utils/value_util.cmi
- Ocamlc src/plugins/value/utils/mark_noresults.cmo
- Ocamlc src/plugins/value/slevel/separate.cmo
- Ocamlc src/plugins/value/utils/widen.cmo
- Ocamlc src/plugins/value/engine/split_return.cmo
- Ocamlc src/plugins/value/utils/eval_typ.cmi
- Ocamlc src/plugins/value/eval.cmo
- Ocamlc src/plugins/value/values/abstract_value.cmi
- Ocamlc src/plugins/value/values/abstract_location.cmi
- Ocamlc src/plugins/value/values/cvalue_forward.cmi
- Ocamlc src/plugins/value/domains/abstract_domain.cmi
- Ocamlc src/plugins/value/domains/equality/equality.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Occurrence.cmi
- Ocamlc src/plugins/postdominators/compute.cmo
- Ocamlc src/plugins/impact/compute_impact.cmi
- Ocamlc src/plugins/value/utils/value_util.cmo
- Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmo
- Ocamlc src/plugins/value/utils/library_functions.cmo
- Ocamlc src/plugins/value/utils/eval_typ.cmo
- Ocamlc src/plugins/value/alarmset.cmo
- Ocamlc src/plugins/value/legacy/warn.cmo
- Ocamlc src/plugins/value/values/value_product.cmi
- Ocamlc src/plugins/value/values/location_lift.cmi
- Ocamlc src/plugins/value/values/cvalue_forward.cmo
- Ocamlc src/plugins/value/values/cvalue_backward.cmo
- Ocamlc src/plugins/value/values/main_values.cmi
- Ocamlc src/plugins/value/values/main_locations.cmi
- Ocamlc src/plugins/value/values/offsm_value.cmi
- Ocamlc src/plugins/value/legacy/eval_op.cmo
- Ocamlc src/plugins/value/legacy/function_args.cmo
- Ocamlc src/plugins/value/domains/cvalue/builtins.cmo
- Ocamlc src/plugins/value/domains/cvalue/builtins_malloc.cmo
- Ocamlc src/plugins/value/domains/cvalue/builtins_string.cmo
- Ocamlc src/plugins/value/domains/cvalue/builtins_misc.cmo
- Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmo
- Ocamlc src/plugins/value/utils/value_results.cmo
- Ocamlc src/plugins/value/utils/state_import.cmo
- Ocamlc src/plugins/value/legacy/eval_terms.cmo
- Ocamlc src/plugins/value/legacy/eval_annots.cmo
- Ocamlc src/plugins/value/domains/powerset.cmi
- Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmi
- Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmo
- Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmi
- Ocamlc src/plugins/value/engine/evaluation.cmi
- Ocamlc src/plugins/value/engine/recursion.cmo
- Ocamlc src/plugins/value/engine/partitioning.cmi
- Ocamlc src/plugins/value/engine/abstractions.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmi
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/RteGen.cmi
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Constant_Propagation.cmi
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Postdominators.cmi
- Ocamlc src/plugins/impact/compute_impact.cmo
- Ocamlc src/plugins/impact/register.cmo
- Ocamlc src/plugins/sparecode/register.cmo
- Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx
- Ocamlopt src/kernel_services/ast_data/ast.cmx
- Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx
- Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx
- Ocamlopt src/kernel_services/ast_printing/logic_print.cmx
- Ocamlopt src/kernel_internals/typing/rmtmps.cmx
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Callgraph.cmi
- Ocamlc src/plugins/value/values/value_product.cmo
- Ocamlc src/plugins/value/values/location_lift.cmo
- Ocamlc src/plugins/value/values/main_values.cmo
- Ocamlc src/plugins/value/values/main_locations.cmo
- Ocamlc src/plugins/value/values/offsm_value.cmo
- Ocamlc src/plugins/value/domains/domain_store.cmi
- Ocamlc src/plugins/value/domains/domain_builder.cmi
- Ocamlc src/plugins/value/domains/domain_product.cmi
- Ocamlc src/plugins/value/domains/domain_lift.cmi
- Ocamlc src/plugins/value/domains/unit_domain.cmi
- Ocamlc src/plugins/value/domains/gauges/gauges_domain.cmi
- Ocamlc src/plugins/value/domains/apron/apron_domain.cmi
- Ocamlc src/plugins/value/domains/equality/equality_domain.cmi
- Ocamlc src/plugins/value/domains/offsm_domain.cmi
- Ocamlc src/plugins/value/domains/symbolic_locs.cmi
- Ocamlc src/plugins/value/domains/powerset.cmo
- Ocamlc src/plugins/value/engine/transfer_logic.cmi
- Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmo
- Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmo
- Ocamlc src/plugins/value/engine/evaluation.cmo
- Ocamlc src/plugins/value/engine/non_linear_evaluation.cmi
- Ocamlc src/plugins/value/engine/initialization.cmi
- Ocamlc src/plugins/value/engine/partitioning.cmo
- Ocamlc src/plugins/value/engine/compute_functions.cmi
- Ocamlc src/plugins/value/engine/analysis.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmo
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmi
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Scope.cmi
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Metrics.cmi
- Ocamlc src/plugins/value/domains/domain_store.cmo
- Ocamlc src/plugins/value/domains/domain_builder.cmo
- Ocamlc src/plugins/value/domains/domain_product.cmo
- Ocamlc src/plugins/value/domains/domain_lift.cmo
- Ocamlc src/plugins/value/domains/unit_domain.cmo
- Ocamlc src/plugins/value/domains/gauges/gauges_domain.cmo
- Ocamlc src/plugins/value/domains/offsm_domain.cmo
- Ocamlc src/plugins/value/domains/symbolic_locs.cmo
- Ocamlc src/plugins/value/engine/transfer_logic.cmo
- Ocamlc src/plugins/value/domains/cvalue/cvalue_specification.cmo
- Ocamlc src/plugins/value/engine/non_linear_evaluation.cmo
- Ocamlc src/plugins/value/engine/abstractions.cmo
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmo
- Ocamlc src/plugins/from/functionwise.cmo
- Ocamlc src/plugins/from/from_register.cmo
- Ocamlc src/plugins/users/users_register.cmo
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmo
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmo
- Ocamlc src/plugins/inout/operational_inputs.cmo
- Ocamlc src/plugins/inout/inputs.cmo
- Ocamlc src/plugins/pdg/register.cmo
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmi
- Ocamlc src/plugins/slicing/slicingCmds.cmo
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmi
- Ocamlc src/plugins/value/domains/apron/apron_domain.cmo
- Ocamlc src/plugins/value/domains/equality/equality_domain.cmo
- Ocamlc src/plugins/value/engine/transfer_stmt.cmi
- Ocamlc src/plugins/value/engine/initialization.cmo
- Ocamlc src/plugins/value/engine/analysis.cmo
- Ocamlc src/plugins/value/register.cmo
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmo
- Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmo
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmo
- Ocamlc src/plugins/value/engine/transfer_stmt.cmo
- Ocamlc src/plugins/value/engine/mem_exec.cmo
- Ocamlc src/plugins/value/engine/partitioned_dataflow.cmi
- Ocamlopt src/kernel_services/ast_printing/cprint.cmx
- Ocamlc src/plugins/value/engine/partitioned_dataflow.cmo
- Ocamlc src/plugins/value/engine/compute_functions.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Impact.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/From.cmi
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Pdg.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Users.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmi
- Ocamlc src/plugins/sparecode/spare_marks.cmo
- Ocamlc src/plugins/slicing/fct_slice.cmo
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmo
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmo
- Ocamlc src/plugins/inout/outputs.cmo
- Ocamlc src/plugins/inout/register.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Sparecode.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Slicing.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmo
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Inout.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmo
- Ocamlopt src/kernel_internals/parsing/logic_parser.cmx
- Ocamlopt src/kernel_internals/typing/oneret.cmx
- Ocamlopt src/kernel_internals/typing/logic_builtin.cmx
- Ocamlc /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/Value.cmi
- Generating /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmi
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmo
- Linking bin/toplevel.byte
- Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx
- Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx
- Ocamlopt src/kernel_internals/parsing/cparser.cmx
- Ocamlopt src/kernel_internals/parsing/clexer.cmx
- Ocamlopt src/kernel_internals/parsing/logic_preprocess.cmx
- Ocamlopt src/kernel_services/ast_data/globals.cmx
- Ocamlopt src/kernel_internals/typing/cabs2cil.cmx
- Ocamlopt src/kernel_internals/typing/cfg.cmx
- Ocamlopt src/kernel_internals/typing/frontc.cmx
- Ocamlopt src/kernel_services/ast_data/kernel_function.cmx
- Ocamlopt src/kernel_services/ast_data/property.cmx
- Ocamlopt src/kernel_services/analysis/wto_statement.cmx
- Ocamlopt src/kernel_services/analysis/ordered_stmt.cmx
- Ocamlopt src/kernel_services/analysis/dataflow2.cmx
- Ocamlopt src/kernel_services/ast_data/property_status.cmx
- Ocamlopt src/kernel_services/ast_data/annotations.cmx
- Ocamlopt src/kernel_services/ast_printing/printer.cmx
- Ocamlopt src/plugins/aorai/promelaoutput.cmx
- Ocamlopt src/kernel_services/visitors/visitor.cmx
- Ocamlopt src/kernel_internals/typing/mergecil.cmx
- Ocamlopt src/kernel_services/analysis/bit_utils.cmx
- Ocamlopt src/kernel_services/ast_data/alarms.cmx
- Ocamlopt src/plugins/aorai/logic_simplification.cmx
- Ocamlopt src/kernel_services/abstract_interp/base.cmx
- Ocamlopt src/kernel_services/abstract_interp/tr_offset.cmx
- Ocamlopt src/kernel_services/abstract_interp/offsetmap.cmx
- Ocamlopt src/plugins/aorai/data_for_aorai.cmx
- Ocamlopt src/kernel_services/ast_queries/filecheck.cmx
- Ocamlopt src/kernel_services/ast_queries/file.cmx
- Ocamlopt src/plugins/aorai/aorai_utils.cmx
- Ocamlopt src/plugins/aorai/yaparser.cmx
- Ocamlopt src/plugins/aorai/promelaparser.cmx
- Ocamlopt src/plugins/aorai/promelaparser_withexps.cmx
- Ocamlopt src/kernel_services/abstract_interp/int_Intervals.cmx
- Ocamlopt src/kernel_services/abstract_interp/locations.cmx
- Ocamlopt src/plugins/aorai/promelalexer.cmx
- Ocamlopt src/plugins/aorai/promelalexer_withexps.cmx
- Ocamlopt src/plugins/aorai/yalexer.cmx
- Ocamlopt src/plugins/value_types/precise_locs.cmx
- Ocamlopt src/kernel_services/abstract_interp/lmap_bitwise.cmx
- Ocamlopt src/kernel_services/abstract_interp/lmap.cmx
- Ocamlopt src/plugins/pdg_types/pdgIndex.cmx
- Ocamlopt src/plugins/value_types/inout_type.cmx
- Ocamlopt src/plugins/aorai/aorai_dataflow.cmx
- Ocamlopt src/plugins/aorai/aorai_visitors.cmx
- Ocamlopt src/plugins/value_types/function_Froms.cmx
- Ocamlopt src/plugins/pdg_types/pdgTypes.cmx
- Ocamlopt src/plugins/value_types/cvalue.cmx
- Ocamlopt src/plugins/pdg_types/pdgMarks.cmx
- Ocamlopt src/plugins/value_types/value_types.cmx
- Ocamlopt src/plugins/slicing_types/slicingInternals.cmx
- Ocamlopt src/plugins/slicing_types/slicingTypes.cmx
- Ocamlopt src/kernel_services/plugin_entry_points/db.cmx
- Ocamlopt src/plugins/aorai/aorai_register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Aorai.cmxs
- Ocamlopt src/plugins/e-acsl/local_config.cmx
- Ocamlopt src/plugins/e-acsl/literal_strings.cmx
- Ocamlopt src/kernel_services/analysis/stmts_graph.cmx
- Ocamlopt src/kernel_services/analysis/dataflow.cmx
- Ocamlopt src/plugins/e-acsl/options.cmx
- Ocamlopt src/plugins/e-acsl/rte.cmx
- Ocamlopt src/plugins/e-acsl/error.cmx
- Ocamlopt src/plugins/e-acsl/builtins.cmx
- Ocamlopt src/plugins/e-acsl/prepare_ast.cmx
- Ocamlopt src/plugins/e-acsl/exit_points.cmx
- Ocamlopt src/plugins/e-acsl/label.cmx
- Ocamlopt src/plugins/e-acsl/interval.cmx
- Ocamlopt src/plugins/e-acsl/misc.cmx
- Ocamlopt src/plugins/e-acsl/gmpz.cmx
- Ocamlopt src/plugins/e-acsl/mmodel_analysis.cmx
- Ocamlopt src/plugins/e-acsl/dup_functions.cmx
- Ocamlopt src/plugins/e-acsl/env.cmx
- Ocamlopt src/plugins/e-acsl/typing.cmx
- Ocamlopt src/plugins/e-acsl/quantif.cmx
- Ocamlopt src/plugins/e-acsl/translate.cmx
- Ocamlopt src/plugins/e-acsl/loops.cmx
- Ocamlopt src/plugins/e-acsl/visit.cmx
- Ocamlopt src/plugins/e-acsl/main.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/E_ACSL.cmxs
- Ocamlopt src/plugins/loop_analysis/options.cmx
- Ocamlopt src/plugins/loop_analysis/region_analysis_sig.cmx
- Ocamlopt src/kernel_services/analysis/dominators.cmx
- Ocamlopt src/kernel_services/analysis/dataflows.cmx
- Ocamlopt src/plugins/loop_analysis/region_analysis.cmx
- Ocamlopt src/plugins/loop_analysis/region_analysis_stmt.cmx
- Ocamlopt src/kernel_services/analysis/loop.cmx
- Ocamlopt src/plugins/loop_analysis/loop_analysis.cmx
- Ocamlopt src/plugins/loop_analysis/slevel_analysis.cmx
- Ocamlopt src/plugins/loop_analysis/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/LoopAnalysis.cmxs
- Ocamlopt src/plugins/nonterm/nonterm_run.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Nonterm.cmxs
- Ocamlopt src/plugins/obfuscator/options.cmx
- Ocamlopt src/plugins/obfuscator/obfuscator_kind.cmx
- Ocamlopt src/plugins/obfuscator/dictionary.cmx
- Ocamlopt src/plugins/obfuscator/obfuscate.cmx
- Ocamlopt src/plugins/obfuscator/obfuscator_register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Obfuscator.cmxs
- Ocamlopt src/plugins/print_api/grammar.cmx
- Ocamlopt src/plugins/print_api/lexer.cmx
- Ocamlopt src/plugins/print_api/print_interface.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Print_api.cmxs
- Ocamlopt src/plugins/report/report_parameters.cmx
- Ocamlopt src/kernel_services/ast_printing/description.cmx
- Ocamlopt src/plugins/report/scan.cmx
- Ocamlopt src/plugins/report/dump.cmx
- Ocamlopt src/plugins/report/csv.cmx
- Ocamlopt src/plugins/report/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Report.cmxs
- Ocamlopt src/plugins/variadic/options.cmx
- Ocamlopt src/plugins/variadic/va_build.cmx
- Ocamlopt src/plugins/variadic/environment.cmx
- Ocamlopt src/plugins/variadic/extends.cmx
- Ocamlopt src/plugins/variadic/format_pprint.cmx
- Ocamlopt src/plugins/variadic/format_typer.cmx
- Ocamlopt src/plugins/variadic/generic.cmx
- Ocamlopt src/plugins/variadic/classify.cmx
- Ocamlopt src/plugins/variadic/format_parser.cmx
- Ocamlopt src/plugins/variadic/standard.cmx
- Ocamlopt src/plugins/variadic/translate.cmx
- Ocamlopt src/plugins/variadic/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Variadic.cmxs
- Ocamlopt src/plugins/wp/rformat.cmx
- Ocamlopt src/plugins/wp/wprop.cmx
- Ocamlopt src/libraries/utils/command.cmx
- Ocamlopt src/plugins/wp/wp_error.cmx
- Compiling Qed (opt)
- Ocamlopt src/plugins/wp/Separation.cmx
- Ocamlopt src/kernel_services/ast_data/statuses_by_call.cmx
- Ocamlopt src/libraries/utils/bag.cmx
- Ocamlopt src/plugins/wp/script.cmx
- Ocamlopt src/libraries/utils/vector.cmx
- Ocamlopt src/libraries/utils/json.cmx
- Ocamlopt src/plugins/wp/why3_xml.cmx
- Ocamlopt src/plugins/wp/wp_parameters.cmx
- Ocamlopt src/libraries/utils/task.cmx
- Ocamlopt src/plugins/wp/dyncall.cmx
- Ocamlopt src/plugins/wp/Context.cmx
- Ocamlopt src/plugins/wp/VCS.cmx
- Ocamlopt src/plugins/wp/Warning.cmx
- Ocamlopt src/plugins/wp/Model.cmx
- Ocamlopt src/plugins/wp/ctypes.cmx
- Ocamlopt src/plugins/wp/Splitter.cmx
- Ocamlopt src/plugins/wp/clabels.cmx
- Ocamlopt src/plugins/wp/RefUsage.cmx
- Ocamlopt src/plugins/wp/LogicUsage.cmx
- Ocamlopt src/plugins/wp/normAtLabels.cmx
- Ocamlopt src/plugins/wp/cil2cfg.cmx
- Ocamlopt src/plugins/wp/Lang.cmx
- Ocamlopt src/plugins/wp/wpPropId.cmx
- Ocamlopt src/plugins/wp/mcfg.cmx
- Ocamlopt src/plugins/wp/wpStrategy.cmx
- Ocamlopt src/plugins/wp/proof.cmx
- Ocamlopt src/plugins/wp/ProverTask.cmx
- Ocamlopt src/plugins/wp/Repr.cmx
- Ocamlopt src/plugins/wp/Matrix.cmx
- Ocamlopt src/plugins/wp/Passive.cmx
- Ocamlopt src/plugins/wp/Letify.cmx
- Ocamlopt src/plugins/wp/Cleaning.cmx
- Ocamlopt src/plugins/wp/LogicBuiltins.cmx
- Ocamlopt src/plugins/wp/Vset.cmx
- Ocamlopt src/plugins/wp/Footprint.cmx
- Ocamlopt src/plugins/wp/Definitions.cmx
- Ocamlopt src/plugins/wp/Cint.cmx
- Ocamlopt src/plugins/wp/Cfloat.cmx
- Ocamlopt src/plugins/wp/driver.cmx
- Ocamlopt src/plugins/wp/calculus.cmx
- Ocamlopt src/plugins/wp/Region.cmx
- Ocamlopt src/plugins/wp/Cstring.cmx
- Ocamlopt src/plugins/wp/Vlist.cmx
- Ocamlopt src/plugins/wp/wpRTE.cmx
- Ocamlopt src/plugins/wp/wpAnnot.cmx
- Ocamlopt src/plugins/wp/Memory.cmx
- Ocamlopt src/plugins/wp/Plang.cmx
- Ocamlopt src/plugins/wp/Cvalues.cmx
- Ocamlopt src/plugins/wp/Mstate.cmx
- Ocamlopt src/plugins/wp/Sigma.cmx
- Ocamlopt src/plugins/wp/LogicAssigns.cmx
- Ocamlopt src/plugins/wp/Conditions.cmx
- Ocamlopt src/plugins/wp/CodeSemantics.cmx
- Ocamlopt src/plugins/wp/LogicCompiler.cmx
- Ocamlopt src/plugins/wp/MemEmpty.cmx
- Ocamlopt src/plugins/wp/MemZeroAlias.cmx
- Ocamlopt src/plugins/wp/MemVar.cmx
- Ocamlopt src/plugins/wp/MemTyped.cmx
- Ocamlopt src/plugins/wp/Filtering.cmx
- Ocamlopt src/plugins/wp/Pcfg.cmx
- Ocamlopt src/plugins/wp/Tactical.cmx
- Ocamlopt src/plugins/wp/WpTac.cmx
- Ocamlopt src/plugins/wp/Pcond.cmx
- Ocamlopt src/plugins/wp/LogicSemantics.cmx
- Ocamlopt src/plugins/wp/Strategy.cmx
- Ocamlopt src/plugins/wp/ProofScript.cmx
- Ocamlopt src/plugins/wp/TacSplit.cmx
- Ocamlopt src/plugins/wp/TacChoice.cmx
- Ocamlopt src/plugins/wp/TacRange.cmx
- Ocamlopt src/plugins/wp/TacArray.cmx
- Ocamlopt src/plugins/wp/TacCompound.cmx
- Ocamlopt src/plugins/wp/TacUnfold.cmx
- Ocamlopt src/plugins/wp/TacInstance.cmx
- Ocamlopt src/plugins/wp/TacFilter.cmx
- Ocamlopt src/plugins/wp/TacCut.cmx
- Ocamlopt src/plugins/wp/TacNormalForm.cmx
- Ocamlopt src/plugins/wp/TacRewrite.cmx
- Ocamlopt src/plugins/wp/wpo.cmx
- Ocamlopt src/plugins/wp/TacHavoc.cmx
- Ocamlopt src/plugins/wp/Factory.cmx
- Ocamlopt src/plugins/wp/TacLemma.cmx
- Ocamlopt src/plugins/wp/Auto.cmx
- Ocamlopt src/plugins/wp/wpReport.cmx
- Ocamlopt src/plugins/wp/ProofSession.cmx
- Ocamlopt src/plugins/wp/ProverErgo.cmx
- Ocamlopt src/plugins/wp/ProverCoq.cmx
- Ocamlopt src/plugins/wp/ProverWhy3.cmx
- Ocamlopt src/plugins/wp/Generator.cmx
- Ocamlopt src/plugins/wp/ProofEngine.cmx
- Ocamlopt src/plugins/wp/cfgDump.cmx
- Ocamlopt src/plugins/wp/cfgWP.cmx
- Ocamlopt src/plugins/wp/ProverSearch.cmx
- Ocamlopt src/plugins/wp/ProverWhy3ide.cmx
- Ocamlopt src/plugins/wp/prover.cmx
- Ocamlopt src/plugins/wp/ProverScript.cmx
- Ocamlopt src/plugins/wp/register.cmx
- Ocamlopt src/plugins/wp/VC.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmxs
- Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx
- Ocamlopt src/libraries/datatype/unmarshal_z.cmx
- Ocamlopt src/libraries/utils/indexer.cmx
- Ocamlopt src/libraries/utils/rgmap.cmx
- Ocamlopt src/libraries/utils/leftistheap.cmx
- Ocamlopt src/kernel_services/ast_printing/cil_types_debug.cmx
- Ocamlopt src/libraries/utils/cilconfig.cmx
- Ocamlopt src/kernel_services/ast_printing/cabs_debug.cmx
- Ocamlopt src/kernel_services/analysis/service_graph.cmx
- Ocamlopt src/plugins/value_types/widen_type.cmx
- Ocamlopt src/kernel_internals/typing/translate_lightweight.cmx
- Ocamlopt src/kernel_internals/typing/allocates.cmx
- Ocamlopt src/kernel_internals/typing/unroll_loops.cmx
- Ocamlopt src/kernel_internals/typing/asm_contracts.cmx
- Ocamlopt src/kernel_services/analysis/exn_flow.cmx
- Ocamlopt src/kernel_services/analysis/logic_interp.cmx
- Ocamlopt src/kernel_internals/typing/infer_annotations.cmx
- Ocamlopt src/kernel_services/ast_transformations/clone.cmx
- Ocamlopt src/kernel_services/ast_transformations/filter.cmx
- Ocamlopt src/kernel_internals/runtime/special_hooks.cmx
- Ocamlopt src/kernel_internals/runtime/messages.cmx
- Ocamlopt src/kernel_internals/runtime/boot.cmx
- Ocamlopt src/plugins/metrics/metrics_parameters.cmx
- Ocamlopt src/plugins/metrics/css_html.cmx
- Ocamlopt src/plugins/callgraph/journalize.cmx
- Ocamlopt src/plugins/callgraph/options.cmx
- Ocamlopt src/plugins/value/slevel/split_strategy.cmx
- Ocamlopt src/plugins/value/utils/widen_hints_ext.cmx
- Ocamlopt src/plugins/value/utils/eval_typ.cmx
- Ocamlopt src/plugins/value/utils/backward_formals.cmx
- Ocamlopt src/plugins/value/utils/structure.cmx
- Ocamlopt src/plugins/value/domains/hcexprs.cmx
- Ocamlopt src/plugins/value/domains/equality/equality.cmx
- Ocamlopt src/plugins/occurrence/options.cmx
- Ocamlopt src/plugins/rte/options.cmx
- Ocamlopt src/plugins/from/from_parameters.cmx
- Ocamlopt src/plugins/constant_propagation/propagationParameters.cmx
- Ocamlopt src/plugins/postdominators/postdominators_parameters.cmx
- Ocamlopt src/plugins/inout/inout_parameters.cmx
- Ocamlopt src/plugins/impact/options.cmx
- Ocamlopt src/plugins/pdg/pdg_parameters.cmx
- Ocamlopt src/plugins/scope/datascope.cmx
- Ocamlopt src/plugins/sparecode/sparecode_params.cmx
- Ocamlopt src/plugins/slicing/slicingParameters.cmx
- Ocamlopt src/plugins/slicing/slicingMarks.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Wp.cmxa
- Ocamlopt src/plugins/metrics/metrics_base.cmx
- Ocamlopt src/plugins/callgraph/cg.cmx
- Ocamlopt src/plugins/value/value_parameters.cmx
- Ocamlopt src/plugins/occurrence/register.cmx
- Ocamlopt src/plugins/rte/generator.cmx
- Ocamlopt src/plugins/rte/rte.cmx
- Ocamlopt src/plugins/from/from_compute.cmx
- Ocamlopt src/plugins/from/from_register.cmx
- Ocamlopt src/plugins/users/users_register.cmx
- Ocamlopt src/plugins/constant_propagation/register.cmx
- Ocamlopt src/plugins/postdominators/print.cmx
- Ocamlopt src/plugins/inout/cumulative_analysis.cmx
- Ocamlopt src/plugins/impact/pdg_aux.cmx
- Ocamlopt src/plugins/pdg/ctrlDpds.cmx
- Ocamlopt src/plugins/pdg/pdg_state.cmx
- Ocamlopt src/plugins/sparecode/globs.cmx
- Ocamlopt src/plugins/slicing/slicingState.cmx
- Ocamlopt src/kernel_services/analysis/destructors.cmx
- Ocamlopt src/plugins/sparecode/spare_marks.cmx
- Ocamlopt src/plugins/slicing/slicingCmds.cmx
- Ocamlopt src/plugins/metrics/metrics_acsl.cmx
- Ocamlopt src/plugins/metrics/metrics_cabs.cmx
- Ocamlopt src/plugins/metrics/metrics_cilast.cmx
- Ocamlopt src/plugins/metrics/metrics_coverage.cmx
- Ocamlopt src/plugins/rte/visit.cmx
- Ocamlopt src/plugins/slicing/slicingMacros.cmx
- Ocamlopt src/plugins/scope/zones.cmx
- Ocamlopt src/plugins/scope/defs.cmx
- Ocamlopt src/plugins/postdominators/compute.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmx
- Ocamlopt src/plugins/pdg/sets.cmx
- Ocamlopt src/plugins/inout/operational_inputs.cmx
- Ocamlopt src/plugins/inout/inputs.cmx
- Ocamlopt src/plugins/inout/derefs.cmx
- Ocamlopt src/plugins/impact/reason_graph.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Users.cmxs
- Ocamlopt src/plugins/sparecode/transform.cmx
- Ocamlopt src/plugins/pdg/build.cmx
- Ocamlopt src/plugins/slicing/slicingActions.cmx
- Ocamlopt src/plugins/value/slevel/stop_at_nth.cmx
- Ocamlopt src/plugins/value/utils/value_perf.cmx
- Ocamlopt src/plugins/value/utils/mark_noresults.cmx
- Ocamlopt src/plugins/value/slevel/separate.cmx
- Ocamlopt src/plugins/value/utils/widen.cmx
- Ocamlopt src/plugins/value/engine/split_return.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmx
- Ocamlopt src/plugins/callgraph/services.cmx
- Ocamlopt src/plugins/callgraph/uses.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Constant_Propagation.cmxs
- Ocamlopt src/plugins/from/functionwise.cmx
- Ocamlopt src/plugins/from/callwise.cmx
- Ocamlopt src/plugins/slicing/fct_slice.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Occurrence.cmxs
- Ocamlopt src/plugins/sparecode/register.cmx
- Ocamlopt src/plugins/pdg/annot.cmx
- Ocamlopt src/plugins/pdg/marks.cmx
- Ocamlopt src/plugins/impact/compute_impact.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Postdominators.cmxs
- Ocamlopt src/plugins/callgraph/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Scope.cmxs
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmx
- Ocamlopt src/plugins/value/utils/value_util.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Sparecode.cmxs
- Ocamlopt src/plugins/rte/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/From.cmxs
- Ocamlopt src/plugins/inout/outputs.cmx
- Ocamlopt src/plugins/metrics/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Callgraph.cmxs
- Ocamlopt src/plugins/slicing/printSlice.cmx
- Ocamlopt src/plugins/slicing/slicingTransform.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmx
- Ocamlopt src/plugins/pdg/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/RteGen.cmxs
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Metrics.cmxs
- Ocamlopt src/plugins/inout/register.cmx
- Ocamlopt src/plugins/value/slevel/per_stmt_slevel.cmx
- Ocamlopt src/plugins/value/utils/library_functions.cmx
- Ocamlopt src/plugins/value/alarmset.cmx
- Ocamlopt src/plugins/value/legacy/warn.cmx
- Ocamlopt src/plugins/value/domains/cvalue/cvalue_init.cmx
- Ocamlopt src/plugins/value/engine/recursion.cmx
- Ocamlopt src/plugins/impact/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmx
- Ocamlopt src/plugins/slicing/slicingProject.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Inout.cmxs
- Ocamlopt src/plugins/value/domains/cvalue/locals_scoping.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Pdg.cmxs
- Ocamlopt src/plugins/value/domains/cvalue/builtins.cmx
- Ocamlopt src/plugins/slicing/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmx
- Ocamlopt src/plugins/value/eval.cmx
- Ocamlopt src/plugins/value/values/main_locations.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Impact.cmxs
- Ocamlopt src/plugins/value/utils/value_results.cmx
- Ocamlopt src/plugins/value/values/value_product.cmx
- Ocamlopt src/plugins/value/values/location_lift.cmx
- Ocamlopt src/plugins/value/values/cvalue_forward.cmx
- Ocamlopt src/plugins/value/domains/domain_store.cmx
- Ocamlopt src/plugins/value/domains/domain_product.cmx
- Ocamlopt src/plugins/value/domains/domain_lift.cmx
- Ocamlopt src/plugins/value/domains/powerset.cmx
- Ocamlopt src/plugins/value/engine/transfer_logic.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Slicing.cmxs
- Ocamlopt src/plugins/value/domains/domain_builder.cmx
- Ocamlopt src/plugins/value/domains/gauges/gauges_domain.cmx
- Ocamlopt src/plugins/value/values/cvalue_backward.cmx
- Ocamlopt src/plugins/value/legacy/eval_op.cmx
- Ocamlopt src/plugins/value/domains/unit_domain.cmx
- Ocamlopt src/plugins/value/domains/symbolic_locs.cmx
- Ocamlopt src/plugins/value/legacy/function_args.cmx
- Ocamlopt src/plugins/value/domains/cvalue/builtins_malloc.cmx
- Ocamlopt src/plugins/value/domains/cvalue/builtins_string.cmx
- Ocamlopt src/plugins/value/domains/cvalue/builtins_misc.cmx
- Ocamlopt src/plugins/value/domains/cvalue/builtins_float.cmx
- Ocamlopt src/plugins/value/values/main_values.cmx
- Ocamlopt src/plugins/value/values/offsm_value.cmx
- Ocamlopt src/plugins/value/domains/apron/apron_domain.cmx
- Ocamlopt src/plugins/value/domains/equality/equality_domain.cmx
- Ocamlopt src/plugins/value/domains/cvalue/cvalue_transfer.cmx
- Ocamlopt src/plugins/value/engine/evaluation.cmx
- Ocamlopt src/plugins/value/utils/state_import.cmx
- Ocamlopt src/plugins/value/legacy/eval_terms.cmx
- Ocamlopt src/plugins/value/domains/offsm_domain.cmx
- Ocamlopt src/plugins/value/engine/non_linear_evaluation.cmx
- Ocamlopt src/plugins/value/legacy/eval_annots.cmx
- Ocamlopt src/plugins/value/domains/cvalue/cvalue_specification.cmx
- Ocamlopt src/plugins/value/domains/cvalue/cvalue_domain.cmx
- Ocamlopt src/plugins/value/engine/initialization.cmx
- Ocamlopt src/plugins/value/engine/partitioning.cmx
- Ocamlopt src/plugins/value/engine/abstractions.cmx
- Ocamlopt src/plugins/value/engine/transfer_stmt.cmx
- Ocamlopt src/plugins/value/engine/mem_exec.cmx
- Ocamlopt src/plugins/value/engine/partitioned_dataflow.cmx
- Ocamlopt src/plugins/value/engine/compute_functions.cmx
- Ocamlopt src/plugins/value/engine/analysis.cmx
- Ocamlopt src/plugins/value/register.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmx
- Packing /home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/lib/plugins/top/Value.cmxs
- Linking bin/toplevel.opt
- CC src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c
- make[1]: Entering directory '/home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/src/plugins/e-acsl/contrib/libjemalloc'
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/jemalloc.pic.o src/jemalloc.c
- AR src/plugins/e-acsl/lib/libeacsl-gmp.a
- ar: `u' modifier ignored since `D' is the default (see `U')
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/arena.pic.o src/arena.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/atomic.pic.o src/atomic.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/base.pic.o src/base.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/bitmap.pic.o src/bitmap.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk.pic.o src/chunk.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_dss.pic.o src/chunk_dss.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_mmap.pic.o src/chunk_mmap.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ckh.pic.o src/ckh.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ctl.pic.o src/ctl.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/extent.pic.o src/extent.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/hash.pic.o src/hash.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/huge.pic.o src/huge.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mb.pic.o src/mb.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mutex.pic.o src/mutex.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/nstime.pic.o src/nstime.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/pages.pic.o src/pages.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prng.pic.o src/prng.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prof.pic.o src/prof.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/quarantine.pic.o src/quarantine.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/rtree.pic.o src/rtree.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/stats.pic.o src/stats.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tcache.pic.o src/tcache.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ticker.pic.o src/ticker.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tsd.pic.o src/tsd.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/util.pic.o src/util.c
- src/util.c: In function '__e_acsl_hidden_je_malloc_vsnprintf':
- src/util.c:359:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 359 | case '?' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:377:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 377 | case 'j' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:365:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 365 | case 'l' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:371:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 371 | case 'q' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:386:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 386 | case 'z' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -fPIC -DPIC -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/witness.pic.o src/witness.c
- gcc -shared -Wl,-soname,libjemalloc.so.2 -o lib/libjemalloc.so.2 src/jemalloc.pic.o src/arena.pic.o src/atomic.pic.o src/base.pic.o src/bitmap.pic.o src/chunk.pic.o src/chunk_dss.pic.o src/chunk_mmap.pic.o src/ckh.pic.o src/ctl.pic.o src/extent.pic.o src/hash.pic.o src/huge.pic.o src/mb.pic.o src/mutex.pic.o src/nstime.pic.o src/pages.pic.o src/prng.pic.o src/prof.pic.o src/quarantine.pic.o src/rtree.pic.o src/stats.pic.o src/tcache.pic.o src/ticker.pic.o src/tsd.pic.o src/util.pic.o src/witness.pic.o -lpthread
- ln -sf libjemalloc.so.2 lib/libjemalloc.so
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/jemalloc.o src/jemalloc.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/arena.o src/arena.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/atomic.o src/atomic.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/base.o src/base.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/bitmap.o src/bitmap.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk.o src/chunk.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_dss.o src/chunk_dss.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/chunk_mmap.o src/chunk_mmap.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ckh.o src/ckh.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ctl.o src/ctl.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/extent.o src/extent.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/hash.o src/hash.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/huge.o src/huge.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mb.o src/mb.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/mutex.o src/mutex.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/nstime.o src/nstime.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/pages.o src/pages.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prng.o src/prng.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/prof.o src/prof.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/quarantine.o src/quarantine.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/rtree.o src/rtree.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/stats.o src/stats.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tcache.o src/tcache.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/ticker.o src/ticker.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/tsd.o src/tsd.c
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/util.o src/util.c
- src/util.c: In function '__e_acsl_hidden_je_malloc_vsnprintf':
- src/util.c:359:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 359 | case '?' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:377:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 377 | case 'j' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:365:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 365 | case 'l' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:371:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 371 | case 'q' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- src/util.c:386:2: warning: case label value exceeds maximum value for type [-Wswitch-outside-range]
- 386 | case 'z' | 0x80: \
- | ^~~~
- src/util.c:569:5: note: in expansion of macro 'GET_ARG_NUMERIC'
- 569 | GET_ARG_NUMERIC(val, 'p');
- | ^~~~~~~~~~~~~~~
- gcc -std=gnu99 -Wall -Werror=declaration-after-statement -Wsign-compare -pipe -g3 -fvisibility=hidden -O3 -funroll-loops -c -D_GNU_SOURCE -D_REENTRANT -Iinclude -Iinclude -o src/witness.o src/witness.c
- ar crus lib/libjemalloc.a src/jemalloc.o src/arena.o src/atomic.o src/base.o src/bitmap.o src/chunk.o src/chunk_dss.o src/chunk_mmap.o src/ckh.o src/ctl.o src/extent.o src/hash.o src/huge.o src/mb.o src/mutex.o src/nstime.o src/pages.o src/prng.o src/prof.o src/quarantine.o src/rtree.o src/stats.o src/tcache.o src/ticker.o src/tsd.o src/util.o src/witness.o
- ar: `u' modifier ignored since `D' is the default (see `U')
- ar crus lib/libjemalloc_pic.a src/jemalloc.pic.o src/arena.pic.o src/atomic.pic.o src/base.pic.o src/bitmap.pic.o src/chunk.pic.o src/chunk_dss.pic.o src/chunk_mmap.pic.o src/ckh.pic.o src/ctl.pic.o src/extent.pic.o src/hash.pic.o src/huge.pic.o src/mb.pic.o src/mutex.pic.o src/nstime.pic.o src/pages.pic.o src/prng.pic.o src/prof.pic.o src/quarantine.pic.o src/rtree.pic.o src/stats.pic.o src/tcache.pic.o src/ticker.pic.o src/tsd.pic.o src/util.pic.o src/witness.pic.o
- ar: `u' modifier ignored since `D' is the default (see `U')
- make[1]: Leaving directory '/home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0/src/plugins/e-acsl/contrib/libjemalloc'
-> compiled frama-c-base.15.0
Processing 25/25: [frama-c-base: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.03.0/.opam-switch/build/frama-c-base.15.0)
- Installing E-ACSL share files
- Installing E-ACSL libraries
- Installing E-ACSL scripts
- Installing E-ACSL man pages
- Cleaning Installation directory
- Installing WP shared files
- Installing Qed Library
- Installing kernel API
- Generating destination directories
- Installing shared files
- Installing C standard library
- Installing binaries
- Installing config files
- Installing API documentation
- Installing dynamic plug-ins
- Installing dynamic gui plug-ins
- Installing man pages
-> installed frama-c-base.15.0
Done.
# Run eval $(opam env) to update the current shell environment
2021-07-03 17:39.12 ---> saved as "7596de4060ab022cbc6d2471edeeaf93c24c632784b65b2a85d3ed5da26904df"
Job succeeded
Home|Differences with the last checks|Previous runs