Building on pima.ocamllabs.io
(from ocurrent/opam:debian-unstable)
2021-05-03 06:38.10 ---> 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 '01c350d759f8d4e3202596371818e6d997fa5fe2'\
\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.8.5 [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.2 [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.1
- 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
[dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.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.1] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.1/opam-0install-cudf-v0.4.1.tbz
[opam-file-format.2.1.2] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.2.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
<><> 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.8.5
-> installed stdlib-shims.0.3.0
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed opam-file-format.2.1.2
-> 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.1
-> 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-state.2.1.0~beta4
-> installed opam-solver.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
2021-05-03 06:38.10 ---> using "e3e694f2e2acefbb1c736074593e4ed9519fa28bcacb04ce221113caf7c619d7" 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-05-03 06:38.10 ---> using "994210567fc74f2e4ea2666c54af8efeef1124fd1b8a409e7a42a3900b5b0e3d" 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-05-03 06:38.10 ---> using "73d057d9a75d3fb712189b77476927d054d7247f8421955cb72dfcb0294b320e" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-05-03 06:38.10 ---> using "883cc12f2fd777afc528f51cf9b7c4e073248e757811f4b918a5f77d53bb7199" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 4.11.2"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.11.2"} | "ocaml-system" {= "4.11.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.11.2 (cached)
-> installed ocaml-base-compiler.4.11.2
-> installed ocaml-config.1
-> installed ocaml.4.11.2
Done.
# Run eval $(opam env --switch=4.11.2) to update the current shell environment
2021-05-03 06:38.10 ---> using "39a307cb58b2edc99e0c8e4c1fe2be25d20c81c40f1377470c899f291da34f2f" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [157 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 [8626 kB]
- Fetched 8847 kB in 7s (1278 kB/s)
- Reading package lists...
-
2021-05-03 06:38.10 ---> using "b93a3e795e0ea33edcd686be667f817384cfdfbc17f4f8a501e84051e50315f5" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam install -vy \"sawja.1.5.8\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"sawja.1.5.8\" | 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"))
The following actions will be performed:
- install conf-pkg-config 2 [required by conf-zlib]
- install ocamlfind 1.9.1 [required by sawja]
- install conf-which 1 [required by sawja]
- install dune 2.8.5 [required by cppo]
- install conf-zlib 1 [required by camlzip]
- install base-bytes base [required by extlib]
- install cppo 1.6.7 [required by extlib]
- install camlzip 1.10 [required by javalib]
- install extlib 1.7.8 [required by javalib]
- install javalib 3.2.1 [required by sawja]
- install sawja 1.5.8
===== 11 to install =====
The following system packages will first need to be installed:
pkg-config zlib1g-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" "pkg-config" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libglib2.0-0: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 ... 17845 files and directories currently installed.)
- Preparing to unpack .../0-libglib2.0-0_2.66.8-1_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.66.8-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../1-libglib2.0-data_2.66.8-1_all.deb ...
- Unpacking libglib2.0-data (2.66.8-1) ...
- Selecting previously unselected package libicu67:amd64.
- Preparing to unpack .../2-libicu67_67.1-6_amd64.deb ...
- Unpacking libicu67:amd64 (67.1-6) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../3-libxml2_2.9.10+dfsg-6.3+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.10+dfsg-6.3+b1) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../4-pkg-config_0.29.2-1_amd64.deb ...
- Unpacking pkg-config (0.29.2-1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../5-shared-mime-info_2.0-1_amd64.deb ...
- Unpacking shared-mime-info (2.0-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../6-xdg-user-dirs_0.17-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.17-2) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../7-zlib1g-dev_1%3a1.2.11.dfsg-2_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ...
- Setting up libicu67:amd64 (67.1-6) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:amd64 (2.66.8-1) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.66.8-1) ...
- Setting up pkg-config (0.29.2-1) ...
- Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ...
- Setting up libxml2:amd64 (2.9.10+dfsg-6.3+b1) ...
- Setting up shared-mime-info (2.0-1) ...
- Processing triggers for libc-bin (2.31-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/33:
Processing 3/33:
Processing 4/33:
Processing 5/33:
Processing 6/33:
Processing 7/33:
Processing 8/33: [conf-pkg-config: pkg-config]
Processing 9/33: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved camlzip.1.10 (cached)
Processing 10/33: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved cppo.1.6.7 (cached)
Processing 11/33: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved dune.2.8.5 (cached)
Processing 12/33: [conf-pkg-config: pkg-config] [conf-which: which which]
Processing 13/33: [conf-pkg-config: pkg-config] [conf-which: which which] [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/conf-pkg-config.2)
- Usage:
- pkg-config [OPTION?]
-
- Help Options:
- -h, --help Show help options
-
- Application Options:
- --version output version of pkg-config
- --modversion output version for package
- --atleast-pkgconfig-version=VERSION require given version of pkg-config
- --libs output all linker flags
- --static output linker flags for static linking
- --short-errors print short errors
- --libs-only-l output -l flags
- --libs-only-other output other libs (e.g. -pthread)
- --libs-only-L output -L flags
- --cflags output all pre-processor and compiler flags
- --cflags-only-I output -I flags
- --cflags-only-other output cflags not covered by the cflags-only-I option
- --variable=NAME get the value of variable named NAME
- --define-variable=NAME=VALUE set variable NAME to VALUE
- --exists return 0 if the module(s) exist
- --print-variables output list of variables defined by the module
- --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used
- --atleast-version=VERSION return 0 if the module is at least version VERSION
- --exact-version=VERSION return 0 if the module is at exactly version VERSION
- --max-version=VERSION return 0 if the module is at no newer than version VERSION
- --list-all list all known packages
- --debug show verbose debug information
- --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line)
- --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line)
- --errors-to-stdout print errors from --print-errors to stdout not stderr
- --print-provides print which packages the package provides
- --print-requires print which packages the package requires
- --print-requires-private print which packages the package requires for static linking
- --validate validate a package's .pc file
- --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets
-
- Usage:
- pkg-config [OPTION?]
-
- Help Options:
- -h, --help Show help options
-
- Application Options:
- --version output version of pkg-config
- --modversion output version for package
- --atleast-pkgconfig-version=VERSION require given version of pkg-config
- --libs output all linker flags
- --static output linker flags for static linking
- --short-errors print short errors
- --libs-only-l output -l flags
- --libs-only-other output other libs (e.g. -pthread)
- --libs-only-L output -L flags
- --cflags output all pre-processor and compiler flags
- --cflags-only-I output -I flags
- --cflags-only-other output cflags not covered by the cflags-only-I option
- --variable=NAME get the value of variable named NAME
- --define-variable=NAME=VALUE set variable NAME to VALUE
- --exists return 0 if the module(s) exist
- --print-variables output list of variables defined by the module
- --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used
- --atleast-version=VERSION return 0 if the module is at least version VERSION
- --exact-version=VERSION return 0 if the module is at exactly version VERSION
- --max-version=VERSION return 0 if the module is at no newer than version VERSION
- --list-all list all known packages
- --debug show verbose debug information
- --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line)
- --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line)
- --errors-to-stdout print errors from --print-errors to stdout not stderr
- --print-provides print which packages the package provides
- --print-requires print which packages the package requires
- --print-requires-private print which packages the package requires for static linking
- --validate validate a package's .pc file
- --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets
-
-> compiled conf-pkg-config.2
Processing 13/33: [conf-which: which which] [dune: ocaml bootstrap.ml]
Processing 14/33: [conf-which: which which] [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/conf-which.1)
- /usr/bin/which
- /usr/bin/which
-> compiled conf-which.1
Processing 14/33: [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
-> retrieved extlib.1.7.8 (cached)
Processing 15/33: [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
-> retrieved javalib.3.2.1 (cached)
-> retrieved ocamlfind.1.9.1 (cached)
Processing 16/33: [dune: ocaml bootstrap.ml] [ocamlfind: ./configure] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/4.11.2/lib/pkgconfig" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 16/33: [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
Processing 17/33: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
-> installed conf-which.1
Processing 18/33: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
-> retrieved sawja.1.5.8 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "zlib" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 18/33: [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
-> installed conf-zlib.1
Processing 19/33: [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.11.2/bin" "-sitelib" "/home/opam/.opam/4.11.2/lib" "-mandir" "/home/opam/.opam/4.11.2/man" "-config" "/home/opam/.opam/4.11.2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.11.2/.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: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found
- raw_spacetime: found
- 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 ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for raw_spacetime written to site-lib-src/raw_spacetime/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.11.2/lib/ocaml
- Binaries: /home/opam/.opam/4.11.2/bin
- Manual pages: /home/opam/.opam/4.11.2/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.11.2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.11.2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.11.2/bin
- Manual pages: /home/opam/.opam/4.11.2/man
- topfind script: /home/opam/.opam/4.11.2/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.
- 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: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found
- raw_spacetime: found
- 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 ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for raw_spacetime written to site-lib-src/raw_spacetime/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.11.2/lib/ocaml
- Binaries: /home/opam/.opam/4.11.2/bin
- Manual pages: /home/opam/.opam/4.11.2/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.11.2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.11.2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.11.2/bin
- Manual pages: /home/opam/.opam/4.11.2/man
- topfind script: /home/opam/.opam/4.11.2/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 19/33: [dune: ocaml bootstrap.ml] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.11.2/.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.11.2/.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.11.2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.11.2/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:
- 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *)
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.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.11.2/lib' \
- >topfind
- 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.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.11.2/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.11.2/.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.11.2/.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.11.2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.11.2/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:
- 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *)
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.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.11.2/lib' \
- >topfind
- 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.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.11.2/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.11.2/.opam-switch/build/ocamlfind.1.9.1'
Processing 19/33: [dune: ocaml bootstrap.ml] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.11.2/.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.11.2/.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:
- 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *)
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.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.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.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:
- 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *)
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.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.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
-> compiled ocamlfind.1.9.1
Processing 19/33: [dune: ocaml bootstrap.ml]
Processing 20/33: [dune: ocaml bootstrap.ml] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.11.2/.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.11.2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.11.2/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.11.2/bin"
- mkdir -p "/home/opam/.opam/4.11.2/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.11.2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.11.2/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.11.2/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.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.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.11.2/lib/findlib"
- mkdir -p "/home/opam/.opam/4.11.2/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.11.2/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.11.2/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.11.2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.11.2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.11.2/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.11.2/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink ocamldoc raw_spacetime stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.11.2/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.11.2/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.11.2/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.11.2/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.11.2/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.11.2/man/man1" "/home/opam/.opam/4.11.2/man/man3" "/home/opam/.opam/4.11.2/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.11.2/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.11.2/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.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.11.2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.11.2/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.11.2/bin"
- mkdir -p "/home/opam/.opam/4.11.2/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.11.2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.11.2/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.11.2/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.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.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.11.2/lib/findlib"
- mkdir -p "/home/opam/.opam/4.11.2/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.11.2/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.11.2/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.11.2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.11.2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.11.2/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.11.2/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink ocamldoc raw_spacetime stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.11.2/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.11.2/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.11.2/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.11.2/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.11.2/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.11.2/man/man1" "/home/opam/.opam/4.11.2/man/man3" "/home/opam/.opam/4.11.2/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.11.2/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.11.2/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
-> installed ocamlfind.1.9.1
Processing 20/33: [dune: ocaml bootstrap.ml]
Processing 21/33: [dune: ocaml bootstrap.ml]
Processing 22/33: [camlzip: make all] [dune: ocaml bootstrap.ml]
-> installed base-bytes.base
Processing 23/33: [camlzip: make all] [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/camlzip.1.10)
- ocamlfind ocamlc -g -safe-string -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o \
- -lz
- ocamlfind ocamlc -g -safe-string -c zlib.mli
- ocamlfind ocamlc -g -safe-string -c zlib.ml
- ocamlfind ocamlc -g -safe-string -c zip.mli
- ocamlfind ocamlc -g -safe-string -c zip.ml
- File "zip.ml", line 62, characters 16-37:
- 62 | if_channel: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 72, characters 16-38:
- 72 | of_channel: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 221, characters 11-33:
- 221 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 234, characters 4-23:
- 234 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 239, characters 2-21:
- 239 | Pervasives.close_in ifile.if_channel
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 375, characters 17-40:
- 375 | of_channel = Pervasives.open_out_bin filename;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 422, characters 2-22:
- 422 | Pervasives.close_out oc
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 557, characters 4-23:
- 557 | Pervasives.close_in ic
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 559, characters 4-23:
- 559 | Pervasives.close_in ic; raise x
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlc -g -safe-string -c gzip.mli
- File "gzip.mli", line 29, characters 18-39:
- 29 | val open_in_chan: Pervasives.in_channel -> in_channel
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.mli", line 89, characters 33-55:
- 89 | val open_out_chan: ?level:int -> Pervasives.out_channel -> out_channel
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlc -g -safe-string -c gzip.ml
- File "gzip.ml", line 23, characters 13-34:
- 23 | { in_chan: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 77, characters 11-33:
- 77 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 81, characters 4-23:
- 81 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 85, characters 12-28:
- 85 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 111, characters 14-30:
- 111 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 169, characters 2-21:
- 169 | Pervasives.close_in iz.in_chan
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 172, characters 14-36:
- 172 | { out_chan: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 199, characters 24-47:
- 199 | open_out_chan ~level (Pervasives.open_out_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 202, characters 2-19:
- 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 240, characters 4-26:
- 240 | Pervasives.output_byte oc (Int32.to_int !r);
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 265, characters 2-18:
- 265 | Pervasives.flush oz.out_chan
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 278, characters 2-22:
- 278 | Pervasives.close_out oz.out_chan
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo \
- -lz
- ocamlfind ocamlc -g -safe-string -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o \
- -lz
- ocamlfind ocamlc -g -safe-string -c zlib.mli
- ocamlfind ocamlc -g -safe-string -c zlib.ml
- ocamlfind ocamlc -g -safe-string -c zip.mli
- ocamlfind ocamlc -g -safe-string -c zip.ml
- File "zip.ml", line 62, characters 16-37:
- 62 | if_channel: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 72, characters 16-38:
- 72 | of_channel: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 221, characters 11-33:
- 221 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 234, characters 4-23:
- 234 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 239, characters 2-21:
- 239 | Pervasives.close_in ifile.if_channel
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 375, characters 17-40:
- 375 | of_channel = Pervasives.open_out_bin filename;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 422, characters 2-22:
- 422 | Pervasives.close_out oc
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 557, characters 4-23:
- 557 | Pervasives.close_in ic
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 559, characters 4-23:
- 559 | Pervasives.close_in ic; raise x
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlc -g -safe-string -c gzip.mli
- File "gzip.mli", line 29, characters 18-39:
- 29 | val open_in_chan: Pervasives.in_channel -> in_channel
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.mli", line 89, characters 33-55:
- 89 | val open_out_chan: ?level:int -> Pervasives.out_channel -> out_channel
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlc -g -safe-string -c gzip.ml
- File "gzip.ml", line 23, characters 13-34:
- 23 | { in_chan: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 77, characters 11-33:
- 77 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 81, characters 4-23:
- 81 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 85, characters 12-28:
- 85 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 111, characters 14-30:
- 111 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 169, characters 2-21:
- 169 | Pervasives.close_in iz.in_chan
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 172, characters 14-36:
- 172 | { out_chan: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 199, characters 24-47:
- 199 | open_out_chan ~level (Pervasives.open_out_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 202, characters 2-19:
- 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 240, characters 4-26:
- 240 | Pervasives.output_byte oc (Int32.to_int !r);
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 265, characters 2-18:
- 265 | Pervasives.flush oz.out_chan
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 278, characters 2-22:
- 278 | Pervasives.close_out oz.out_chan
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo \
- -lz
Processing 23/33: [camlzip: make allopt] [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "allopt" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/camlzip.1.10)
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- File "zip.ml", line 62, characters 16-37:
- 62 | if_channel: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 72, characters 16-38:
- 72 | of_channel: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 221, characters 11-33:
- 221 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 234, characters 4-23:
- 234 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 239, characters 2-21:
- 239 | Pervasives.close_in ifile.if_channel
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 375, characters 17-40:
- 375 | of_channel = Pervasives.open_out_bin filename;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 422, characters 2-22:
- 422 | Pervasives.close_out oc
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 557, characters 4-23:
- 557 | Pervasives.close_in ic
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 559, characters 4-23:
- 559 | Pervasives.close_in ic; raise x
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlopt -safe-string -c gzip.ml
- File "gzip.ml", line 23, characters 13-34:
- 23 | { in_chan: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 77, characters 11-33:
- 77 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 81, characters 4-23:
- 81 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 85, characters 12-28:
- 85 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 111, characters 14-30:
- 111 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 169, characters 2-21:
- 169 | Pervasives.close_in iz.in_chan
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 172, characters 14-36:
- 172 | { out_chan: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 199, characters 24-47:
- 199 | open_out_chan ~level (Pervasives.open_out_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 202, characters 2-19:
- 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 240, characters 4-26:
- 240 | Pervasives.output_byte oc (Int32.to_int !r);
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 265, characters 2-18:
- 265 | Pervasives.flush oz.out_chan
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 278, characters 2-22:
- 278 | Pervasives.close_out oz.out_chan
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx \
- -lz
- ocamlfind ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- File "zip.ml", line 62, characters 16-37:
- 62 | if_channel: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 72, characters 16-38:
- 72 | of_channel: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 221, characters 11-33:
- 221 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 234, characters 4-23:
- 234 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 239, characters 2-21:
- 239 | Pervasives.close_in ifile.if_channel
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 375, characters 17-40:
- 375 | of_channel = Pervasives.open_out_bin filename;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 422, characters 2-22:
- 422 | Pervasives.close_out oc
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 557, characters 4-23:
- 557 | Pervasives.close_in ic
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "zip.ml", line 559, characters 4-23:
- 559 | Pervasives.close_in ic; raise x
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlopt -safe-string -c gzip.ml
- File "gzip.ml", line 23, characters 13-34:
- 23 | { in_chan: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 77, characters 11-33:
- 77 | let ic = Pervasives.open_in_bin filename in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 81, characters 4-23:
- 81 | Pervasives.close_in ic; raise exn
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 85, characters 12-28:
- 85 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 111, characters 14-30:
- 111 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 169, characters 2-21:
- 169 | Pervasives.close_in iz.in_chan
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 172, characters 14-36:
- 172 | { out_chan: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 199, characters 24-47:
- 199 | open_out_chan ~level (Pervasives.open_out_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 202, characters 2-19:
- 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 240, characters 4-26:
- 240 | Pervasives.output_byte oc (Int32.to_int !r);
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 265, characters 2-18:
- 265 | Pervasives.flush oz.out_chan
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "gzip.ml", line 278, characters 2-22:
- 278 | Pervasives.close_out oz.out_chan
- ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx \
- -lz
- ocamlfind ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa
-> compiled camlzip.1.10
Processing 23/33: [dune: ocaml bootstrap.ml]
Processing 24/33: [dune: ocaml bootstrap.ml] [camlzip: make install-findlib]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-findlib" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/camlzip.1.10)
- cp META-zip META && \
- ocamlfind install zip META *.mli *.a *.cmi *.cma gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.11.2/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.11.2/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cma
- Installed /home/opam/.opam/4.11.2/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.11.2/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.a
- Installed /home/opam/.opam/4.11.2/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.11.2/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.mli
- Installed /home/opam/.opam/4.11.2/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.11.2/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.11.2/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.11.2/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.11.2/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.11.2/lib/camlzip/META
- cp META-zip META && \
- ocamlfind install zip META *.mli *.a *.cmi *.cma gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.11.2/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.11.2/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cma
- Installed /home/opam/.opam/4.11.2/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.11.2/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.a
- Installed /home/opam/.opam/4.11.2/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.11.2/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.11.2/lib/zip/zip.mli
- Installed /home/opam/.opam/4.11.2/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.11.2/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.11.2/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.11.2/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.11.2/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.11.2/lib/camlzip/META
-> installed camlzip.1.10
Processing 24/33: [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "127" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/dune.2.8.5)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 127
-
Processing 24/33: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "-p" "dune" "--profile" "dune-bootstrap" "-j" "127" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/dune.2.8.5)
-> compiled dune.2.8.5
-> installed dune.2.8.5
Processing 26/33: [cppo: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "127" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/cppo.1.6.7)
-> compiled cppo.1.6.7
-> installed cppo.1.6.7
Processing 28/33: [extlib: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "minimal=1" "build" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/extlib.1.7.8)
- fatal: not a git repository: '.git'
- make -C src build
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/extlib.1.7.8/src'
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -i extBytes.ml > extBytes.mli
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBytes.mli extBytes.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c enum.mli enum.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c bitSet.mli bitSet.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c dynArray.mli dynArray.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extArray.mli extArray.ml
- File "extArray.ml", line 1:
- Alert deprecated: make_float
- Use Array.create_float instead.
- File "array.mli", lines 60-61, characters 0-56:
- Definition
- File "extArray.mli", line 121, characters 2-37:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create
- Use Array.make instead.
- File "array.mli", lines 51-52, characters 0-48:
- Definition
- File "extArray.mli", line 153, characters 2-60:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create_matrix
- Use Array.make_matrix instead.
- File "array.mli", lines 85-86, characters 0-55:
- Definition
- File "extArray.mli", line 156, characters 2-56:
- Expected signature
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extHashtbl.mli extHashtbl.ml
- File "extHashtbl.ml", lines 26-27, characters 2-62:
- 26 | .._hash_param :
- | int -> int -> 'a -> int = "caml_hash_univ_param" "noalloc"
- | #endif
- |
- 27 | t...........................
- Alert deprecated: [@@noalloc] should be used instead of "noalloc"
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extList.mli extList.ml
- File "extList.ml", line 410, characters 15-33:
- 408 | ......
- 409 |
- 410 | .......t ?(cmp=Pervasives.........................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extString.mli extString.ml
- File "extString.ml", line 1:
- Alert deprecated: set
- Use Bytes.set instead.
- File "string.mli", lines 58-59, characters 0-47:
- Definition
- File "extString.mli", line 179, characters 2-42:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: create
- Use Bytes.create instead.
- File "string.mli", lines 67-68, characters 0-50:
- Definition
- File "extString.mli", line 180, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: copy
- File "string.mli", line 89, characters 0-48:
- Definition
- File "extString.mli", line 182, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: fill
- Use Bytes.fill instead.
- File "string.mli", lines 102-103, characters 0-48:
- Definition
- File "extString.mli", line 184, characters 2-50:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uppercase
- Use String.uppercase_ascii instead.
- File "string.mli", lines 244-245, characters 0-60:
- Definition
- File "extString.mli", line 200, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: lowercase
- Use String.lowercase_ascii instead.
- File "string.mli", lines 251-252, characters 0-60:
- Definition
- File "extString.mli", line 201, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: capitalize
- Use String.capitalize_ascii instead.
- File "string.mli", lines 258-259, characters 0-61:
- Definition
- File "extString.mli", line 202, characters 2-35:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uncapitalize
- Use String.uncapitalize_ascii instead.
- File "string.mli", lines 264-265, characters 0-63:
- Definition
- File "extString.mli", line 203, characters 2-37:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: unsafe_set
- File "string.mli", lines 338-339, characters 0-22:
- Definition
- File "extString.mli", line 219, characters 2-49:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: unsafe_fill
- File "string.mli", lines 343-345, characters 0-22:
- Definition
- File "extString.mli", line 221, characters 2-57:
- Expected signature
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBuffer.mli extBuffer.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c global.mli global.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c IO.mli IO.ml
- File "IO.ml", line 313, characters 14-30:
- 313 | = Pervasives.input ch s p l in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 317, characters 26-45:
- 317 | ..........................lose_in ch);
- | }
- |
- 317 | l......................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 323, characters 31-48:
- 323 | ut = (fun s p l -> Pervasives.output ch s p l; l);
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 324, characters 27-47:
- 324 | ...........................lose_out ch);
- 324 | ou..........................................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 325, characters 27-43:
- 325 | ...........................lush ch);
- | }
- |
- 325 | l.................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c option.mli option.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c pMap.mli pMap.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c std.mli std.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c refList.mli refList.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c optParse.mli optParse.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c dllist.mli dllist.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extLib.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -a -o extLib.cma extBytes.cmo enum.cmo bitSet.cmo dynArray.cmo extArray.cmo extHashtbl.cmo extList.cmo extString.cmo extBuffer.cmo global.cmo IO.cmo option.cmo pMap.cmo std.cmo refList.cmo optParse.cmo dllist.cmo extLib.cmo
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBytes.mli extBytes.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c enum.mli enum.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c bitSet.mli bitSet.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c dynArray.mli dynArray.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extArray.mli extArray.ml
- File "extArray.ml", line 1:
- Alert deprecated: make_float
- Use Array.create_float instead.
- File "array.mli", lines 60-61, characters 0-56:
- Definition
- File "extArray.mli", line 121, characters 2-37:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create
- Use Array.make instead.
- File "array.mli", lines 51-52, characters 0-48:
- Definition
- File "extArray.mli", line 153, characters 2-60:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create_matrix
- Use Array.make_matrix instead.
- File "array.mli", lines 85-86, characters 0-55:
- Definition
- File "extArray.mli", line 156, characters 2-56:
- Expected signature
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extHashtbl.mli extHashtbl.ml
- File "extHashtbl.ml", lines 26-27, characters 2-62:
- 26 | .._hash_param :
- | int -> int -> 'a -> int = "caml_hash_univ_param" "noalloc"
- | #endif
- |
- 27 | t...........................
- Alert deprecated: [@@noalloc] should be used instead of "noalloc"
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extList.mli extList.ml
- File "extList.ml", line 410, characters 15-33:
- 408 | ......
- 409 |
- 410 | .......t ?(cmp=Pervasives.........................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extString.mli extString.ml
- File "extString.ml", line 1:
- Alert deprecated: set
- Use Bytes.set instead.
- File "string.mli", lines 58-59, characters 0-47:
- Definition
- File "extString.mli", line 179, characters 2-42:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: create
- Use Bytes.create instead.
- File "string.mli", lines 67-68, characters 0-50:
- Definition
- File "extString.mli", line 180, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: copy
- File "string.mli", line 89, characters 0-48:
- Definition
- File "extString.mli", line 182, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: fill
- Use Bytes.fill instead.
- File "string.mli", lines 102-103, characters 0-48:
- Definition
- File "extString.mli", line 184, characters 2-50:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uppercase
- Use String.uppercase_ascii instead.
- File "string.mli", lines 244-245, characters 0-60:
- Definition
- File "extString.mli", line 200, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: lowercase
- Use String.lowercase_ascii instead.
- File "string.mli", lines 251-252, characters 0-60:
- Definition
- File "extString.mli", line 201, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: capitalize
- Use String.capitalize_ascii instead.
- File "string.mli", lines 258-259, characters 0-61:
- Definition
- File "extString.mli", line 202, characters 2-35:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uncapitalize
- Use String.uncapitalize_ascii instead.
- File "string.mli", lines 264-265, characters 0-63:
- Definition
- File "extString.mli", line 203, characters 2-37:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: unsafe_set
- File "string.mli", lines 338-339, characters 0-22:
- Definition
- File "extString.mli", line 219, characters 2-49:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: unsafe_fill
- File "string.mli", lines 343-345, characters 0-22:
- Definition
- File "extString.mli", line 221, characters 2-57:
- Expected signature
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBuffer.mli extBuffer.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c global.mli global.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c IO.mli IO.ml
- File "IO.ml", line 313, characters 14-30:
- 313 | = Pervasives.input ch s p l in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 317, characters 26-45:
- 317 | ..........................lose_in ch);
- | }
- |
- 317 | l......................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 323, characters 31-48:
- 323 | ut = (fun s p l -> Pervasives.output ch s p l; l);
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 324, characters 27-47:
- 324 | ...........................lose_out ch);
- 324 | ou..........................................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "IO.ml", line 325, characters 27-43:
- 325 | ...........................lush ch);
- | }
- |
- 325 | l.................
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c option.mli option.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c pMap.mli pMap.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c std.mli std.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c refList.mli refList.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c optParse.mli optParse.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c dllist.mli dllist.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -c extLib.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -a -o extLib.cmxa extBytes.cmx enum.cmx bitSet.cmx dynArray.cmx extArray.cmx extHashtbl.cmx extList.cmx extString.cmx extBuffer.cmx global.cmx IO.cmx option.cmx pMap.cmx std.cmx refList.cmx optParse.cmx dllist.cmx extLib.cmx
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 411\" -D WITH_BYTES" -g -bin-annot -package bytes -shared -linkall extLib.cmxa -o extLib.cmxs
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/extlib.1.7.8/src'
-> compiled extlib.1.7.8
Processing 29/33: [extlib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "minimal=1" "install" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/extlib.1.7.8)
- fatal: not a git repository: '.git'
- make -C src VERSION=1.7.8 install
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/extlib.1.7.8/src'
- ocamlfind install -patch-version 1.7.8 extlib META extLib.cma extBytes.mli enum.mli bitSet.mli dynArray.mli extArray.mli extHashtbl.mli extList.mli extString.mli extBuffer.mli global.mli IO.mli option.mli pMap.mli std.mli refList.mli optParse.mli dllist.mli extBytes.cmi enum.cmi bitSet.cmi dynArray.cmi extArray.cmi extHashtbl.cmi extList.cmi extString.cmi extBuffer.cmi global.cmi IO.cmi option.cmi pMap.cmi std.cmi refList.cmi optParse.cmi dllist.cmi extLib.cmi -optional extLib.cmxa extBytes.cmx enum.cmx bitSet.cmx dynArray.cmx extArray.cmx extHashtbl.cmx extList.cmx extString.cmx extBuffer.cmx global.cmx IO.cmx option.cmx pMap.cmx std.cmx refList.cmx optParse.cmx dllist.cmx extLib.cmx extLib.cmxs extLib.a extLib.lib extBytes.cmt enum.cmt bitSet.cmt dynArray.cmt extArray.cmt extHashtbl.cmt extList.cmt extString.cmt extBuffer.cmt global.cmt IO.cmt option.cmt pMap.cmt std.cmt refList.cmt optParse.cmt dllist.cmt extLib.cmt extBytes.cmti enum.cmti bitSet.cmti dynArray.cmti extArray.cmti extHashtbl.cmti extList.cmti extString.cmti extBuffer.cmti global.cmti IO.cmti option.cmti pMap.cmti std.cmti refList.cmti optParse.cmti dllist.cmti extLib.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/dllist.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/optParse.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/refList.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/std.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/pMap.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/option.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/IO.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/global.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBuffer.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extString.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extList.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extHashtbl.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extArray.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/dynArray.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/bitSet.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/enum.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBytes.cmti
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/dllist.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/optParse.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/refList.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/std.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/pMap.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/option.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/IO.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/global.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBuffer.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extString.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extList.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extHashtbl.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extArray.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/dynArray.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/bitSet.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/enum.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBytes.cmt
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.a
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.cmxs
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/dllist.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/optParse.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/refList.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/std.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/pMap.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/option.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/IO.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/global.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBuffer.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extString.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extList.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extHashtbl.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extArray.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/dynArray.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/bitSet.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/enum.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBytes.cmx
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.cmxa
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/dllist.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/optParse.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/refList.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/std.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/pMap.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/option.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/IO.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/global.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBuffer.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/extString.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/extList.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/extHashtbl.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/extArray.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/dynArray.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/bitSet.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/enum.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBytes.cmi
- Installed /home/opam/.opam/4.11.2/lib/extlib/dllist.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/optParse.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/refList.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/std.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/pMap.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/option.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/IO.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/global.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBuffer.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extString.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extList.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extHashtbl.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extArray.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/dynArray.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/bitSet.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/enum.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extBytes.mli
- Installed /home/opam/.opam/4.11.2/lib/extlib/extLib.cma
- Installed /home/opam/.opam/4.11.2/lib/extlib/META
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/extlib.1.7.8/src'
-> installed extlib.1.7.8
Processing 30/33: [javalib: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1)
- * Debug flag set to yes.
- * Ocamlfind found at /home/opam/.opam/4.11.2/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.11.2/lib.
- * Package zip v1.09 found at /home/opam/.opam/4.11.2/lib/zip.
- * Package unix found at /home/opam/.opam/4.11.2/lib/ocaml.
- * Package str found at /home/opam/.opam/4.11.2/lib/ocaml.
- * Package extlib found at /home/opam/.opam/4.11.2/lib/extlib.
- * Writing /home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/Makefile.config.
- Creating from /home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/Makefile.config.example.
- ... done.
- * Writing /home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/src/META.
- Creating from /home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/src/META.source.
- .. done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Javalib with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/javalib-doc.html).
Processing 30/33: [javalib: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/src'
- ocamllex jManifest.mll
- 13 states, 340 transitions, table size 1438 bytes
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamldep -I ptrees ../Makefile.config ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli ptrees/ptset.ml ptrees/ptmap.ml ptrees/genericSet.ml ptrees/genericMap.ml jLib.ml jBasics.ml jBasicsLow.ml jSignature.ml jCode.ml jClass.ml jDumpBasics.ml jParseCode.ml jInstruction.ml jUnparseSignature.ml jDumpLow.ml jHigh2Low.ml jUnparse.ml jParseSignature.ml jLow2High.ml jParse.ml jFile.ml jManifest.ml jPrint.ml javalib.ml > .depend
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.ml
- File "ptrees/ptset.ml", line 338, characters 12-30:
- 338 | List.sort Pervasives.compare (elements_aux [] s)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "ptrees/ptset.ml", line 602, characters 14-32:
- 602 | List.sort Pervasives.compare (elements_aux [] s)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jFile.ml
- File "jFile.ml", line 123, characters 13-35:
- 123 | let ch = Pervasives.open_in_bin (Filename.concat d c) in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "jFile.ml", line 159, characters 12-35:
- 159 | let f = Pervasives.open_out_bin (Filename.concat output_dir c) in
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "jFile.ml", line 174, characters 37-59:
- 174 | let input = JLib.IO.input_channel (Pervasives.open_in_bin file) in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "jFile.ml", line 294, characters 15-37:
- 294 | let ch = Pervasives.open_in_bin c in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmo ptrees/ptmap.cmo ptrees/genericSet.cmo ptrees/genericMap.cmo jLib.cmo jBasics.cmo jBasicsLow.cmo jSignature.cmo jCode.cmo jClass.cmo jDumpBasics.cmo jParseCode.cmo jInstruction.cmo jUnparseSignature.cmo jDumpLow.cmo jHigh2Low.cmo jUnparse.cmo jParseSignature.cmo jLow2High.cmo jParse.cmo jFile.cmo jManifest.cmo jPrint.cmo javalib.cmo -o javalib_pack.cmo
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptset.ml
- File "ptrees/ptset.ml", line 338, characters 12-30:
- 338 | List.sort Pervasives.compare (elements_aux [] s)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "ptrees/ptset.ml", line 602, characters 14-32:
- 602 | List.sort Pervasives.compare (elements_aux [] s)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jFile.ml
- File "jFile.ml", line 123, characters 13-35:
- 123 | let ch = Pervasives.open_in_bin (Filename.concat d c) in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "jFile.ml", line 159, characters 12-35:
- 159 | let f = Pervasives.open_out_bin (Filename.concat output_dir c) in
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "jFile.ml", line 174, characters 37-59:
- 174 | let input = JLib.IO.input_channel (Pervasives.open_in_bin file) in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "jFile.ml", line 294, characters 15-37:
- 294 | let ch = Pervasives.open_in_bin c in
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmx ptrees/ptmap.cmx ptrees/genericSet.cmx ptrees/genericMap.cmx jLib.cmx jBasics.cmx jBasicsLow.cmx jSignature.cmx jCode.cmx jClass.cmx jDumpBasics.cmx jParseCode.cmx jInstruction.cmx jUnparseSignature.cmx jDumpLow.cmx jHigh2Low.cmx jUnparse.cmx jParseSignature.cmx jLow2High.cmx jParse.cmx jFile.cmx jManifest.cmx jPrint.cmx javalib.cmx -o javalib_pack.cmx
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/src'
-> compiled javalib.3.2.1
Processing 31/33: [javalib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/src'
- /home/opam/.opam/4.11.2/bin/ocamlfind install javalib META javalib.cma javalib.cmi javalib.cmxa javalib_pack.cmi javalib_pack.cmo javalib_pack.cmx javalib_pack.o ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli javalib.a
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib.a
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jManifest.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jFile.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jHigh2Low.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jLow2High.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jParse.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jParseSignature.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jUnparse.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jInstruction.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jParseCode.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jDumpLow.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jUnparseSignature.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jDumpBasics.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jClass.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jClassLow.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jCode.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jSignature.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jBasicsLow.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jBasics.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/jLib.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/genericMap.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/genericSet.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/ptmap.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/ptset.mli
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib_pack.o
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib_pack.cmx
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib_pack.cmo
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib_pack.cmi
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib.cmxa
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib.cmi
- Installed /home/opam/.opam/4.11.2/lib/javalib/javalib.cma
- Installed /home/opam/.opam/4.11.2/lib/javalib/META
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/javalib.3.2.1/src'
-> installed javalib.3.2.1
Processing 32/33: [sawja: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8)
- * Debug flag set to yes.
- * Buddy flag set to no. Sawja won't use the buddy BDD package.
- * Ocamlfind found at /home/opam/.opam/4.11.2/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.11.2/lib.
- ./configure.sh: line 113: [: JAVALIB_TRUNK: integer expression expected
- ./configure.sh: line 114: [: JAVALIB_TRUNK: integer expression expected
- * Package javalib v3.2.1 found at /home/opam/.opam/4.11.2/lib/javalib.
- * Writing /home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8/Makefile.config.
- Creating from /home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8/Makefile.config.example.
- ... done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Sawja with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html).
Processing 32/33: [sawja: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8/src'
- ocamlyacc heap_parser/parse_heap.mly
- cp classDomainPtrees.ml classDomain.ml
- rm -f safe.ml
- for i in safe_domain.ml safe_var.ml safe_state.ml safe_constraints.ml safe_solver.ml; do \
- echo `basename $i .ml` | \
- awk 'BEGIN{ORS="";OFS="";}{print "module " toupper(substr($0,6,1)) substr($0,7,length($0)-6) "= struct\n";}' >> safe.ml;\
- echo "# 1 \""$i"\"" >> safe.ml;\
- cat $i >> safe.ml;\
- echo " end">> safe.ml;\
- done
- ocamllex heap_parser/lex_heap.mll
- 82 states, 4559 transitions, table size 18728 bytes
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli jUtil.ml iter.ml iter2.ml wlist.ml jProgram.ml classDomain.ml jsrInline.ml jControlFlow.ml jPrintUtil.ml jPrintHtml.ml jPrintPlugin.ml argPlugin.ml jCodePP.ml cmn.ml bir.ml birA3.ml jBir.ml jBirPP.ml a3Bir.ml a3BirPP.ml dataflow_analyses/live_bir.ml dataflow_analyses/live_a3bir.ml jBirSSA.ml jBirSSAPP.ml a3BirSSA.ml a3BirSSAPP.ml safe.ml reachableMethods.ml jNativeStubs.ml jType.ml nexir.ml heap_parser//parserType.ml heap_parser//parse_heap.ml heap_parser/lex_heap.ml heap_parser/heapParser.ml jCRA.ml jRTA.ml jRTAWithHeap.ml jRRTA.ml XTA.ml jCFAOptions.ml jCFADom.ml jCFAPrinter.ml jCFA.ml dataflow_analyses/reachDef.ml dataflow_analyses/availableExpr.ml dataflow_analyses/availableExprSSA.ml > .depend
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- File "jProgram.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- File "classDomain.mli", line 23, characters 11-12:
- 23 | functor (S : sig val nb_bits:int end) ->
- ^
- Warning 67: unused functor parameter S.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- File "jControlFlow.mli", line 32, characters 0-45:
- 32 | (** {2 JVM resolution and lookup functions}*)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 33, characters 0-43:
- 33 | (** {3 Lookup and resolution procedures} *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: unattached documentation comment (ignored)
- File "jControlFlow.mli", lines 34-35, characters 0-23:
- 34 | (** {b Warning : lookup and resolve functions do not take in account
- 35 | visibility yet}! *)
- Warning 50: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 27, characters 0-17:
- 27 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- File "jPrintHtml.mli", line 150, characters 2-26:
- 150 | (** Type of the code. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: ambiguous documentation comment
- File "jPrintHtml.mli", line 28, characters 0-17:
- 28 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- File "jPrintPlugin.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- File "jCodePP.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.mli", line 26, characters 0-17:
- 26 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33: unused open JControlFlow.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- File "jBir.mli", line 29, characters 0-17:
- 29 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- File "jBirPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33: unused open JControlFlow.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- File "a3Bir.mli", line 33, characters 0-39:
- 33 | (** Abstract data type for variables *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: ambiguous documentation comment
- File "a3Bir.mli", line 34, characters 0-68:
- 34 | (** [var_equal v1 v2] is equivalent to [v1 = v2], but is faster. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: ambiguous documentation comment
- File "a3Bir.mli", line 31, characters 0-17:
- 31 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- File "a3BirPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33: unused open JControlFlow.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- File "jBirSSA.mli", line 29, characters 0-20:
- 29 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50: unattached documentation comment (ignored)
- File "jBirSSA.mli", lines 342-344, characters 0-18:
- 342 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 343 | point [pc] must be executed before the corresponding [code.(pc)]
- 344 | instruction.*)
- Warning 50: ambiguous documentation comment
- File "jBirSSA.mli", line 25, characters 0-17:
- 25 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- File "jBirSSAPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33: unused open JControlFlow.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- File "a3BirSSA.mli", line 30, characters 0-20:
- 30 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50: unattached documentation comment (ignored)
- File "a3BirSSA.mli", lines 310-312, characters 0-18:
- 310 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 311 | point [pc] must be executed before the corresponding [code.(pc)]
- 312 | instruction.*)
- Warning 50: ambiguous documentation comment
- File "a3BirSSA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- File "a3BirSSAPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33: unused open JControlFlow.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- File "safe.mli", lines 119-123, characters 6-44:
- 119 | ......(** [join_ad modifies v1 v2] returns the union of [v1] and [v2]
- 120 | and sets [modifies] to true if the result is different from
- 121 | [v1]. The option [do_join] allows avoiding to compute the
- 122 | join of values when it is known that the target value (the
- 123 | second one) is smaller or equal.*)
- Warning 50: ambiguous documentation comment
- File "safe.mli", lines 139-141, characters 6-19:
- 139 | ......(** [init] is an initial value for local variables: it is not bottom but
- 140 | contains no local variable (it correspond to a reachable point in the
- 141 | code). *)
- Warning 50: ambiguous documentation comment
- File "safe.mli", line 173, characters 6-34:
- 173 | (** initial (empty) stack *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: ambiguous documentation comment
- File "safe.mli", lines 178-179, characters 6-26:
- 178 | ......(** raise [Invalid_argument] if the stack is empty. Raise Failure if the
- 179 | stack is Top. *)
- Warning 50: ambiguous documentation comment
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- File "reachableMethods.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- File "heap_parser//parserType.mli", line 70, characters 0-24:
- 70 | (**for array instance.*)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50: ambiguous documentation comment
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- File "heap_parser/heapParser.mli", line 21, characters 0-12:
- 21 | open JBasics
- ^^^^^^^^^^^^
- Warning 33: unused open Javalib_pack.JBasics.
- File "heap_parser/heapParser.mli", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 33: unused open JProgram.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- File "jRTA.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.mli", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 33: unused open Javalib_pack.Javalib.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- File "jRRTA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.mli", line 28, characters 0-12:
- 28 | open Javalib
- ^^^^^^^^^^^^
- Warning 33: unused open Javalib_pack.Javalib.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- File "jCFADom.mli", lines 44-46, characters 2-39:
- 44 | ..(** [singleton pps cn]: Create a set from a singleton element. [pps] is a list
- 45 | * of program point characterizing the location of the affectation. cn is the
- 46 | * class of the allocated object. *)
- Warning 50: ambiguous documentation comment
- File "jCFADom.mli", lines 58-59, characters 0-42:
- 58 | (** [filter_with_uncompatible prog abs cn] :Restrain the abstraction [abs] to
- 59 | * the type not compatible with [cn].*)
- Warning 50: ambiguous documentation comment
- File "jCFADom.mli", lines 90-93, characters 2-50:
- 90 | ..(** [fSet2var fset objvSet]: From a field abstraction [fset] and [objvSet],
- 91 | * the abstraction of the object variable used to access the field, return
- 92 | * a variable abstraction corresponding to the possible abstract values when
- 93 | * then variable is affected the field value.*)
- Warning 50: ambiguous documentation comment
- File "jCFADom.mli", line 146, characters 48-62:
- 146 | val join_ad : ?do_join:bool -> ?modifies:bool Pervasives.ref ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- File "iter2.ml", lines 126-180, characters 0-5:
- 126 | module CycleDetection = struct
- 127 |
- 128 | (* Tarjan's strongly connected components algorithm *)
- 129 | let run size iter_adj : int array =
- 130 | let max_scc_length = ref 0 in
- ...
- 177 | scc
- 178 |
- 179 |
- 180 | end
- Warning 60: unused module CycleDetection.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- File "jProgram.ml", line 23, characters 0-17:
- 23 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jProgram.ml", line 220, characters 9-21:
- 220 | i1.i_interfaces false
- ^^^^^^^^^^^^
- Warning 41: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 246, characters 6-18:
- 246 | i.i_interfaces
- ^^^^^^^^^^^^
- Warning 41: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 254, characters 6-18:
- 254 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41: c_interfaces belongs to several types: class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jProgram.ml", line 519, characters 37-67:
- 519 | map_program2' (map_program_classes map_interface_or_class_context) f fpp p
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?force
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "classDomain.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "classDomain.ml", line 21, characters 13-14:
- 21 | module Make (S:sig end) = struct
- ^
- Warning 60: unused module S.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- File "jsrInline.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jsrInline.ml", line 22, characters 0-12:
- 22 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "jControlFlow.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jControlFlow.ml", line 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?jvm
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45: this open statement shadows the label i_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45: this open statement shadows the label c_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier defines_field (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier defines_method (which is later used)
- File "jControlFlow.ml", line 362, characters 6-18:
- 362 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41: c_interfaces belongs to several types: JProgram.class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jControlFlow.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "jPrintUtil.ml", line 149, characters 0-17:
- 149 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.ml
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintHtml.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "jPrintPlugin.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_methods (which is later used)
- File "jPrintPlugin.ml", line 707, characters 4-26:
- 707 | open AdaptedASTGrammar
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor Return (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "jCodePP.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier defines_method (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "cmn.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "cmn.ml", line 161, characters 43-50:
- 161 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32: unused value compare.
- File "cmn.ml", line 274, characters 16-18:
- 274 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27: unused variable md.
- File "cmn.ml", line 275, characters 18-20:
- 275 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27: unused variable mh.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "bir.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "bir.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "bir.ml", line 447, characters 37-46:
- 447 | List.iter (fun e -> jump_target.(e.e_handler) <- true) m.bir_exc_tbl ;
- ^^^^^^^^^
- Warning 41: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2711, characters 42-51:
- 2711 | (List.map (fun (i, e) -> (i, NoP, e.e_handler)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3149, characters 26-33:
- 3149 | { e_start= find e.e_start
- ^^^^^^^
- Warning 41: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3180, characters 27-34:
- 3180 | let in_scope = ref e.e_start in
- ^^^^^^^
- Warning 41: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3274, characters 43-50:
- 3274 | { e_start= new_code_corresp.(e.e_start)
- ^^^^^^^
- Warning 41: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3550, characters 40-50:
- 3550 | (String.concat "::" (List.map print_expr e))
- ^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 3639, characters 34-43:
- 3639 | (List.map (fun (i, e) -> (e.e_handler, [], i)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3812, characters 45-52:
- 3812 | Printf.printf " [%d, %d] --> %d\n" e.e_start e.e_end e.e_handler )
- ^^^^^^^
- Warning 41: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4029, characters 17-24:
- 4029 | { e_start= e.e_start
- ^^^^^^^
- Warning 41: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4056, characters 40-49:
- 4056 | List.iter (fun (i, e) -> add_pred e.e_handler i) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4077, characters 37-46:
- 4077 | List.iter (fun (i, e) -> add i e.e_handler) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4765, characters 60-70:
- 4765 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4783, characters 60-70:
- 4783 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4791, characters 60-70:
- 4791 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4807, characters 60-70:
- 4807 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4827, characters 60-70:
- 4827 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4886, characters 15-22:
- 4886 | handler.e_start handler.e_end handler.e_handler
- ^^^^^^^
- Warning 41: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4917, characters 6-19:
- 4917 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier iter (which is later used)
- File "bir.ml", line 4963, characters 6-19:
- 4963 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "bir.ml", line 5138, characters 38-47:
- 5138 | (fun map eh -> Ptmap.add eh.e_handler eh.e_catch_type map)
- ^^^^^^^^^
- Warning 41: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 5336, characters 29-40:
- 5336 | let inst_disp = inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- File "bir.ml", line 96, characters 16-18:
- 96 | | `MethodType md ->
- ^^
- Warning 27: unused variable md.
- File "bir.ml", line 98, characters 18-20:
- 98 | | `MethodHandle mh ->
- ^^
- Warning 27: unused variable mh.
- File "bir.ml", line 309, characters 25-27:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27: unused variable bm.
- File "bir.ml", line 309, characters 29-31:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27: unused variable ms.
- File "bir.ml", line 309, characters 33-35:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27: unused variable le.
- File "bir.ml", line 313, characters 21-23:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27: unused variable cn.
- File "bir.ml", line 313, characters 25-27:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27: unused variable fs.
- File "bir.ml", line 315, characters 22-24:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27: unused variable cn.
- File "bir.ml", line 315, characters 26-28:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27: unused variable fs.
- File "bir.ml", line 317, characters 21-23:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27: unused variable cn.
- File "bir.ml", line 317, characters 25-27:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27: unused variable fs.
- File "bir.ml", line 319, characters 22-24:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27: unused variable cn.
- File "bir.ml", line 319, characters 26-28:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27: unused variable fs.
- File "bir.ml", line 321, characters 26-28:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27: unused variable ot.
- File "bir.ml", line 321, characters 30-32:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27: unused variable ms.
- File "bir.ml", line 323, characters 29-31:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27: unused variable cn.
- File "bir.ml", line 323, characters 33-35:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27: unused variable ms.
- File "bir.ml", line 325, characters 24-25:
- 325 | | `InvokeStatic m ->
- ^
- Warning 27: unused variable m.
- File "bir.ml", line 327, characters 25-26:
- 327 | | `InvokeSpecial m ->
- ^
- Warning 27: unused variable m.
- File "bir.ml", line 329, characters 28-30:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27: unused variable cn.
- File "bir.ml", line 329, characters 32-34:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27: unused variable ms.
- File "bir.ml", line 3389, characters 30-36:
- 3389 | let nir_code, nir2bc, nbc2ir, nir_exc_tbl =
- ^^^^^^
- Warning 27: unused variable nbc2ir.
- File "bir.ml", line 4236, characters 11-12:
- 4236 | (fun i w ->
- ^
- Warning 27: unused variable i.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- File "birA3.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- File "jBirPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- File "a3BirPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "dataflow_analyses/live_bir.ml", line 59, characters 65-80:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e))
- ^^^^^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e))
- ^^^^^^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "jBirSSAPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "a3BirSSAPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "safe_domain.ml", line 80, characters 4-32:
- Warning 50: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50: ambiguous documentation comment
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "reachableMethods.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "reachableMethods.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "jType.ml", line 93, characters 42-49:
- 93 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32: unused value compare.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor Atom (which is later used)
- File "nexir.ml", line 170, characters 31-35:
- 170 | | A3Bir.Atom(cmp,tv1,tv2) -> Atom(BinCond(cmp,Var tv1,Var tv2))
- ^^^^
- Warning 41: Atom belongs to several types: Formula.formula A3Bir.formula
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor BoolVar (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor And (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor Or (which is later used)
- File "nexir.ml", line 311, characters 6-18:
- 311 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 312, characters 6-17:
- 312 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 284, characters 31-34:
- 284 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor CheckNullPointer (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor CheckArrayStore (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor CheckNegativeArraySize (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor CheckCast (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor CheckArithmetic (which is later used)
- File "nexir.ml", line 471, characters 28-31:
- 471 | Ptmap.add start_pc [Nop, 0]
- ^^^
- Warning 41: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 539, characters 4-20:
- 539 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 18, characters 0-38:
- 18 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 144, characters 4-18:
- 144 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32: unused value clear_fresh_pc.
- File "nexir.ml", line 146, characters 17-21:
- 146 | let get_fresh_pc unit : int =
- ^^^^
- Warning 27: unused variable unit.
- File "nexir.ml", line 544, characters 17-18:
- 544 | | CheckCast (e,t) ->
- ^
- Warning 27: unused variable t.
- File "nexir.ml", line 570, characters 17-18:
- 570 | let (t, v ) = tv in
- ^
- Warning 27: unused variable t.
- File "nexir.ml", line 597, characters 13-21:
- 597 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27: unused variable opcode.
- File "nexir.ml", line 622, characters 35-36:
- 622 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27: unused variable v.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "jCRA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45: this open statement shadows the label c_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45: this open statement shadows the label i_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "jRTA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.ml", line 109, characters 21-28:
- 109 | (ClassMap.find cs p.classes,fields_of_nodes)
- ^^^^^^^
- Warning 41: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 229, characters 20-27:
- 229 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier defines_method (which is later used)
- File "jRTA.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "jRRTA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "jRRTA.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "XTA.ml", lines 63-66, characters 2-74:
- 63 | ..(** [get_relevant_operations program m] returns the sets of instance
- 64 | fields that are read, instance field that are written, static
- 65 | fields that are read, static fields that are written, classes
- 66 | that are instantiated and handled exceptions types in that order. *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", lines 160-161, characters 2-38:
- 160 | ..(** returns a set with all the classes that extends (or implements) the class or
- 161 | interface given as parameter. *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", lines 288-295, characters 4-23:
- 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value
- 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list]
- 290 | have been removed. Partial applications with a program and a type_list
- 291 | are encourage as it should speed up the computation.
- 292 |
- 293 | As an optimization, [refine_with_type program type_list] may return
- 294 | [None] to encode a function that would otherwise always returns
- 295 | [XTADom.bot] *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", lines 740-745, characters 2-46:
- 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of
- 741 | methods that may be called for a call to [invoke] from [(cn,ms)]
- 742 | with the [classmap] as [program.classes]. Note: partial
- 743 | applications with the state and the classmap are greatly
- 744 | encourage, as partial application with the caller ([cn] and
- 745 | [ms]) has it speed up the resolution. *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_field (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "XTA.ml", line 280, characters 13-15:
- 280 | let module ED = Domain.Empty in
- ^^
- Warning 60: unused module ED.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- File "jCFADom.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFADom.ml", line 21, characters 0-12:
- 21 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier pp_open_hvbox (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier pp_print_string (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier pp_print_space (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier pp_close_box (which is later used)
- File "jCFADom.ml", line 29, characters 19-23:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27: unused variable lst1.
- File "jCFADom.ml", line 29, characters 30-34:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27: unused variable lst2.
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26: unused variable cmp_list.
- File "jCFADom.ml", line 33, characters 12-14:
- 33 | | [], e2::_ -> 1
- ^^
- Warning 27: unused variable e2.
- File "jCFADom.ml", line 72, characters 39-46:
- 72 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32: unused value compare.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "jCFAPrinter.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- File "jCFA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFA.ml", line 430, characters 6-17:
- 430 | let open JBirPP in
- ^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_class (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor VLong (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor VFloat (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor VDouble (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor VObject (which is later used)
- File "jCFA.ml", line 1130, characters 6-19:
- 1130 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19:
- 116 | (index v,Nop,i0)::l)
- ^^^
- Warning 41: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8:
- 135 | (0,Nop,index v)::l)
- ^^^
- Warning 41: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32:
- 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var))
- ^^^
- Warning 41: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -pack jUtil.cmo iter.cmo iter2.cmo wlist.cmo jProgram.cmo classDomain.cmo jsrInline.cmo jControlFlow.cmo jPrintUtil.cmo jPrintHtml.cmo jPrintPlugin.cmo argPlugin.cmo jCodePP.cmo cmn.cmo bir.cmo birA3.cmo jBir.cmo jBirPP.cmo a3Bir.cmo a3BirPP.cmo dataflow_analyses/live_bir.cmo dataflow_analyses/live_a3bir.cmo jBirSSA.cmo jBirSSAPP.cmo a3BirSSA.cmo a3BirSSAPP.cmo safe.cmo reachableMethods.cmo jNativeStubs.cmo jType.cmo nexir.cmo heap_parser//parserType.cmo heap_parser//parse_heap.cmo heap_parser/lex_heap.cmo heap_parser/heapParser.cmo jCRA.cmo jRTA.cmo jRTAWithHeap.cmo jRRTA.cmo XTA.cmo jCFAOptions.cmo jCFADom.cmo jCFAPrinter.cmo jCFA.cmo dataflow_analyses/reachDef.cmo dataflow_analyses/availableExpr.cmo dataflow_analyses/availableExprSSA.cmo -o sawja_pack.cmo
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_bir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_a3bir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parse_heap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/lex_heap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26: unused variable cmp_list.
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -pack jUtil.cmx iter.cmx iter2.cmx wlist.cmx jProgram.cmx classDomain.cmx jsrInline.cmx jControlFlow.cmx jPrintUtil.cmx jPrintHtml.cmx jPrintPlugin.cmx argPlugin.cmx jCodePP.cmx cmn.cmx bir.cmx birA3.cmx jBir.cmx jBirPP.cmx a3Bir.cmx a3BirPP.cmx dataflow_analyses/live_bir.cmx dataflow_analyses/live_a3bir.cmx jBirSSA.cmx jBirSSAPP.cmx a3BirSSA.cmx a3BirSSAPP.cmx safe.cmx reachableMethods.cmx jNativeStubs.cmx jType.cmx nexir.cmx heap_parser//parserType.cmx heap_parser//parse_heap.cmx heap_parser/lex_heap.cmx heap_parser/heapParser.cmx jCRA.cmx jRTA.cmx jRTAWithHeap.cmx jRRTA.cmx XTA.cmx jCFAOptions.cmx jCFADom.cmx jCFAPrinter.cmx jCFA.cmx dataflow_analyses/reachDef.cmx dataflow_analyses/availableExpr.cmx dataflow_analyses/availableExprSSA.cmx -o sawja_pack.cmx
- /home/opam/.opam/4.11.2/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8/src'
-> compiled sawja.1.5.8
Processing 33/33: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8/src'
- if [ "no" = "yes" ]; then \
- sed 's/requires = "javalib"/requires = "javalib,buddy"/' META.source > META ; \
- else \
- sed 's/requires = "javalib"/requires = "javalib"/' META.source > META ; \
- fi
- /home/opam/.opam/4.11.2/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli sawja_pack.cmi sawja_pack.cmo sawja_pack.cmx sawja_pack.o bir.cmi sawja.a
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.11.2/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.11.2/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/iter2.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.11.2/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.11.2/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/sawja.1.5.8/src'
-> installed sawja.1.5.8
Done.
# Run eval $(opam env) to update the current shell environment
2021-05-03 06:39.28 ---> saved as "025a2c0bebe35e69e1b9e33e32ef70d93ad73eb5c2e57d3da0e4a47ad1afc6c9"
Job succeeded
Home|Differences with the last checks|Previous runs