Building on x86-bm-7.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:196f72fefcbd1cd5857a4541b7054686b672ddbe3ce300ebf954f71a772a99f1)
Unable to find image 'ocaml/opam:debian-unstable@sha256:196f72fefcbd1cd5857a4541b7054686b672ddbe3ce300ebf954f71a772a99f1' locally
docker.io/ocaml/opam@sha256:196f72fefcbd1cd5857a4541b7054686b672ddbe3ce300ebf954f71a772a99f1: Pulling from ocaml/opam
88273bdcc4bc: Pulling fs layer
88273bdcc4bc: Verifying Checksum
88273bdcc4bc: Download complete
88273bdcc4bc: Pull complete
Digest: sha256:196f72fefcbd1cd5857a4541b7054686b672ddbe3ce300ebf954f71a772a99f1
Status: Downloaded newer image for ocaml/opam@sha256:196f72fefcbd1cd5857a4541b7054686b672ddbe3ce300ebf954f71a772a99f1
2022-10-13 03:05.42 ---> using "72789ea385c156750aa7dd96aa50ee44bc632bea844e975f245441d9aee8bfd2" 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-10-13 03:05.42 ---> using "00a95b0dc29356854a2323387bb3765564e1fe55593574ff6be6315935e9f655" 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 b1c9c96444d9fdc81f076b2f18ffaccd2f7c8f2f"))
2022-10-13 03:05.42 ---> using "78ae84c730ce1e5c34c37c027b1e573b31333de9c356d764a1de3654115799af" 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-10-13 03:05.42 ---> using "3910cf3733834024da3f31717f53c4d64ec6165d9ca48b4a2ad73da600e53b71" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14' '4.14.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.0"} | "ocaml-system" {= "4.14.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.0 (cached)
-> installed ocaml-base-compiler.4.14.0
-> installed ocaml-config.2
-> installed ocaml.4.14.0
Done.
# Run eval $(opam env --switch=4.14) to update the current shell environment
2022-10-13 03:05.42 ---> using "fb1eb500f11be569274ad29ee0db9fcc0909ae204e539c4aea07285e5410519c" 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-10-11-2005.54-F-2022-10-10-1406.43.pdiff [117 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-10-11-2005.54-F-2022-10-10-1406.43.pdiff [117 kB]
- Fetched 341 kB in 3s (107 kB/s)
- Reading package lists...
-
2022-10-13 03:05.42 ---> using "bb3fedd8441a3a40aad051f4d87b043f4b5b40252dccad127b059938a578d2b7" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"sawja.1.5.7\"\
\nopam install -vy \"sawja.1.5.7\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"sawja.1.5.7\" | 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.7 is not installed.
Nothing to do.
The following actions will be performed:
=== install 11 packages
- install camlzip 1.11 [required by javalib]
- install conf-perl 2 [required by sawja]
- install conf-pkg-config 2 [required by conf-zlib]
- install conf-which 1 [required by sawja]
- install conf-zlib 1 [required by camlzip]
- install cppo 1.6.9 [required by extlib]
- install dune 3.4.1 [required by extlib]
- install extlib 1.7.9 [required by javalib]
- install javalib 3.2 [required by sawja]
- install ocamlfind 1.9.5 [required by sawja]
- install sawja 1.5.7
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 libglib2.0-0:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19690 files and directories currently installed.)
- Preparing to unpack .../0-libglib2.0-0_2.74.0-2_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.74.0-2) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../1-libglib2.0-data_2.74.0-2_all.deb ...
- Unpacking libglib2.0-data (2.74.0-2) ...
- Selecting previously unselected package libicu71:amd64.
- Preparing to unpack .../2-libicu71_71.1-3_amd64.deb ...
- Unpacking libicu71:amd64 (71.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../3-libxml2_2.9.14+dfsg-1+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1+b1) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../4-pkg-config_0.29.2-1_amd64.deb ...
- Unpacking pkg-config (0.29.2-1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../5-shared-mime-info_2.2-1_amd64.deb ...
- Unpacking shared-mime-info (2.2-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../6-xdg-user-dirs_0.18-1_amd64.deb ...
- Unpacking xdg-user-dirs (0.18-1) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../7-zlib1g-dev_1%3a1.2.11.dfsg-4.1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-4.1) ...
- Setting up libicu71:amd64 (71.1-3) ...
- Setting up xdg-user-dirs (0.18-1) ...
- Setting up libglib2.0-0:amd64 (2.74.0-2) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.74.0-2) ...
- Setting up pkg-config (0.29.2-1) ...
- Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-4.1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1+b1) ...
- Setting up shared-mime-info (2.2-1) ...
- Processing triggers for libc-bin (2.35-3) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/33:
Processing 2/33:
Processing 3/33:
Processing 4/33:
Processing 5/33:
Processing 6/33:
Processing 7/33:
Processing 8/33: [conf-perl: perl]
Processing 9/33: [conf-perl: perl] [conf-pkg-config: pkg-config]
Processing 10/33: [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved camlzip.1.11 (cached)
Processing 11/33: [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved cppo.1.6.9 (cached)
Processing 12/33: [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "perl" "--version" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-perl.2)
-
- This is perl 5, version 34, subversion 0 (v5.34.0) built for x86_64-linux-gnu-thread-multi
- (with 52 registered patches, see perl -V for more detail)
-
- Copyright 1987-2021, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at http://www.perl.org/, the Perl Home Page.
-
-> compiled conf-perl.2
Processing 12/33: [conf-pkg-config: pkg-config] [conf-which: which which]
-> installed conf-perl.2
Processing 13/33: [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.14/.opam-switch/build/conf-pkg-config.2)
- Usage:
- pkg-config [OPTION?]
-
- Help Options:
- -h, --help Show help options
-
- Application Options:
- --version output version of pkg-config
- --modversion output version for package
- --atleast-pkgconfig-version=VERSION require given version of pkg-config
- --libs output all linker flags
- --static output linker flags for static linking
- --short-errors print short errors
- --libs-only-l output -l flags
- --libs-only-other output other libs (e.g. -pthread)
- --libs-only-L output -L flags
- --cflags output all pre-processor and compiler flags
- --cflags-only-I output -I flags
- --cflags-only-other output cflags not covered by the cflags-only-I option
- --variable=NAME get the value of variable named NAME
- --define-variable=NAME=VALUE set variable NAME to VALUE
- --exists return 0 if the module(s) exist
- --print-variables output list of variables defined by the module
- --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used
- --atleast-version=VERSION return 0 if the module is at least version VERSION
- --exact-version=VERSION return 0 if the module is at exactly version VERSION
- --max-version=VERSION return 0 if the module is at no newer than version VERSION
- --list-all list all known packages
- --debug show verbose debug information
- --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line)
- --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line)
- --errors-to-stdout print errors from --print-errors to stdout not stderr
- --print-provides print which packages the package provides
- --print-requires print which packages the package requires
- --print-requires-private print which packages the package requires for static linking
- --validate validate a package's .pc file
- --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets
-
-> compiled conf-pkg-config.2
Processing 13/33: [conf-which: which which]
Processing 14/33: [conf-which: which which] [conf-pkg-config: mkdir]
-> retrieved dune.3.4.1 (cached)
Processing 15/33: [conf-which: which which] [conf-pkg-config: mkdir]
Processing 16/33: [conf-which: which which] [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
Processing 16/33: [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
-> retrieved extlib.1.7.9 (cached)
Processing 17/33: [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
-> retrieved javalib.3.2 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/4.14/lib/pkgconfig" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 17/33: [dune: ocaml bootstrap.ml]
Processing 18/33: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml]
-> installed conf-which.1
Processing 19/33: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml]
-> retrieved ocamlfind.1.9.5 (cached)
[ocamlfind: patch] applying 0001-Fix-bug-when-installing-with-a-system-compiler.patch
Processing 20/33: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [ocamlfind: patch]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "zlib" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 20/33: [dune: ocaml bootstrap.ml] [ocamlfind: patch]
-> installed conf-zlib.1
Processing 21/33: [dune: ocaml bootstrap.ml] [ocamlfind: patch]
Processing 21/33: [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
-> retrieved sawja.1.5.7 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.14/bin" "-sitelib" "/home/opam/.opam/4.14/lib" "-mandir" "/home/opam/.opam/4.14/man" "-config" "/home/opam/.opam/4.14/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14/.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: not present (normal since 4.12)
- 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 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.14/lib/ocaml
- Binaries: /home/opam/.opam/4.14/bin
- Manual pages: /home/opam/.opam/4.14/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.14/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.14/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.14/bin
- Manual pages: /home/opam/.opam/4.14/man
- topfind script: /home/opam/.opam/4.14/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 21/33: [dune: ocaml bootstrap.ml] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.14/.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.14/.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.14/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14/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
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- 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
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- 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
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- 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
- File "topfind.ml", line 126, characters 40-63:
- 126 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 256, characters 4-27:
- 256 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 266, characters 4-27:
- 266 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 278, characters 4-27:
- 278 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 291, characters 4-27:
- 291 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 305, characters 4-27:
- 305 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 317, characters 4-27:
- 317 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- 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.14/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.14/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.5'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.14/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.14/.opam-switch/build/ocamlfind.1.9.5'
Processing 21/33: [dune: ocaml bootstrap.ml] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.14/.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.14/.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
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- 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
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- 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 "topfind.ml", line 126, characters 40-63:
- 126 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 256, characters 4-27:
- 256 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 266, characters 4-27:
- 266 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 278, characters 4-27:
- 278 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 291, characters 4-27:
- 291 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 305, characters 4-27:
- 305 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 317, characters 4-27:
- 317 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- 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.14/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
-> compiled ocamlfind.1.9.5
Processing 21/33: [dune: ocaml bootstrap.ml]
Processing 22/33: [dune: ocaml bootstrap.ml] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.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.14/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14/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.14/bin"
- install -d "/home/opam/.opam/4.14/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.5'
- install -d "`dirname \"/home/opam/.opam/4.14/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.14/.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.14/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- install -d "/home/opam/.opam/4.14/lib/findlib"
- install -d "/home/opam/.opam/4.14/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14/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.14/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.14/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.5'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14/lib/$x/META.tmp" "/home/opam/.opam/4.14/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.14/.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.14/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.5'
- install -d "/home/opam/.opam/4.14/man/man1" "/home/opam/.opam/4.14/man/man3" "/home/opam/.opam/4.14/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14/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.14/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.5'
-> installed ocamlfind.1.9.5
Processing 22/33: [dune: ocaml bootstrap.ml]
Processing 23/33: [camlzip: make all] [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.14/.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 23/33: [dune: ocaml bootstrap.ml]
Processing 24/33: [dune: ocaml bootstrap.ml] [camlzip: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.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.14/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.14/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.14/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.14/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.14/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.14/lib/zip/zlib.cmt
- Installed /home/opam/.opam/4.14/lib/zip/zip.cmt
- Installed /home/opam/.opam/4.14/lib/zip/gzip.cmt
- Installed /home/opam/.opam/4.14/lib/zip/zlib.cmti
- Installed /home/opam/.opam/4.14/lib/zip/zip.cmti
- Installed /home/opam/.opam/4.14/lib/zip/gzip.cmti
- Installed /home/opam/.opam/4.14/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.14/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.14/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.14/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.14/lib/zip/zip.mli
- Installed /home/opam/.opam/4.14/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.14/lib/zip/zip.a
- Installed /home/opam/.opam/4.14/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.14/lib/zip/zip.cma
- Installed /home/opam/.opam/4.14/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.14/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.14/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.14/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.14/lib/camlzip/META
-> installed camlzip.1.11
Processing 24/33: [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.3.4.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
-
Processing 24/33: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.3.4.1)
-> compiled dune.3.4.1
-> installed dune.3.4.1
Processing 26/33: [cppo: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/cppo.1.6.9)
-> compiled cppo.1.6.9
-> installed cppo.1.6.9
Processing 28/33: [extlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "extlib" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/extlib.1.7.9)
-> compiled extlib.1.7.9
-> installed extlib.1.7.9
Processing 30/33: [javalib: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2)
- * Debug flag set to yes.
- * Ocamlfind found at /home/opam/.opam/4.14/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.14/lib.
- * Package zip v1.09 found at /home/opam/.opam/4.14/lib/zip.
- * Package unix found at /home/opam/.opam/4.14/lib/ocaml.
- * Package str found at /home/opam/.opam/4.14/lib/ocaml.
- * Package extlib found at /home/opam/.opam/4.14/lib/extlib.
- * Writing /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/Makefile.config.
- Creating from /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/Makefile.config.example.
- ... done.
- * Writing /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/src/META.
- Creating from /home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/src/META.source.
- .. done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Javalib with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/javalib-doc.html).
Processing 30/33: [javalib: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/src'
- ocamllex jManifest.mll
- 13 states, 340 transitions, table size 1438 bytes
- /home/opam/.opam/4.14/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.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jFile.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrint.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/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
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/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.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml
- /home/opam/.opam/4.14/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.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml
- /home/opam/.opam/4.14/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.14/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/src'
-> compiled javalib.3.2
Processing 31/33: [javalib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/src'
- /home/opam/.opam/4.14/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.14/lib/javalib/javalib.a
- Installed /home/opam/.opam/4.14/lib/javalib/javalib.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jManifest.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jFile.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jHigh2Low.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jLow2High.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jParse.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jParseSignature.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jUnparse.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jInstruction.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jParseCode.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jDumpLow.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jUnparseSignature.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jDumpBasics.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jClass.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jClassLow.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jCode.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jSignature.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jBasicsLow.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jBasics.mli
- Installed /home/opam/.opam/4.14/lib/javalib/jLib.mli
- Installed /home/opam/.opam/4.14/lib/javalib/genericMap.mli
- Installed /home/opam/.opam/4.14/lib/javalib/genericSet.mli
- Installed /home/opam/.opam/4.14/lib/javalib/ptmap.mli
- Installed /home/opam/.opam/4.14/lib/javalib/ptset.mli
- Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.o
- Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.cmx
- Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.cmo
- Installed /home/opam/.opam/4.14/lib/javalib/javalib_pack.cmi
- Installed /home/opam/.opam/4.14/lib/javalib/javalib.cmxa
- Installed /home/opam/.opam/4.14/lib/javalib/javalib.cmi
- Installed /home/opam/.opam/4.14/lib/javalib/javalib.cma
- Installed /home/opam/.opam/4.14/lib/javalib/META
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/javalib.3.2/src'
-> installed javalib.3.2
Processing 32/33: [sawja: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7)
- * 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.14/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.14/lib.
- * Perl found at /usr/bin/perl.
- * Package javalib v3.2 found at /home/opam/.opam/4.14/lib/javalib.
- * Writing /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7/Makefile.config.
- Creating from /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7/Makefile.config.example.
- ... done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Sawja with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html).
Processing 32/33: [sawja: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7/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.14/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.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.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.mli", line 23, characters 11-12:
- 23 | functor (S : sig val nb_bits:int end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter S.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.mli", line 32, characters 0-45:
- 32 | (** {2 JVM resolution and lookup functions}*)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 33, characters 0-43:
- 33 | (** {3 Lookup and resolution procedures} *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", lines 34-35, characters 0-23:
- 34 | (** {b Warning : lookup and resolve functions do not take in account
- 35 | visibility yet}! *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 27, characters 0-17:
- 27 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.mli", line 150, characters 2-26:
- 150 | (** Type of the code. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jPrintHtml.mli", line 28, characters 0-17:
- 28 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.mli", line 26, characters 0-17:
- 26 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBir.mli", line 29, characters 0-17:
- 29 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3Bir.mli", line 33, characters 0-39:
- 33 | (** Abstract data type for variables *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 34, characters 0-68:
- 34 | (** [var_equal v1 v2] is equivalent to [v1 = v2], but is faster. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 31, characters 0-17:
- 31 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSA.mli", line 29, characters 0-20:
- 29 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jBirSSA.mli", lines 342-344, characters 0-18:
- 342 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 343 | point [pc] must be executed before the corresponding [code.(pc)]
- 344 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jBirSSA.mli", line 25, characters 0-17:
- 25 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSA.mli", line 30, characters 0-20:
- 30 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "a3BirSSA.mli", lines 310-312, characters 0-18:
- 310 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 311 | point [pc] must be executed before the corresponding [code.(pc)]
- 312 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3BirSSA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe.mli", lines 119-123, characters 6-44:
- 119 | ......(** [join_ad modifies v1 v2] returns the union of [v1] and [v2]
- 120 | and sets [modifies] to true if the result is different from
- 121 | [v1]. The option [do_join] allows avoiding to compute the
- 122 | join of values when it is known that the target value (the
- 123 | second one) is smaller or equal.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 139-141, characters 6-19:
- 139 | ......(** [init] is an initial value for local variables: it is not bottom but
- 140 | contains no local variable (it correspond to a reachable point in the
- 141 | code). *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", line 173, characters 6-34:
- 173 | (** initial (empty) stack *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 178-179, characters 6-26:
- 178 | ......(** raise [Invalid_argument] if the stack is empty. Raise Failure if the
- 179 | stack is Top. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser//parserType.mli", line 70, characters 0-24:
- 70 | (**for array instance.*)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/heapParser.mli", line 21, characters 0-12:
- 21 | open JBasics
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.JBasics.
- File "heap_parser/heapParser.mli", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JProgram.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.mli", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.mli", line 28, characters 0-12:
- 28 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.mli", lines 44-46, characters 2-39:
- 44 | ..(** [singleton pps cn]: Create a set from a singleton element. [pps] is a list
- 45 | * of program point characterizing the location of the affectation. cn is the
- 46 | * class of the allocated object. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 58-59, characters 0-42:
- 58 | (** [filter_with_uncompatible prog abs cn] :Restrain the abstraction [abs] to
- 59 | * the type not compatible with [cn].*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 90-93, characters 2-50:
- 90 | ..(** [fSet2var fset objvSet]: From a field abstraction [fset] and [objvSet],
- 91 | * the abstraction of the object variable used to access the field, return
- 92 | * a variable abstraction corresponding to the possible abstract values when
- 93 | * then variable is affected the field value.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", line 146, characters 48-62:
- 146 | val join_ad : ?do_join:bool -> ?modifies:bool Pervasives.ref ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "iter2.ml", lines 126-180, characters 0-5:
- 126 | module CycleDetection = struct
- 127 |
- 128 | (* Tarjan's strongly connected components algorithm *)
- 129 | let run size iter_adj : int array =
- 130 | let max_scc_length = ref 0 in
- ...
- 177 | scc
- 178 |
- 179 |
- 180 | end
- Warning 60 [unused-module]: unused module CycleDetection.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.ml", line 23, characters 0-17:
- 23 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jProgram.ml", line 220, characters 9-21:
- 220 | i1.i_interfaces false
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 246, characters 6-18:
- 246 | i.i_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 254, characters 6-18:
- 254 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jProgram.ml", line 519, characters 37-67:
- 519 | map_program2' (map_program_classes map_interface_or_class_context) f fpp p
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?force
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "classDomain.ml", line 21, characters 13-14:
- 21 | module Make (S:sig end) = struct
- ^
- Warning 60 [unused-module]: unused module S.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jsrInline.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jsrInline.ml", line 22, characters 0-12:
- 22 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jControlFlow.ml", line 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_field (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jControlFlow.ml", line 362, characters 6-18:
- 362 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: JProgram.class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jControlFlow.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintUtil.ml", line 149, characters 0-17:
- 149 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -pp "/usr/bin/perl -p -e 'BEGIN{open(CSS,\"style.css\");\$css=\"\\\"\\\"\";while(<CSS>){chomp(\$_);\$css=\"\$css^\\n\\\"\$_\\\\n\\\"\";} print \"# 1 \\\"jPrintHtml.ml\\\"\n\";}s/\\\"\(\* CSS \*\)\\\"/\$css/;'" -c jPrintHtml.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | en JBasics
- 21 | open J....
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintHtml.ml", line 24, characters 0-12:
- 24 | rogram
- 24 | open ..........
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | PrintUtil
- |
- 25 | ty.........
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_methods (which is later used)
- File "jPrintPlugin.ml", line 707, characters 4-26:
- 707 | open AdaptedASTGrammar
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "cmn.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "cmn.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "cmn.ml", line 268, characters 16-18:
- 268 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "cmn.ml", line 269, characters 18-20:
- 269 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "bir.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "bir.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "bir.ml", line 447, characters 37-46:
- 447 | List.iter (fun e -> jump_target.(e.e_handler) <- true) m.bir_exc_tbl ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2711, characters 42-51:
- 2711 | (List.map (fun (i, e) -> (i, NoP, e.e_handler)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3149, characters 26-33:
- 3149 | { e_start= find e.e_start
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3180, characters 27-34:
- 3180 | let in_scope = ref e.e_start in
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3274, characters 43-50:
- 3274 | { e_start= new_code_corresp.(e.e_start)
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3550, characters 40-50:
- 3550 | (String.concat "::" (List.map print_expr e))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 3639, characters 34-43:
- 3639 | (List.map (fun (i, e) -> (e.e_handler, [], i)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3812, characters 45-52:
- 3812 | Printf.printf " [%d, %d] --> %d\n" e.e_start e.e_end e.e_handler )
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4029, characters 17-24:
- 4029 | { e_start= e.e_start
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4056, characters 40-49:
- 4056 | List.iter (fun (i, e) -> add_pred e.e_handler i) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4077, characters 37-46:
- 4077 | List.iter (fun (i, e) -> add i e.e_handler) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4765, characters 60-70:
- 4765 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4783, characters 60-70:
- 4783 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4791, characters 60-70:
- 4791 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4807, characters 60-70:
- 4807 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4827, characters 60-70:
- 4827 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4886, characters 15-22:
- 4886 | handler.e_start handler.e_end handler.e_handler
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4917, characters 6-19:
- 4917 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier iter (which is later used)
- File "bir.ml", line 4963, characters 6-19:
- 4963 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "bir.ml", line 5138, characters 38-47:
- 5138 | (fun map eh -> Ptmap.add eh.e_handler eh.e_catch_type map)
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 5336, characters 29-40:
- 5336 | let inst_disp = inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "bir.ml", line 96, characters 16-18:
- 96 | | `MethodType md ->
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "bir.ml", line 98, characters 18-20:
- 98 | | `MethodHandle mh ->
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- File "bir.ml", line 309, characters 25-27:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable bm.
- File "bir.ml", line 309, characters 29-31:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 309, characters 33-35:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable le.
- File "bir.ml", line 313, characters 21-23:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 313, characters 25-27:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 315, characters 22-24:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 315, characters 26-28:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 317, characters 21-23:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 317, characters 25-27:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 319, characters 22-24:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 319, characters 26-28:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 321, characters 26-28:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ot.
- File "bir.ml", line 321, characters 30-32:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 323, characters 29-31:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 323, characters 33-35:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 325, characters 24-25:
- 325 | | `InvokeStatic m ->
- ^
- Warning 27 [unused-var-strict]: unused variable m.
- File "bir.ml", line 327, characters 25-26:
- 327 | | `InvokeSpecial m ->
- ^
- Warning 27 [unused-var-strict]: unused variable m.
- File "bir.ml", line 329, characters 28-30:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 329, characters 32-34:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 3389, characters 30-36:
- 3389 | let nir_code, nir2bc, nbc2ir, nir_exc_tbl =
- ^^^^^^
- Warning 27 [unused-var-strict]: unused variable nbc2ir.
- File "bir.ml", line 4236, characters 11-12:
- 4236 | (fun i w ->
- ^
- Warning 27 [unused-var-strict]: unused variable i.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "birA3.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "birA3.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/live_bir.ml", line 59, characters 65-80:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e))
- ^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e))
- ^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe_domain.ml", line 80, characters 4-32:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "reachableMethods.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Atom (which is later used)
- File "nexir.ml", line 170, characters 31-35:
- 170 | | A3Bir.Atom(cmp,tv1,tv2) -> Atom(BinCond(cmp,Var tv1,Var tv2))
- ^^^^
- Warning 41 [ambiguous-name]: Atom belongs to several types: Formula.formula A3Bir.formula
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor BoolVar (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor And (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Or (which is later used)
- File "nexir.ml", line 311, characters 6-18:
- 311 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 312, characters 6-17:
- 312 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 284, characters 31-34:
- 284 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNullPointer (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArrayStore (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNegativeArraySize (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckCast (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArithmetic (which is later used)
- File "nexir.ml", line 471, characters 28-31:
- 471 | Ptmap.add start_pc [Nop, 0]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 539, characters 4-20:
- 539 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 18, characters 0-38:
- 18 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 144, characters 4-18:
- 144 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 146, characters 17-21:
- 146 | let get_fresh_pc unit : int =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable unit.
- File "nexir.ml", line 544, characters 17-18:
- 544 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 570, characters 17-18:
- 570 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 597, characters 13-21:
- 597 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 622, characters 35-36:
- 622 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/lex_heap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCRA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.ml", line 109, characters 21-28:
- 109 | (ClassMap.find cs p.classes,fields_of_nodes)
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 229, characters 20-27:
- 229 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jRTA.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jRRTA.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "XTA.ml", lines 63-66, characters 2-74:
- 63 | ..(** [get_relevant_operations program m] returns the sets of instance
- 64 | fields that are read, instance field that are written, static
- 65 | fields that are read, static fields that are written, classes
- 66 | that are instantiated and handled exceptions types in that order. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 160-161, characters 2-38:
- 160 | ..(** returns a set with all the classes that extends (or implements) the class or
- 161 | interface given as parameter. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 288-295, characters 4-23:
- 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value
- 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list]
- 290 | have been removed. Partial applications with a program and a type_list
- 291 | are encourage as it should speed up the computation.
- 292 |
- 293 | As an optimization, [refine_with_type program type_list] may return
- 294 | [None] to encode a function that would otherwise always returns
- 295 | [XTADom.bot] *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 740-745, characters 2-46:
- 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of
- 741 | methods that may be called for a call to [invoke] from [(cn,ms)]
- 742 | with the [classmap] as [program.classes]. Note: partial
- 743 | applications with the state and the classmap are greatly
- 744 | encourage, as partial application with the caller ([cn] and
- 745 | [ms]) has it speed up the resolution. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_field (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "XTA.ml", line 280, characters 13-15:
- 280 | let module ED = Domain.Empty in
- ^^
- Warning 60 [unused-module]: unused module ED.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFADom.ml", line 21, characters 0-12:
- 21 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_open_hvbox (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_string (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_space (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_close_box (which is later used)
- File "jCFADom.ml", line 29, characters 19-23:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable lst1.
- File "jCFADom.ml", line 29, characters 30-34:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable lst2.
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable cmp_list.
- File "jCFADom.ml", line 33, characters 12-14:
- 33 | | [], e2::_ -> 1
- ^^
- Warning 27 [unused-var-strict]: unused variable e2.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFAPrinter.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFA.ml", line 430, characters 6-17:
- 430 | let open JBirPP in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_class (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- File "jCFA.ml", line 1130, characters 6-19:
- 1130 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19:
- 116 | (index v,Nop,i0)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8:
- 135 | (0,Nop,index v)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32:
- 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var))
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.14/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
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -pp "/usr/bin/perl -p -e 'BEGIN{open(CSS,\"style.css\");\$css=\"\\\"\\\"\";while(<CSS>){chomp(\$_);\$css=\"\$css^\\n\\\"\$_\\\\n\\\"\";} print \"# 1 \\\"jPrintHtml.ml\\\"\n\";}s/\\\"\(\* CSS \*\)\\\"/\$css/;'" -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.14/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.14/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.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.14/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.14/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.14/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.14/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.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable cmp_list.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.14/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.14/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.14/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.14/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.14/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7/src'
-> compiled sawja.1.5.7
Processing 33/33: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7/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.14/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.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.14/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.14/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.14/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.14/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.14/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.14/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.14/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.14/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.14/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.14/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.14/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.14/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.14/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.14/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.14/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.14/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.7/src'
-> installed sawja.1.5.7
Done.
# Run eval $(opam env) to update the current shell environment
2022-10-13 03:07.44 ---> saved as "336af32f0fea3cd3a32b0f41ea536108ad3ef60a5ef380a76ca7322a6a65d8bd"
Job succeeded
Home|Differences with the last checks|Previous runs