sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
The package failed to build. The error log from opam follows.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile ocaml-base-compiler 5.1.1* [upstream or system changes] - recompile ocaml-config 3 [upstream or system changes] - recompile ocaml 5.1.1 [uses ocaml-base-compiler, ocaml-config] - recompile opam-depext 1.2.1-1 - recompile base-domains base [uses ocaml] - recompile base-nnp base [uses base-domains] ===== 6 to recompile ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-config.3 (cached) -> retrieved opam-depext.1.2.1-1 (cached) -> retrieved ocaml-base-compiler.5.1.1 (cached) -> removed base-nnp.base -> removed base-domains.base -> removed opam-depext.1.2.1-1 -> removed ocaml.5.1.1 -> removed ocaml-config.3 -> removed ocaml-base-compiler.5.1.1 -> installed ocaml-base-compiler.5.1.1 -> installed ocaml-config.3 -> installed ocaml.5.1.1 -> installed base-domains.base -> installed base-nnp.base -> installed opam-depext.1.2.1-1 Done. <><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy cryptoverif.2.06" <><><><><><><><><><><><> You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: libgmp-dev m4 pkg-config zlib1g-dev The following actions will be performed: - install conf-gmp 4 - install conf-pkg-config 3 - install cryptoverif 2.06 - install conf-m4 1 - install dune 3.15.3 - install ocamlfind 1.9.6 - install conf-gmp-powm-sec 3 - install conf-zlib 1 - install csexp 1.5.2 - install zarith 1.13 - install dune-configurator 3.15.3 - install cryptokit 1.19 ===== 12 to install ===== The following system packages will first need to be installed: libgmp-dev m4 pkg-config zlib1g-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "m4" "pkg-config" "zlib1g-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libgmpxx4ldbl: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 ... 18766 files and directories currently installed.) - Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../2-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package m4. - Preparing to unpack .../3-m4_1.4.19-3_amd64.deb ... - Unpacking m4 (1.4.19-3) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../4-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../5-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../6-pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Selecting previously unselected package zlib1g-dev:amd64. - Preparing to unpack .../7-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up m4 (1.4.19-3) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Processing triggers for libc-bin (2.36-9+deb12u7) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved conf-gmp.4 (cached) -> retrieved conf-gmp-powm-sec.3 (cached) Processing 6/36: Processing 7/36: [cryptoverif.2.06: http] Processing 8/36: [cryptoverif.2.06: http] Processing 9/36: [cryptoverif.2.06: http] [conf-gmp: sh] Processing 10/36: [cryptoverif.2.06: http] [conf-gmp: sh] [conf-m4: sh echo | m4] Processing 11/36: [cryptoverif.2.06: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] -> retrieved cryptokit.1.19 (cached) Processing 12/36: [cryptoverif.2.06: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] [ERROR] Failed to get sources of cryptoverif.2.06: Curl failed Processing 12/36: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] Processing 13/36: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] Processing 14/36: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] Processing 15/36: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] -> retrieved csexp.1.5.2 (cached) Processing 16/36: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 16/36: [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] -> installed conf-gmp.4 Processing 17/36: [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] Processing 18/36: [conf-gmp-powm-sec: sh] [conf-m4: sh echo | m4] [conf-pkg-config: pkg-config] - + echo - + m4 - -> compiled conf-m4.1 Processing 18/36: [conf-gmp-powm-sec: sh] [conf-pkg-config: pkg-config] -> installed conf-m4.1 Processing 19/36: [conf-gmp-powm-sec: sh] [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/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output - --path show the exact filenames for any matching .pc files - --modversion print the specified module's version to stdout - --internal-cflags do not filter 'internal' cflags from output - - filtering output: - - --msvc-syntax print translatable fragments in MSVC syntax - --fragment-filter=types filter output fragments to the specified types - - report bugs to <https://github.com/pkgconf/pkgconf/issues/new>. -> compiled conf-pkg-config.3 Processing 19/36: [conf-gmp-powm-sec: sh] -> installed conf-pkg-config.3 Processing 20/36: [conf-gmp-powm-sec: sh] Processing 21/36: [conf-gmp-powm-sec: sh] [conf-zlib: pkg-config zlib] -> retrieved ocamlfind.1.9.6 (cached) Processing 22/36: [conf-gmp-powm-sec: sh] [conf-zlib: pkg-config zlib] [ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch Processing 23/36: [conf-gmp-powm-sec: sh] [conf-zlib: pkg-config zlib] [ocamlfind: patch] - + cc -c -I/usr/local/include test.c -> compiled conf-gmp-powm-sec.3 Processing 23/36: [conf-zlib: pkg-config zlib] [ocamlfind: patch] -> installed conf-gmp-powm-sec.3 Processing 24/36: [conf-zlib: pkg-config zlib] [ocamlfind: patch] -> compiled conf-zlib.1 Processing 24/36: [ocamlfind: patch] -> installed conf-zlib.1 Processing 25/36: [ocamlfind: patch] -> retrieved zarith.1.13 (cached) Processing 25/36: [ocamlfind: ./configure] - 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: /home/opam/.opam/5.1/lib/ocaml - Binaries: /home/opam/.opam/5.1/bin - Manual pages: /home/opam/.opam/5.1/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/5.1/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/5.1/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/5.1/bin - Manual pages: /home/opam/.opam/5.1/man - topfind script: /home/opam/.opam/5.1/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 25/36: [ocamlfind: make all] -> retrieved dune.3.15.3 (cached) Processing 26/36: [dune: ocaml 39] [ocamlfind: make all] -> retrieved dune-configurator.3.15.3 (cached) - for p in findlib; do ( cd src/$p; /usr/bin/make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/5.1/.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@' '/home/opam/.opam/5.1/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/5.1/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 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@' '/home/opam/.opam/5.1/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/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - /usr/bin/make all-config - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/5.1/lib' | \ - tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/5.1/lib/ocaml:/home/opam/.opam/5.1/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 - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' Processing 26/36: [dune: ocaml 39] [ocamlfind: make opt] - for p in findlib; do ( cd src/$p; /usr/bin/make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/5.1/.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 - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' -> compiled ocamlfind.1.9.6 Processing 26/36: [dune: ocaml 39] Processing 27/36: [dune: ocaml 39] [ocamlfind: make install] - if [ "0" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/5.1/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/5.1/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/5.1/bin" - install -d "/home/opam/.opam/5.1/man" - /usr/bin/make install-config - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - install -d "`dirname \"/home/opam/.opam/5.1/lib/findlib.conf\"`" - test -f "/home/opam/.opam/5.1/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/5.1/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - for p in findlib; do ( cd src/$p; /usr/bin/make install ); done - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - install -d "/home/opam/.opam/5.1/lib/findlib" - install -d "/home/opam/.opam/5.1/bin" - test 1 -eq 0 || install -d "/home/opam/.opam/5.1/lib/ocaml" - test 1 -eq 0 || install -c topfind "/home/opam/.opam/5.1/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/5.1/lib/findlib/" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - install -c $f "/home/opam/.opam/5.1/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/5.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/5.1/lib/ocaml/compiler-libs/"; \ - install -c topdirs.cmi toploop.cmi "/home/opam/.opam/5.1/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - /usr/bin/make install-meta - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - for x in bytes ; do install -d "/home/opam/.opam/5.1/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/5.1/lib/$x/META.tmp" && mv "/home/opam/.opam/5.1/lib/$x/META.tmp" "/home/opam/.opam/5.1/lib/$x/META"; done - install -d "/home/opam/.opam/5.1/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/5.1/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/bin/make install-num-top; } - test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/5.1/bin" - /usr/bin/make install-doc - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - install -d "/home/opam/.opam/5.1/man/man1" "/home/opam/.opam/5.1/man/man3" "/home/opam/.opam/5.1/man/man5" - install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.1/man/man1" - install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.1/man/man5" - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' -> installed ocamlfind.1.9.6 Processing 27/36: [dune: ocaml 39] Processing 28/36: [dune: ocaml 39] [zarith: ./configure] - binary ocaml: found in /home/opam/.opam/5.1/bin - binary ocamlc: found in /home/opam/.opam/5.1/bin - binary ocamldep: found in /home/opam/.opam/5.1/bin - binary ocamlmklib: found in /home/opam/.opam/5.1/bin - binary ocamldoc: found in /home/opam/.opam/5.1/bin - binary ocamlopt: found in /home/opam/.opam/5.1/bin - checking compilation with ocamlc -O3 -Wall -Wextra : working - include caml/mlvalues.h: found - library dynlink.cmxa: found - binary ocamlfind: found in /home/opam/.opam/5.1/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/home/opam/.opam/5.1/lib/ocaml - libraries: -lgmp - linker options: - C options: -O3 -Wall -Wextra - installation path: /home/opam/.opam/5.1/lib - installation method findlib - - configuration successful! - now type "make" to build - then type "make install" or "sudo make install" to install Processing 28/36: [dune: ocaml 39] [zarith: make] - (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 -lgmp - ocamlc -ccopt "-I/home/opam/.opam/5.1/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c - ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp - 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 -lgmp - ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall -> compiled zarith.1.13 Processing 28/36: [dune: ocaml 39] Processing 29/36: [dune: ocaml 39] [zarith: make install] - ocamlfind install -destdir "/home/opam/.opam/5.1/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 /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmti - Installed /home/opam/.opam/5.1/lib/zarith/q.cmti - Installed /home/opam/.opam/5.1/lib/zarith/z.cmti - Installed /home/opam/.opam/5.1/lib/zarith/zarith.a - Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.mli - Installed /home/opam/.opam/5.1/lib/zarith/q.mli - Installed /home/opam/.opam/5.1/lib/zarith/zarith.h - Installed /home/opam/.opam/5.1/lib/zarith/zarith.cmxs - Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmx - Installed /home/opam/.opam/5.1/lib/zarith/q.cmx - Installed /home/opam/.opam/5.1/lib/zarith/z.cmx - Installed /home/opam/.opam/5.1/lib/zarith/zarith_version.cmx - Installed /home/opam/.opam/5.1/lib/zarith/zarith.cmxa - Installed /home/opam/.opam/5.1/lib/zarith/z.mli - Installed /home/opam/.opam/5.1/lib/zarith/zarith_top.cma - Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmi - Installed /home/opam/.opam/5.1/lib/zarith/q.cmi - Installed /home/opam/.opam/5.1/lib/zarith/z.cmi - Installed /home/opam/.opam/5.1/lib/zarith/libzarith.a - Installed /home/opam/.opam/5.1/lib/zarith/zarith.cma - Installed /home/opam/.opam/5.1/lib/stublibs/dllzarith.so - Installed /home/opam/.opam/5.1/lib/stublibs/dllzarith.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.1/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/5.1/lib/zarith/META -> installed zarith.1.13 Processing 29/36: [dune: ocaml 39] + /home/opam/.opam/5.1/bin/ocaml "boot/bootstrap.ml" "-j" "39" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune.3.15.3) - 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 39 - cd _boot && /home/opam/.opam/5.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -I +threads opamLocal.ml - File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - - File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - - File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/5.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -I +threads opamVCS.ml - File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/5.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -I +threads opamDownload.ml - File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/5.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -I +threads opamRepository.ml - File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - - File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - - File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42: - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, Checksum_mismatch _) - Processing 29/36: [dune: ./_boot/dune.exe build] + /home/opam/.opam/5.1/.opam-switch/build/dune.3.15.3/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "39" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune.3.15.3) -> compiled dune.3.15.3 -> installed dune.3.15.3 Processing 31/36: [csexp: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "csexp" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/csexp.1.5.2) -> compiled csexp.1.5.2 -> installed csexp.1.5.2 Processing 33/36: [dune-configurator: rm] + /usr/bin/rm "-rf" "vendor/csexp" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune-configurator.3.15.3) + /usr/bin/rm "-rf" "vendor/pp" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune-configurator.3.15.3) Processing 33/36: [dune-configurator: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "dune-configurator" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune-configurator.3.15.3) -> compiled dune-configurator.3.15.3 -> installed dune-configurator.3.15.3 Processing 35/36: [cryptokit: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "cryptokit" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/cryptokit.1.19) - (cd _build/default/src && config/flags.exe) - ZLib: ............................... enabled - Hardware support for AES and GCM: ... enabled - getentropy():........................ enabled -> compiled cryptokit.1.19 -> installed cryptokit.1.19 #=== ERROR while fetching sources for cryptoverif.2.06 ========================# OpamSolution.Fetch_fail("https://cryptoverif.inria.fr/cryptoverif2.06.tar.gz (Curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.1.6 -L -o /home/opam/.opam/5.1/.opam-switch/sources/cryptoverif.2.06/cryptoverif2.06.tar.gz.part -- https://cryptoverif.inria.fr/cryptoverif2.06.tar.gz\" exited with code 60)") <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - fetch cryptoverif 2.06 +- +- The following changes have been performed | - install conf-gmp 4 | - install conf-gmp-powm-sec 3 | - install conf-m4 1 | - install conf-pkg-config 3 | - install conf-zlib 1 | - install cryptokit 1.19 | - install csexp 1.5.2 | - install dune 3.15.3 | - install dune-configurator 3.15.3 | - install ocamlfind 1.9.6 | - install zarith 1.13 +- # Run eval $(opam env) to update the current shell environment The former state can be restored with: /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240529181857.export" 'opam --cli=2.1 install cryptoverif.2.06 --verbose --yes --confirm-level=unsafe-yes' failed.