Building on x86-bm-6.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:e4c09aeba9b8a867e774ff46ed44d53e775234522abf2babbff843b8f1dedb10)
2022-12-03 06:21.02 ---> using "d3dee1d616ca63d5699d5fd962109ec0d24e968377e0ae69e6161eba0f5af82c" 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-dev /usr/bin/opam"))
2022-12-03 06:21.02 ---> using "48f1f5dc3ecf939352db5ef5caf9f3dc06faae2a01cbd7119d2a81d4fcd9c299" 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 06dca815ecdb3b6fd6bee20130421fa5176fb13b"))
2022-12-03 06:21.02 ---> using "16f67628ac3eeec9d808b099f47f4099b97a8cae63b5c0fbc89d12f2a02927dc" 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.
2022-12-03 06:21.02 ---> using "6fb88fda4d19acd47c8b26cd10aa2012c01f6dcb7de78f06ee3dd49b923bec9b" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.09' '4.09.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.09.1 (cached)
-> installed ocaml-base-compiler.4.09.1
-> installed ocaml-config.1
-> installed ocaml.4.09.1
Done.
# Run eval $(opam env --switch=4.09) to update the current shell environment
2022-12-03 06:21.02 ---> using "db48828e3ac9aa295aa8011fcc41496c1b4796ee15a513ece57f1ab901dd280f" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-12-02-1404.12-F-2022-11-26-0806.52.pdiff [417 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-12-02-1404.12-F-2022-11-26-0806.52.pdiff [417 kB]
- Fetched 642 kB in 3s (191 kB/s)
- Reading package lists...
-
2022-12-03 06:21.02 ---> using "845cba64fde288801af65b31ef2eeb92add8b23484ac8dc21fdae6b1cea9ffc6" 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 10 packages
- install camlzip 1.11 [required by javalib]
- install conf-pkg-config 2 [required by conf-zlib]
- install conf-which 1 [required by javalib]
- install conf-zlib 1 [required by camlzip]
- install cppo 1.6.9 [required by extlib]
- install dune 3.6.1 [required by extlib]
- install extlib 1.7.9 [required by javalib]
- install javalib 3.2.1 [required by sawja]
- install ocamlfind 1.9.5 [required by sawja]
- install sawja 1.5.11
The following system packages will first need to be installed:
pkg-config zlib1g-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Attempt installation anyway, and permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /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 libpkgconf3: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 ... 19038 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.0-11_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.0-11) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.0-11_amd64.deb ...
- Unpacking pkgconf-bin (1.8.0-11) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.0-11_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.0-11) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.0-11_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.0-11) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up libpkgconf3:amd64 (1.8.0-11) ...
- Setting up pkgconf-bin (1.8.0-11) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up pkgconf:amd64 (1.8.0-11) ...
- Setting up pkg-config:amd64 (1.8.0-11) ...
- Processing triggers for libc-bin (2.36-5) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/30:
Processing 2/30:
Processing 3/30:
Processing 4/30:
Processing 5/30:
Processing 6/30:
Processing 7/30: [conf-pkg-config: pkg-config]
Processing 8/30: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved camlzip.1.11 (cached)
Processing 9/30: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved cppo.1.6.9 (cached)
Processing 10/30: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved extlib.1.7.9 (cached)
Processing 11/30: [conf-pkg-config: pkg-config] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-pkg-config.2)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.2
Processing 11/30: [conf-which: which which]
Processing 12/30: [conf-which: which which] [conf-pkg-config: mkdir]
-> retrieved dune.3.6.1 (cached)
Processing 13/30: [conf-which: which which] [conf-pkg-config: mkdir]
Processing 14/30: [conf-which: which which] [dune: ocaml 31] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
Processing 14/30: [dune: ocaml 31] [conf-pkg-config: mkdir]
-> retrieved javalib.3.2.1 (cached)
-> retrieved ocamlfind.1.9.5 (cached)
[ocamlfind: patch] applying 0001-Fix-bug-when-installing-with-a-system-compiler.patch
Processing 15/30: [dune: ocaml 31] [ocamlfind: patch] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/4.09/lib/pkgconfig" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 15/30: [dune: ocaml 31] [ocamlfind: patch]
Processing 16/30: [conf-zlib: pkg-config zlib] [dune: ocaml 31] [ocamlfind: patch]
-> installed conf-which.1
Processing 17/30: [conf-zlib: pkg-config zlib] [dune: ocaml 31] [ocamlfind: patch]
-> retrieved sawja.1.5.11 (cached)
Processing 17/30: [conf-zlib: pkg-config zlib] [dune: ocaml 31] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "zlib" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 17/30: [dune: ocaml 31] [ocamlfind: ./configure]
-> installed conf-zlib.1
Processing 18/30: [dune: ocaml 31] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.09/bin" "-sitelib" "/home/opam/.opam/4.09/lib" "-mandir" "/home/opam/.opam/4.09/man" "-config" "/home/opam/.opam/4.09/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5)
- Welcome to findlib version 1.9.5
- 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
- dynlink: 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 (in +ocamldoc)
- raw_spacetime: found
- threads: found (in +threads)
- runtime_events: not present
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for raw_spacetime written to site-lib-src/raw_spacetime/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.09/lib/ocaml
- Binaries: /home/opam/.opam/4.09/bin
- Manual pages: /home/opam/.opam/4.09/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.09/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.09/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.09/bin
- Manual pages: /home/opam/.opam/4.09/man
- topfind script: /home/opam/.opam/4.09/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 18/30: [dune: ocaml 31] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5/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.09/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.09/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 -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -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 -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -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.09/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -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.09/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.09/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.09/.opam-switch/build/ocamlfind.1.9.5'
Processing 18/30: [dune: ocaml 31] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -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 -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -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.09/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
-> compiled ocamlfind.1.9.5
Processing 18/30: [dune: ocaml 31]
Processing 19/30: [dune: ocaml 31] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.09/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.09/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
- install -d "/home/opam/.opam/4.09/bin"
- install -d "/home/opam/.opam/4.09/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
- install -d "`dirname \"/home/opam/.opam/4.09/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.09/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.09/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- install -d "/home/opam/.opam/4.09/lib/findlib"
- install -d "/home/opam/.opam/4.09/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.09/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.09/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- 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` && \
- install -c $files "/home/opam/.opam/4.09/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.09/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.09/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.09/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.09/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
- for x in bigarray bytes compiler-libs dynlink ocamldoc raw_spacetime stdlib str threads unix ; do install -d "/home/opam/.opam/4.09/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.09/lib/$x/META.tmp" && mv "/home/opam/.opam/4.09/lib/$x/META.tmp" "/home/opam/.opam/4.09/lib/$x/META"; done
- install -d "/home/opam/.opam/4.09/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.09/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.09/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
- install -d "/home/opam/.opam/4.09/man/man1" "/home/opam/.opam/4.09/man/man3" "/home/opam/.opam/4.09/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.09/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.09/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.5'
-> installed ocamlfind.1.9.5
Processing 19/30: [dune: ocaml 31]
Processing 20/30: [camlzip: make all] [dune: ocaml 31]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.09/.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
-> compiled camlzip.1.11
Processing 20/30: [dune: ocaml 31]
Processing 21/30: [dune: ocaml 31] [camlzip: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.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.09/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.09/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.09/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.09/lib/zip/zlib.cmt
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmt
- Installed /home/opam/.opam/4.09/lib/zip/gzip.cmt
- Installed /home/opam/.opam/4.09/lib/zip/zlib.cmti
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmti
- Installed /home/opam/.opam/4.09/lib/zip/gzip.cmti
- Installed /home/opam/.opam/4.09/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.09/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.09/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.09/lib/zip/zip.mli
- Installed /home/opam/.opam/4.09/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.09/lib/zip/zip.a
- Installed /home/opam/.opam/4.09/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.09/lib/zip/zip.cma
- Installed /home/opam/.opam/4.09/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.09/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.09/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.09/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.09/lib/camlzip/META
-> installed camlzip.1.11
Processing 21/30: [dune: ocaml 31]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.6.1)
- ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
-
Processing 21/30: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.6.1)
-> compiled dune.3.6.1
-> installed dune.3.6.1
Processing 23/30: [cppo: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/cppo.1.6.9)
-> compiled cppo.1.6.9
-> installed cppo.1.6.9
Processing 25/30: [extlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "extlib" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/extlib.1.7.9)
-> compiled extlib.1.7.9
-> installed extlib.1.7.9
Processing 27/30: [javalib: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1)
- * Debug flag set to yes.
- * Ocamlfind found at /home/opam/.opam/4.09/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.09/lib.
- * Package zip v1.09 found at /home/opam/.opam/4.09/lib/zip.
- * Package unix found at /home/opam/.opam/4.09/lib/ocaml.
- * Package str found at /home/opam/.opam/4.09/lib/ocaml.
- * Package extlib found at /home/opam/.opam/4.09/lib/extlib.
- * Writing /home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/Makefile.config.
- Creating from /home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/Makefile.config.example.
- ... done.
- * Writing /home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/src/META.
- Creating from /home/opam/.opam/4.09/.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 27/30: [javalib: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/src'
- ocamllex jManifest.mll
- 13 states, 340 transitions, table size 1438 bytes
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/src'
-> compiled javalib.3.2.1
Processing 28/30: [javalib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/src'
- /home/opam/.opam/4.09/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.09/lib/javalib/javalib.a
- Installed /home/opam/.opam/4.09/lib/javalib/javalib.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jManifest.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jFile.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jHigh2Low.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jLow2High.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jParse.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jParseSignature.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jUnparse.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jInstruction.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jParseCode.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jDumpLow.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jUnparseSignature.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jDumpBasics.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jClass.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jClassLow.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jCode.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jSignature.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jBasicsLow.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jBasics.mli
- Installed /home/opam/.opam/4.09/lib/javalib/jLib.mli
- Installed /home/opam/.opam/4.09/lib/javalib/genericMap.mli
- Installed /home/opam/.opam/4.09/lib/javalib/genericSet.mli
- Installed /home/opam/.opam/4.09/lib/javalib/ptmap.mli
- Installed /home/opam/.opam/4.09/lib/javalib/ptset.mli
- Installed /home/opam/.opam/4.09/lib/javalib/javalib_pack.o
- Installed /home/opam/.opam/4.09/lib/javalib/javalib_pack.cmx
- Installed /home/opam/.opam/4.09/lib/javalib/javalib_pack.cmo
- Installed /home/opam/.opam/4.09/lib/javalib/javalib_pack.cmi
- Installed /home/opam/.opam/4.09/lib/javalib/javalib.cmxa
- Installed /home/opam/.opam/4.09/lib/javalib/javalib.cmi
- Installed /home/opam/.opam/4.09/lib/javalib/javalib.cma
- Installed /home/opam/.opam/4.09/lib/javalib/META
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/javalib.3.2.1/src'
-> installed javalib.3.2.1
Processing 29/30: [sawja: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.09/.opam-switch/build/sawja.1.5.11)
- * 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.09/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.09/lib.
- * Package javalib v3.2.1 found at /home/opam/.opam/4.09/lib/javalib.
- * Writing /home/opam/.opam/4.09/.opam-switch/build/sawja.1.5.11/Makefile.config.
- Creating from /home/opam/.opam/4.09/.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 29/30: [sawja: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/sawja.1.5.11)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.09/.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.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- /home/opam/.opam/4.09/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.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "classDomain.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- /home/opam/.opam/4.09/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: implicit elimination of optional argument ?jvm
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "jPrintUtil.ml", line 149, characters 0-17:
- 149 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.ml
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintHtml.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "jPrintPlugin.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_methods (which is later used)
- File "jPrintPlugin.ml", line 707, characters 4-26:
- 707 | open AdaptedASTGrammar
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 45: this open statement shadows the constructor Return (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "jCodePP.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier defines_method (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "cmn.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "cmn.ml", line 161, characters 43-50:
- 161 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32: unused value compare.
- File "cmn.ml", line 274, characters 16-18:
- 274 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27: unused variable md.
- File "cmn.ml", line 275, characters 18-20:
- 275 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27: unused variable mh.
- /home/opam/.opam/4.09/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: 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: 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: 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: 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: 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: 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: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "dataflow_analyses/live_bir.ml", line 59, characters 65-80:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e))
- ^^^^^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e))
- ^^^^^^^^^^^^^^^^
- Warning 48: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "jBirSSAPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "a3BirSSAPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "safe_domain.ml", line 80, characters 4-32:
- Warning 50: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50: ambiguous documentation comment
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "reachableMethods.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "reachableMethods.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "jType.ml", line 93, characters 42-49:
- 93 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32: unused value compare.
- /home/opam/.opam/4.09/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: 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: 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: 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: 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: 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 exception IncompatibleClassChangeError
- File "nexir.ml", line 143, characters 4-18:
- 143 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32: unused value clear_fresh_pc.
- File "nexir.ml", line 534, characters 17-18:
- 534 | | CheckCast (e,t) ->
- ^
- Warning 27: unused variable t.
- File "nexir.ml", line 560, characters 17-18:
- 560 | let (t, v ) = tv in
- ^
- Warning 27: unused variable t.
- File "nexir.ml", line 587, characters 13-21:
- 587 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27: unused variable opcode.
- File "nexir.ml", line 612, characters 35-36:
- 612 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27: unused variable v.
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "jCRA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45: this open statement shadows the label c_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45: this open statement shadows the label i_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "jRTA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.ml", line 109, characters 21-28:
- 109 | (ClassMap.find cs p.classes,fields_of_nodes)
- ^^^^^^^
- Warning 41: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 229, characters 20-27:
- 229 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "jRRTA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- File "jRRTA.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "XTA.ml", lines 63-66, characters 2-74:
- 63 | ..(** [get_relevant_operations program m] returns the sets of instance
- 64 | fields that are read, instance field that are written, static
- 65 | fields that are read, static fields that are written, classes
- 66 | that are instantiated and handled exceptions types in that order. *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", lines 160-161, characters 2-38:
- 160 | ..(** returns a set with all the classes that extends (or implements) the class or
- 161 | interface given as parameter. *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", lines 288-295, characters 4-23:
- 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value
- 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list]
- 290 | have been removed. Partial applications with a program and a type_list
- 291 | are encourage as it should speed up the computation.
- 292 |
- 293 | As an optimization, [refine_with_type program type_list] may return
- 294 | [None] to encode a function that would otherwise always returns
- 295 | [XTADom.bot] *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", lines 740-745, characters 2-46:
- 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of
- 741 | methods that may be called for a call to [invoke] from [(cn,ms)]
- 742 | with the [classmap] as [program.classes]. Note: partial
- 743 | applications with the state and the classmap are greatly
- 744 | encourage, as partial application with the caller ([cn] and
- 745 | [ms]) has it speed up the resolution. *)
- Warning 50: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_field (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_name (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "jCFAPrinter.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19:
- 116 | (index v,Nop,i0)::l)
- ^^^
- Warning 41: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8:
- 135 | (0,Nop,index v)::l)
- ^^^
- Warning 41: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32:
- 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var))
- ^^^
- Warning 41: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- /home/opam/.opam/4.09/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.09/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.09/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.09/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.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.09/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.09/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.09/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.09/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.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.09/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.09/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.09/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.09/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.09/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.09/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/sawja.1.5.11/src'
-> compiled sawja.1.5.11
Processing 30/30: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/sawja.1.5.11)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.09/.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.09/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.09/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.09/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.09/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.09/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.09/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.09/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.09/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.09/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.09/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.09/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.09/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.09/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.09/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.09/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.09/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.09/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.09/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.09/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.09/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.09/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.09/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.09/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.09/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.09/lib/sawja/iter2.mli
- Installed /home/opam/.opam/4.09/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.09/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.09/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.09/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/sawja.1.5.11/src'
-> installed sawja.1.5.11
Done.
# Run eval $(opam env) to update the current shell environment
2022-12-03 06:22.51 ---> saved as "872a7cd25dbf95f8bffab652b2819c30d76a2851a679a2952fc297326ee0c831"
Job succeeded
Home|Differences with the last checks|Previous runs