Building on x86-bm-2.ocamllabs.io
(from ocaml/opam:debian-unstable)
2021-12-03 19:28.29 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2021-12-03 19:28.29 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q b1ed080260d9fb3332ffd1ed74a70b40f8d46d66"))
2021-12-03 19:28.29 ---> using "470a5139cd314c308ef6f8a7115ce3eecbef27ce3b36ad57c590d49c448a8f62" from cache
/: (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-12-03 19:28.29 ---> using "6ff696b0fce120bd80d73dc055775d9b6cd971171da508a2aeef8fc7d75ea210" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.12' '4.12.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.12.1"} | "ocaml-system" {= "4.12.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.12.1 (cached)
-> installed ocaml-base-compiler.4.12.1
-> installed ocaml-config.2
-> installed ocaml.4.12.1
Done.
# Run eval $(opam env --switch=4.12) to update the current shell environment
2021-12-03 19:28.29 ---> using "ca7b6caf7a46ddb28076c5a6f691f2d0763957be051563a9718de14fdb1c5ef8" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2021-12-02-2006.44-F-2021-11-23-2001.32.pdiff [526 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2021-12-02-2006.44-F-2021-11-23-2001.32.pdiff [526 kB]
- Fetched 755 kB in 2s (400 kB/s)
- Reading package lists...
-
2021-12-03 19:28.29 ---> using "ad5cb488dd2cd44108a641e9f4b1b432ff2c0ea292d3a55069379dafdf4023b1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"sawja.1.5.11\"\
\nopam install -vy \"sawja.1.5.11\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"sawja.1.5.11\" | 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"))
[NOTE] sawja.1.5.11 is not installed.
Nothing to do.
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 javalib]
- install dune 2.9.1 [required by cppo]
- install conf-zlib 1 [required by camlzip]
- install base-bytes base [required by extlib]
- install cppo 1.6.8 [required by extlib]
- install camlzip 1.11 [required by javalib]
- install extlib 1.7.8 [required by javalib]
- install javalib 3.2.1 [required by sawja]
- install sawja 1.5.11
===== 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?
(answer 'n' for other options) [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 ... 18119 files and directories currently installed.)
- Preparing to unpack .../0-libglib2.0-0_2.70.1-1_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.70.1-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../1-libglib2.0-data_2.70.1-1_all.deb ...
- Unpacking libglib2.0-data (2.70.1-1) ...
- Selecting previously unselected package libicu67:amd64.
- Preparing to unpack .../2-libicu67_67.1-7_amd64.deb ...
- Unpacking libicu67:amd64 (67.1-7) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../3-libxml2_2.9.12+dfsg-5+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.12+dfsg-5+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-7) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:amd64 (2.70.1-1) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.70.1-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.12+dfsg-5+b1) ...
- Setting up shared-mime-info (2.0-1) ...
- Processing triggers for libc-bin (2.32-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.11 (cached)
Processing 10/33: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved cppo.1.6.8 (cached)
Processing 11/33: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved dune.2.9.1 (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.12/.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.12/.opam-switch/build/conf-which.1)
- /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead.
- /usr/bin/which
- /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead.
- /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.12/lib/pkgconfig" (CWD=/home/opam/.opam/4.12/.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.11 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "zlib" (CWD=/home/opam/.opam/4.12/.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.12/bin" "-sitelib" "/home/opam/.opam/4.12/lib" "-mandir" "/home/opam/.opam/4.12/man" "-config" "/home/opam/.opam/4.12/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.12/.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: not present (normal since 4.12)
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.12/lib/ocaml
- Binaries: /home/opam/.opam/4.12/bin
- Manual pages: /home/opam/.opam/4.12/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.12/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.12/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.12/bin
- Manual pages: /home/opam/.opam/4.12/man
- topfind script: /home/opam/.opam/4.12/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: not present (normal since 4.12)
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.12/lib/ocaml
- Binaries: /home/opam/.opam/4.12/bin
- Manual pages: /home/opam/.opam/4.12/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.12/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.12/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.12/bin
- Manual pages: /home/opam/.opam/4.12/man
- topfind script: /home/opam/.opam/4.12/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.12/.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.12/.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.12/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.12/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/BytesLabels.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.12/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.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.12/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.12/.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.12/.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.12/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.12/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/BytesLabels.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.12/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.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.12/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.12/.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.12/.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.12/.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/BytesLabels.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]: 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]: 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.12/.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.12/.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/BytesLabels.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]: 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]: 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.12/.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.12/.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.12/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.12/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.12/bin"
- mkdir -p "/home/opam/.opam/4.12/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.12/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.12/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.12/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.12/lib/findlib"
- mkdir -p "/home/opam/.opam/4.12/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.12/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.12/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.12/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.12/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.12/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.12/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.12/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.12/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.12/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.12/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.12/man/man1" "/home/opam/.opam/4.12/man/man3" "/home/opam/.opam/4.12/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.12/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.12/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.12/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.12/bin"
- mkdir -p "/home/opam/.opam/4.12/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.12/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.12/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.12/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.12/lib/findlib"
- mkdir -p "/home/opam/.opam/4.12/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.12/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.12/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.12/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.12/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.12/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.12/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.12/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.12/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.12/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.12/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.12/man/man1" "/home/opam/.opam/4.12/man/man3" "/home/opam/.opam/4.12/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.12/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.12/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.opam-switch/build/camlzip.1.11)
- ocamlfind ocamlc -g -safe-string -bin-annot -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- ocamlfind ocamlopt -safe-string -c gzip.ml
- 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 libcamlzip.a
- ocamlfind ocamlc -g -safe-string -bin-annot -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- ocamlfind ocamlopt -safe-string -c gzip.ml
- 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 libcamlzip.a
-> compiled camlzip.1.11
Processing 23/33: [dune: ocaml bootstrap.ml]
Processing 24/33: [dune: ocaml bootstrap.ml] [camlzip: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/camlzip.1.11)
- cp META-zip META && \
- ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmt
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmt
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmt
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmti
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmti
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmti
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.12/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.12/lib/zip/zip.mli
- Installed /home/opam/.opam/4.12/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.12/lib/zip/zip.a
- Installed /home/opam/.opam/4.12/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.12/lib/zip/zip.cma
- Installed /home/opam/.opam/4.12/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.12/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.12/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.12/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.12/lib/camlzip/META
- cp META-zip META && \
- ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmt
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmt
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmt
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmti
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmti
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmti
- Installed /home/opam/.opam/4.12/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.12/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.12/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.12/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.12/lib/zip/zip.mli
- Installed /home/opam/.opam/4.12/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.12/lib/zip/zip.a
- Installed /home/opam/.opam/4.12/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.12/lib/zip/zip.cma
- Installed /home/opam/.opam/4.12/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.12/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.12/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.12/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.12/lib/camlzip/META
-> installed camlzip.1.11
Processing 24/33: [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune.2.9.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
-
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" "31" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune.2.9.1)
-> compiled dune.2.9.1
-> installed dune.2.9.1
Processing 26/33: [cppo: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "31" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cppo.1.6.8)
-> compiled cppo.1.6.8
-> installed cppo.1.6.8
Processing 28/33: [extlib: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "minimal=1" "build" (CWD=/home/opam/.opam/4.12/.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.12/.opam-switch/build/extlib.1.7.8/src'
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -i extBytes.ml > extBytes.mli
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBytes.mli extBytes.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c enum.mli enum.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c bitSet.mli bitSet.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c dynArray.mli dynArray.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -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/ArrayLabels.create_float instead.
- File "array.mli", lines 75-77, characters 0-63:
- Definition
- File "extArray.mli", line 121, characters 2-37:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create
- Use Array.make/ArrayLabels.make instead.
- File "array.mli", lines 66-67, characters 0-65:
- Definition
- File "extArray.mli", line 153, characters 2-60:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create_matrix
- Use Array.make_matrix/ArrayLabels.make_matrix instead.
- File "array.mli", lines 103-105, characters 0-61:
- Definition
- File "extArray.mli", line 156, characters 2-56:
- Expected signature
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extHashtbl.mli extHashtbl.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -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 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extString.mli extString.ml
- File "extString.ml", line 1:
- Alert deprecated: set
- Use Bytes.set/BytesLabels.set instead.
- File "string.mli", lines 317-318, characters 0-63:
- Definition
- File "extString.mli", line 179, characters 2-42:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: create
- Use Bytes.create/BytesLabels.create instead.
- File "string.mli", lines 308-309, characters 0-69:
- Definition
- File "extString.mli", line 180, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: copy
- Strings now immutable: no need to copy
- File "string.mli", lines 337-338, characters 0-63:
- Definition
- File "extString.mli", line 182, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: fill
- Use Bytes.fill/BytesLabels.fill instead.
- File "string.mli", lines 344-345, characters 0-65:
- Definition
- File "extString.mli", line 184, characters 2-50:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uppercase
- Use String.uppercase_ascii/StringLabels.uppercase_ascii instead.
- File "string.mli", lines 354-356, characters 0-71:
- Definition
- File "extString.mli", line 200, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "string.mli", lines 363-365, characters 0-71:
- Definition
- File "extString.mli", line 201, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "string.mli", lines 372-374, characters 0-73:
- Definition
- File "extString.mli", line 202, characters 2-35:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uncapitalize
- Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead.
- File "string.mli", lines 380-382, characters 0-77:
- Definition
- File "extString.mli", line 203, characters 2-37:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: unsafe_set
- File "string.mli", lines 393-394, 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 398-400, characters 0-22:
- Definition
- File "extString.mli", line 221, characters 2-57:
- Expected signature
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBuffer.mli extBuffer.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c global.mli global.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -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 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c option.mli option.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c pMap.mli pMap.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c std.mli std.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c refList.mli refList.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c optParse.mli optParse.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c dllist.mli dllist.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extLib.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 412\" -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 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBytes.mli extBytes.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c enum.mli enum.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c bitSet.mli bitSet.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c dynArray.mli dynArray.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -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/ArrayLabels.create_float instead.
- File "array.mli", lines 75-77, characters 0-63:
- Definition
- File "extArray.mli", line 121, characters 2-37:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create
- Use Array.make/ArrayLabels.make instead.
- File "array.mli", lines 66-67, characters 0-65:
- Definition
- File "extArray.mli", line 153, characters 2-60:
- Expected signature
- File "extArray.ml", line 1:
- Alert deprecated: create_matrix
- Use Array.make_matrix/ArrayLabels.make_matrix instead.
- File "array.mli", lines 103-105, characters 0-61:
- Definition
- File "extArray.mli", line 156, characters 2-56:
- Expected signature
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extHashtbl.mli extHashtbl.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -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 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extString.mli extString.ml
- File "extString.ml", line 1:
- Alert deprecated: set
- Use Bytes.set/BytesLabels.set instead.
- File "string.mli", lines 317-318, characters 0-63:
- Definition
- File "extString.mli", line 179, characters 2-42:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: create
- Use Bytes.create/BytesLabels.create instead.
- File "string.mli", lines 308-309, characters 0-69:
- Definition
- File "extString.mli", line 180, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: copy
- Strings now immutable: no need to copy
- File "string.mli", lines 337-338, characters 0-63:
- Definition
- File "extString.mli", line 182, characters 2-29:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: fill
- Use Bytes.fill/BytesLabels.fill instead.
- File "string.mli", lines 344-345, characters 0-65:
- Definition
- File "extString.mli", line 184, characters 2-50:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uppercase
- Use String.uppercase_ascii/StringLabels.uppercase_ascii instead.
- File "string.mli", lines 354-356, characters 0-71:
- Definition
- File "extString.mli", line 200, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "string.mli", lines 363-365, characters 0-71:
- Definition
- File "extString.mli", line 201, characters 2-34:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "string.mli", lines 372-374, characters 0-73:
- Definition
- File "extString.mli", line 202, characters 2-35:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: uncapitalize
- Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead.
- File "string.mli", lines 380-382, characters 0-77:
- Definition
- File "extString.mli", line 203, characters 2-37:
- Expected signature
- File "extString.ml", line 1:
- Alert deprecated: unsafe_set
- File "string.mli", lines 393-394, 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 398-400, characters 0-22:
- Definition
- File "extString.mli", line 221, characters 2-57:
- Expected signature
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extBuffer.mli extBuffer.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c global.mli global.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -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 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c option.mli option.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c pMap.mli pMap.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c std.mli std.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c refList.mli refList.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c optParse.mli optParse.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c dllist.mli dllist.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -D WITH_BYTES" -g -bin-annot -package bytes -c extLib.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 412\" -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 412\" -D WITH_BYTES" -g -bin-annot -package bytes -shared -linkall extLib.cmxa -o extLib.cmxs
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.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.12/.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.12/lib/extlib/dllist.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/optParse.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/refList.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/std.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/pMap.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/option.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/IO.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/global.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extBuffer.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extString.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extList.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extHashtbl.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extArray.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/dynArray.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/bitSet.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/enum.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extBytes.cmti
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/dllist.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/optParse.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/refList.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/std.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/pMap.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/option.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/IO.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/global.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extBuffer.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extString.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extList.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extHashtbl.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extArray.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/dynArray.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/bitSet.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/enum.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extBytes.cmt
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.a
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.cmxs
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/dllist.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/optParse.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/refList.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/std.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/pMap.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/option.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/IO.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/global.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extBuffer.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extString.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extList.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extHashtbl.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extArray.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/dynArray.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/bitSet.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/enum.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extBytes.cmx
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.cmxa
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/dllist.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/optParse.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/refList.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/std.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/pMap.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/option.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/IO.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/global.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/extBuffer.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/extString.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/extList.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/extHashtbl.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/extArray.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/dynArray.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/bitSet.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/enum.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/extBytes.cmi
- Installed /home/opam/.opam/4.12/lib/extlib/dllist.mli
- Installed /home/opam/.opam/4.12/lib/extlib/optParse.mli
- Installed /home/opam/.opam/4.12/lib/extlib/refList.mli
- Installed /home/opam/.opam/4.12/lib/extlib/std.mli
- Installed /home/opam/.opam/4.12/lib/extlib/pMap.mli
- Installed /home/opam/.opam/4.12/lib/extlib/option.mli
- Installed /home/opam/.opam/4.12/lib/extlib/IO.mli
- Installed /home/opam/.opam/4.12/lib/extlib/global.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extBuffer.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extString.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extList.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extHashtbl.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extArray.mli
- Installed /home/opam/.opam/4.12/lib/extlib/dynArray.mli
- Installed /home/opam/.opam/4.12/lib/extlib/bitSet.mli
- Installed /home/opam/.opam/4.12/lib/extlib/enum.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extBytes.mli
- Installed /home/opam/.opam/4.12/lib/extlib/extLib.cma
- Installed /home/opam/.opam/4.12/lib/extlib/META
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.opam-switch/build/javalib.3.2.1)
- /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead.
- * Debug flag set to yes.
- * Ocamlfind found at /home/opam/.opam/4.12/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.12/lib.
- * Package zip v1.09 found at /home/opam/.opam/4.12/lib/zip.
- * Package unix found at /home/opam/.opam/4.12/lib/ocaml.
- * Package str found at /home/opam/.opam/4.12/lib/ocaml.
- * Package extlib found at /home/opam/.opam/4.12/lib/extlib.
- * Writing /home/opam/.opam/4.12/.opam-switch/build/javalib.3.2.1/Makefile.config.
- Creating from /home/opam/.opam/4.12/.opam-switch/build/javalib.3.2.1/Makefile.config.example.
- ... done.
- * Writing /home/opam/.opam/4.12/.opam-switch/build/javalib.3.2.1/src/META.
- Creating from /home/opam/.opam/4.12/.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.12/.opam-switch/build/javalib.3.2.1)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/javalib.3.2.1/src'
- ocamllex jManifest.mll
- 13 states, 340 transitions, table size 1438 bytes
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.opam-switch/build/javalib.3.2.1)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/javalib.3.2.1/src'
- /home/opam/.opam/4.12/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.12/lib/javalib/javalib.a
- Installed /home/opam/.opam/4.12/lib/javalib/javalib.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jManifest.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jFile.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jHigh2Low.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jLow2High.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jParse.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jParseSignature.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jUnparse.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jInstruction.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jParseCode.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jDumpLow.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jUnparseSignature.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jDumpBasics.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jClass.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jClassLow.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jCode.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jSignature.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jBasicsLow.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jBasics.mli
- Installed /home/opam/.opam/4.12/lib/javalib/jLib.mli
- Installed /home/opam/.opam/4.12/lib/javalib/genericMap.mli
- Installed /home/opam/.opam/4.12/lib/javalib/genericSet.mli
- Installed /home/opam/.opam/4.12/lib/javalib/ptmap.mli
- Installed /home/opam/.opam/4.12/lib/javalib/ptset.mli
- Installed /home/opam/.opam/4.12/lib/javalib/javalib_pack.o
- Installed /home/opam/.opam/4.12/lib/javalib/javalib_pack.cmx
- Installed /home/opam/.opam/4.12/lib/javalib/javalib_pack.cmo
- Installed /home/opam/.opam/4.12/lib/javalib/javalib_pack.cmi
- Installed /home/opam/.opam/4.12/lib/javalib/javalib.cmxa
- Installed /home/opam/.opam/4.12/lib/javalib/javalib.cmi
- Installed /home/opam/.opam/4.12/lib/javalib/javalib.cma
- Installed /home/opam/.opam/4.12/lib/javalib/META
- make[1]: Leaving directory '/home/opam/.opam/4.12/.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.12/.opam-switch/build/sawja.1.5.11)
- /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead.
- * 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.12/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.12/lib.
- * Package javalib v3.2.1 found at /home/opam/.opam/4.12/lib/javalib.
- * Writing /home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11/Makefile.config.
- Creating from /home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11/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.12/.opam-switch/build/sawja.1.5.11)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11/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.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- /home/opam/.opam/4.12/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.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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]: unused module S.
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "jControlFlow.ml", line 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used)
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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-declaration]: unused value compare.
- File "cmn.ml", line 274, characters 16-18:
- 274 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "cmn.ml", line 275, characters 18-20:
- 275 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "bir.ml", line 3479, characters 38-50:
- 3479 | (String.concat "::" (List.map (print_expr) e))
- ^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4440, characters 58-68:
- 4440 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4458, characters 58-68:
- 4458 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4466, characters 58-68:
- 4466 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4482, characters 60-70:
- 4482 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4502, characters 58-68:
- 4502 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4997, characters 29-40:
- 4997 | let inst_disp = inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- /home/opam/.opam/4.12/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 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.12/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 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.12/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 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- /home/opam/.opam/4.12/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-declaration]: unused value compare.
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "nexir.ml", line 301, characters 6-18:
- 301 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 302, characters 6-17:
- 302 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 274, characters 31-34:
- 274 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 461, characters 28-31:
- 461 | Ptmap.add start_pc [Nop, 0]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 529, characters 4-20:
- 529 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 17, characters 0-38:
- 17 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 143, characters 4-18:
- 143 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 534, characters 17-18:
- 534 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 560, characters 17-18:
- 560 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 587, characters 13-21:
- 587 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 612, characters 35-36:
- 612 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- /home/opam/.opam/4.12/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 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-label-constructor]: 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 [open-shadow-label-constructor]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [ambiguous-name]: 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 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.12/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 [unexpected-docstring]: 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 [unexpected-docstring]: 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 [unexpected-docstring]: 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 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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 [open-shadow-identifier]: 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]: unused module ED.
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- /home/opam/.opam/4.12/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 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/4.12/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 [ambiguous-name]: 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 [ambiguous-name]: 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 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- /home/opam/.opam/4.12/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.12/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.12/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.12/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.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.12/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.12/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.12/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.12/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.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.12/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.12/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.12/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.12/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.12/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.12/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11/src'
-> compiled sawja.1.5.11
Processing 33/33: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11/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.12/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.12/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.12/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.12/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.12/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.12/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.12/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.12/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.12/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.12/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.12/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.12/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.12/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.12/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.12/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.12/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.12/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.12/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.12/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.12/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.12/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.12/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.12/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.12/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.12/lib/sawja/iter2.mli
- Installed /home/opam/.opam/4.12/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.12/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.12/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.12/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/sawja.1.5.11/src'
-> installed sawja.1.5.11
Done.
# Run eval $(opam env) to update the current shell environment
2021-12-03 19:30.29 ---> saved as "9d6e8e507121b3d5730389c9db467f9270d84e424dccef0ecd6cc1c903d9c1f1"
Job succeeded
Home|Differences with the last checks|Previous runs