Building on summer
(from freebsd-ocaml-5.0)
2023-10-18 03:05.43 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" 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/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-10-18 03:05.43 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" 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 a4349cb398e7d693e3d509914067dc47d1c71782"))
2023-10-18 03:05.43 ---> using "847cbd71d6e243cb26730c6185d78510731de6bc2b4440eaf8f09e2ada29204e" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-10-18 03:05.44 ---> using "76fe4e508bf18ac6169aa42d066ca9a1236d6528de4350d6a7fa0ee89b29da2f" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.1.0' 'ocaml-base-compiler.5.1.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.1.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.1.0 (https://github.com/ocaml/ocaml/archive/5.1.0.tar.gz)
-> installed ocaml-base-compiler.5.1.0
-> installed ocaml-config.3
-> installed ocaml.5.1.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.1.0) to update the current shell environment
2023-10-18 03:05.44 ---> using "45001699be8995f4b15be626c3924c9cad054345a4e372d9e7d67e717e7c9603" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-10-18 03:05.44 ---> using "46c9f3ab7d5746063c1ef6a70a58a8d70b9b45d47abb0a64ca248a2dcd32acaa" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"cryptoverif.2.07\"\
\nopam install -vy \"cryptoverif.2.07\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"cryptoverif.2.07\" | grep -q '\"freebsd\"'; 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] cryptoverif.2.07 is not installed.
Nothing to do.
The following actions will be performed:
- install dune 3.11.1
- install conf-gmp 4
- install conf-pkg-config 3
- install cryptoverif 2.07
- install conf-m4 1
- install ocamlfind 1.9.6
- install csexp 1.5.2
- install conf-gmp-powm-sec 3
- install conf-zlib 1
- install zarith 1.13
- install dune-configurator 3.11.1
- install cryptokit 1.18
===== 12 to install =====
The following system packages will first need to be installed:
gmp
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/local/bin/sudo "pkg" "install" "-y" "gmp"
- Updating FreeBSD repository catalogue...
- [summer] Fetching packagesite.pkg: .......
- ... done
- Processing entries: ..
- ..
- ...
- ..
- . done
- FreeBSD repository update completed. 34069 packages processed.
- All repositories are up to date.
- New version of pkg detected; it needs to be installed first.
- The following 1 package(s) will be affected (of 0 checked):
-
- Installed packages to be UPGRADED:
- pkg: 1.19.2 -> 1.20.8
-
- Number of packages to be upgraded: 1
-
- The process will require 1 MiB more space.
- 9 MiB to be downloaded.
- [summer] [1/1] Fetching pkg-1.20.8.pkg: ........
- .. done
- Checking integrity... done (0 conflicting)
- [summer] [1/1] Upgrading pkg from 1.19.2 to 1.20.8...
- [summer] [1/1] Extracting pkg-1.20.8: .........
- . done
- Updating FreeBSD repository catalogue...
- FreeBSD repository is up to date.
- All repositories are up to date.
- The following 1 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- gmp: 6.3.0
-
- Number of packages to be installed: 1
-
- The process will require 3 MiB more space.
- 477 KiB to be downloaded.
- [summer] [1/1] Fetching gmp-6.3.0.pkg: .......... done
- Checking integrity... done (0 conflicting)
- [summer] [1/1] Installing gmp-6.3.0...
- [summer] [1/1] Extracting gmp-6.3.0: .......... done
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 6/36:
Processing 7/36: [cryptoverif.2.07: http]
Processing 8/36: [cryptoverif.2.07: http]
Processing 9/36: [cryptoverif.2.07: http] [conf-gmp: sh]
Processing 10/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-m4: sh echo | m4]
Processing 11/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config]
-> retrieved csexp.1.5.2 (cached)
Processing 12/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config]
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 12/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-m4: sh echo | m4]
-> installed conf-pkg-config.3
Processing 13/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-m4: sh echo | m4]
Processing 14/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-zlib: pkg-config zlib]
- + echo
- + m4
-
-> compiled conf-m4.1
Processing 14/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-zlib: pkg-config zlib]
-> installed conf-m4.1
Processing 15/36: [cryptoverif.2.07: http] [conf-gmp: sh] [conf-zlib: pkg-config zlib]
Processing 15/36: [conf-gmp: sh] [conf-zlib: pkg-config zlib]
-> compiled conf-zlib.1
Processing 15/36: [conf-gmp: sh]
-> installed conf-zlib.1
Processing 16/36: [conf-gmp: sh]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 16/36:
-> installed conf-gmp.4
Processing 17/36:
Processing 18/36: [conf-gmp-powm-sec: sh]
-> retrieved cryptokit.1.18 (cached)
Processing 19/36: [conf-gmp-powm-sec: sh]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp-powm-sec.3
Processing 19/36:
-> installed conf-gmp-powm-sec.3
Processing 20/36:
-> retrieved cryptoverif.2.07 (http://cryptoverif.inria.fr/cryptoverif2.07.tar.gz)
Processing 21/36:
Processing 22/36: [cryptoverif: ./build]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 23/36: [cryptoverif: ./build]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 24/36: [cryptoverif: ./build] [ocamlfind: patch]
-> retrieved zarith.1.13 (cached)
Processing 24/36: [cryptoverif: ./build] [ocamlfind: ./configure]
-> retrieved dune-configurator.3.11.1 (cached)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Configuring libraries...
- unix: found (in +unix)
- dynlink: found (in +dynlink)
- bigarray: not present (possible since 4.08)
- 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)
- str: found (in +str)
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /usr/home/opam/.opam/5.1.0/lib/ocaml
- Binaries: /usr/home/opam/.opam/5.1.0/bin
- Manual pages: /usr/home/opam/.opam/5.1.0/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /usr/home/opam/.opam/5.1.0/lib
- The configuration file is written to:
- findlib config file: /usr/home/opam/.opam/5.1.0/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /usr/home/opam/.opam/5.1.0/bin
- Manual pages: /usr/home/opam/.opam/5.1.0/man
- topfind script: /usr/home/opam/.opam/5.1.0/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 24/36: [cryptoverif: ./build] [ocamlfind: gmake all]
-> retrieved dune.3.11.1 (cached)
Processing 25/36: [cryptoverif: ./build] [dune: ocaml 15] [ocamlfind: gmake all]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/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@' '/usr/home/opam/.opam/5.1.0/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/usr/home/opam/.opam/5.1.0/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;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 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 319, characters 4-27:
- 319 | 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@' '/usr/home/opam/.opam/5.1.0/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
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/usr/home/opam/.opam/5.1.0/lib' | \
- tools/patch '@FINDLIB_PATH@' '/usr/home/opam/.opam/5.1.0/lib/ocaml:/usr/home/opam/.opam/5.1.0/lib' -p >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
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
Processing 25/36: [cryptoverif: ./build] [dune: ocaml 15] [ocamlfind: gmake opt]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/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 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 319, characters 4-27:
- 319 | 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
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 25/36: [cryptoverif: ./build] [dune: ocaml 15]
Processing 26/36: [cryptoverif: ./build] [dune: ocaml 15] [ocamlfind: gmake install]
- if [ "0" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/usr/home/opam/.opam/5.1.0/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//usr/home/opam/.opam/5.1.0/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/usr/home/opam/.opam/5.1.0/bin"
- install -d "/usr/home/opam/.opam/5.1.0/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/usr/home/opam/.opam/5.1.0/lib/findlib.conf\"`"
- test -f "/usr/home/opam/.opam/5.1.0/lib/findlib.conf" || install -c findlib.conf "/usr/home/opam/.opam/5.1.0/lib/findlib.conf"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/usr/home/opam/.opam/5.1.0/lib/findlib"
- install -d "/usr/home/opam/.opam/5.1.0/bin"
- test 1 -eq 0 || install -d "/usr/home/opam/.opam/5.1.0/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/usr/home/opam/.opam/5.1.0/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 "/usr/home/opam/.opam/5.1.0/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/usr/home/opam/.opam/5.1.0/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/usr/home/opam/.opam/5.1.0/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- for x in bytes ; do install -d "/usr/home/opam/.opam/5.1.0/lib/$x"; install -c site-lib-src/$x/META "/usr/home/opam/.opam/5.1.0/lib/$x/META.tmp" && mv "/usr/home/opam/.opam/5.1.0/lib/$x/META.tmp" "/usr/home/opam/.opam/5.1.0/lib/$x/META"; done
- install -d "/usr/home/opam/.opam/5.1.0/lib/findlib"; install -c Makefile.packages "/usr/home/opam/.opam/5.1.0/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/usr/home/opam/.opam/5.1.0/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/usr/home/opam/.opam/5.1.0/man/man1" "/usr/home/opam/.opam/5.1.0/man/man3" "/usr/home/opam/.opam/5.1.0/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/usr/home/opam/.opam/5.1.0/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/usr/home/opam/.opam/5.1.0/man/man5"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 26/36: [cryptoverif: ./build] [dune: ocaml 15]
Processing 27/36: [cryptoverif: ./build] [dune: ocaml 15] [zarith: sh]
- + LDFLAGS=' -L/usr/local/lib' CFLAGS=' -I/usr/local/include' ./configure
- binary ocaml: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamlc: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamldep: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamlmklib: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamldoc: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamlopt: found in /usr/home/opam/.opam/5.1.0/bin
- checking compilation with ocamlc -O3 -Wall -Wextra -I/usr/local/include: working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /usr/home/opam/.opam/5.1.0/bin
- OCaml's word size is 64
- package gmp: found
- OCaml supports -bin-annot to produce documentation
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- defines: -DHAS_GMP
- includes: -I/usr/home/opam/.opam/5.1.0/lib/ocaml -I/usr/local/include
- libraries: -L/usr/local/lib -lgmp
- linker options: -L/usr/local/lib
- C options: -O3 -Wall -Wextra -I/usr/local/include
- installation path: /usr/home/opam/.opam/5.1.0/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 27/36: [cryptoverif: ./build] [dune: ocaml 15] [zarith: gmake]
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml
- ocamlc -g -I +compiler-libs -bin-annot -c z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c z.ml
- ocamlc -g -I +compiler-libs -bin-annot -c q.mli
- ocamlc -g -I +compiler-libs -bin-annot -c q.ml
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -L/usr/local/lib -lgmp -L/usr/local/lib
- ocamlc -ccopt "-I/usr/home/opam/.opam/5.1.0/lib/ocaml -I/usr/local/include -DHAS_GMP -O3 -Wall -Wextra -I/usr/local/include" -c caml_z.c
- ocamlmklib -g -failsafe -o zarith caml_z.o -L/usr/local/lib -lgmp -L/usr/local/lib
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -g -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -g -I +compiler-libs -c zarith_version.ml
- ocamlopt -g -I +compiler-libs -c z.ml
- ocamlopt -g -I +compiler-libs -c q.ml
- ocamlopt -g -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -L/usr/local/lib -lgmp -L/usr/local/lib
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.13
Processing 27/36: [cryptoverif: ./build] [dune: ocaml 15]
Processing 28/36: [cryptoverif: ./build] [dune: ocaml 15] [zarith: gmake install]
- ocamlfind install -destdir "/usr/home/opam/.opam/5.1.0/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmti
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmti
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmti
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.a
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.mli
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.mli
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.h
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cmxs
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith_version.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cmxa
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.mli
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith_top.cma
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/libzarith.a
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cma
- Installed /usr/home/opam/.opam/5.1.0/lib/stublibs/dllzarith.so
- Installed /usr/home/opam/.opam/5.1.0/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /usr/home/opam/.opam/5.1.0/lib/stublibs is not mentioned in ld.conf
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/META
-> installed zarith.1.13
Processing 28/36: [cryptoverif: ./build] [dune: ocaml 15]
- 101 shift/reduce conflicts.
- 117 states, 4455 transitions, table size 18522 bytes
-> compiled cryptoverif.2.07
Processing 28/36: [dune: ocaml 15]
Processing 29/36: [dune: ocaml 15] [cryptoverif: ./build install]
-> installed cryptoverif.2.07
Processing 29/36: [dune: ocaml 15]
+ /usr/home/opam/.opam/5.1.0/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.11.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot -I +unix unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 15
-
Processing 29/36: [dune: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.11.1/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.11.1)
-> compiled dune.3.11.1
-> installed dune.3.11.1
Processing 31/36: [csexp: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "csexp" "-j" "15" "@install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/csexp.1.5.2)
-> compiled csexp.1.5.2
-> installed csexp.1.5.2
Processing 33/36: [dune-configurator: rm]
+ /bin/rm "-rf" "vendor/csexp" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune-configurator.3.11.1)
+ /bin/rm "-rf" "vendor/pp" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune-configurator.3.11.1)
Processing 33/36: [dune-configurator: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "dune-configurator" "-j" "15" "@install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune-configurator.3.11.1)
-> compiled dune-configurator.3.11.1
-> installed dune-configurator.3.11.1
Processing 35/36: [cryptokit: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "cryptokit" "-j" "15" "@install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/cryptokit.1.18)
- (cd _build/default/src && config/flags.exe)
- ZLib: ............................... enabled
- Hardware support for AES and GCM: ... enabled
- getentropy():........................ enabled
-> compiled cryptokit.1.18
-> installed cryptokit.1.18
Done.
2023-10-18 03:07.24 ---> saved as "5ee0ce1bd7950390cf05fa12aa7874da59ad29b179c6bf3e74c81fcad894e0d1"
Job succeeded
Home|Differences with the last checks|Previous runs