Building on spring (from freebsd) 2024-07-03 00:42.18 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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-dev /usr/local/bin/opam")) 2024-07-03 00:42.19 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 175a8ca8b27d9a46ed86ec5d7b1130c98a153055")) 2024-07-03 00:42.19 ---> using "12d681098b105578a67465aa7bc396c5d90e9ce4e3304a8d75f23641353fa26c" 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: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2024-07-03 00:42.19 ---> using "cd58f29b8c142c1ae36c06cbe6d040fc45053855e85f74d3d710bce30c463662" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '5.2.0' 'ocaml-base-compiler.5.2.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "5.2.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed host-arch-x86_64.1 -> installed host-system-other.1 -> installed ocaml-options-vanilla.1 -> retrieved ocaml-config.3 (2 extra sources) -> retrieved ocaml-config.3 (2 extra sources) -> retrieved ocaml-base-compiler.5.2.0 (https://github.com/ocaml/ocaml/archive/5.2.0.tar.gz) -> installed ocaml-base-compiler.5.2.0 -> installed ocaml-config.3 -> installed ocaml.5.2.0 -> installed base-domains.base -> installed base-nnp.base Done. # Run eval $(opam env --switch=5.2.0) to update the current shell environment 2024-07-03 00:42.20 ---> using "ed3a3128ac92f4ea054cc6b5edb59665d4970ef36e558514f00e2546747707a2" from cache /: (run (network host) (shell "opam update --depexts")) [WARNING] Unknown update command for bsd, skipping system update 2024-07-03 00:42.20 ---> using "33b8260b0e33a82f0ad4b0dbad7d61cc12e22da1ad00635db716a96f188b3b58" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"fiat-p256.0.2.3\"\ \nopam install -vy \"fiat-p256.0.2.3\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"fiat-p256.0.2.3\" | 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] fiat-p256.0.2.3 is not installed. Nothing to do. The following actions will be performed: === install 9 packages - install bigarray-compat 1.1.0 [required by fiat-p256] - install conf-pkg-config 3 [required by fiat-p256] - install csexp 1.5.2 [required by dune-configurator] - install cstruct 6.0.1 [required by fiat-p256] - install dune 3.16.0 [required by fiat-p256] - install dune-configurator 3.16.0 [required by fiat-p256] - install eqaf 0.9 [required by fiat-p256] - install fiat-p256 0.2.3 - install hex 1.5.0 [required by fiat-p256] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/26: [bigarray-compat.1.1.0: extract] Processing 2/26: [bigarray-compat.1.1.0: extract] Processing 3/26: [bigarray-compat.1.1.0: extract] [csexp.1.5.2: extract] Processing 4/26: [bigarray-compat.1.1.0: extract] [csexp.1.5.2: extract] [cstruct.6.0.1: extract] Processing 5/26: [bigarray-compat.1.1.0: extract] [csexp.1.5.2: extract] [cstruct.6.0.1: extract] [conf-pkg-config: pkg-config] -> retrieved csexp.1.5.2 (cached) Processing 5/26: [bigarray-compat.1.1.0: extract] [cstruct.6.0.1: extract] [conf-pkg-config: pkg-config] Processing 6/26: [bigarray-compat.1.1.0: extract] [cstruct.6.0.1: extract] [dune.3.16.0, dune-configurator.3.16.0: extract] [conf-pkg-config: pkg-config] + /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/conf-pkg-config.3) - 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 - --verbose print additional information - --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 - --solution print dependency graph solution in a simple 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 - --license print the specified module's license to stdout if known - - 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 6/26: [bigarray-compat.1.1.0: extract] [cstruct.6.0.1: extract] [dune.3.16.0, dune-configurator.3.16.0: extract] -> installed conf-pkg-config.3 Processing 7/26: [bigarray-compat.1.1.0: extract] [cstruct.6.0.1: extract] [dune.3.16.0, dune-configurator.3.16.0: extract] -> retrieved cstruct.6.0.1 (cached) Processing 7/26: [bigarray-compat.1.1.0: extract] [dune.3.16.0, dune-configurator.3.16.0: extract] Processing 8/26: [bigarray-compat.1.1.0: extract] [dune.3.16.0, dune-configurator.3.16.0: extract] [eqaf.0.9: extract] -> retrieved bigarray-compat.1.1.0 (cached) Processing 8/26: [dune.3.16.0, dune-configurator.3.16.0: extract] [eqaf.0.9: extract] Processing 9/26: [dune.3.16.0, dune-configurator.3.16.0: extract] [eqaf.0.9: extract] [fiat-p256.0.2.3: http] -> retrieved eqaf.0.9 (cached) Processing 9/26: [dune.3.16.0, dune-configurator.3.16.0: extract] [fiat-p256.0.2.3: http] Processing 10/26: [dune.3.16.0, dune-configurator.3.16.0: extract] [fiat-p256.0.2.3: http] [hex.1.5.0: extract] -> retrieved hex.1.5.0 (cached) Processing 10/26: [dune.3.16.0, dune-configurator.3.16.0: extract] [fiat-p256.0.2.3: http] Processing 10/26: [dune.3.16.0, dune-configurator.3.16.0: extract] [fiat-p256.0.2.3: extract] -> retrieved fiat-p256.0.2.3 (https://github.com/mirage/fiat/releases/download/v0.2.3/fiat-p256-v0.2.3.tbz) Processing 10/26: [dune.3.16.0, dune-configurator.3.16.0: extract] -> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached) Processing 11/26: [dune: ocaml 7] + /home/opam/.opam/5.2.0/bin/ocaml "boot/bootstrap.ml" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune.3.16.0) - 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 7 - cd _boot && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -I +threads stdune.ml - File "otherlibs/stdune/src/stdune.ml", line 1, characters 4-9: - Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context - Processing 11/26: [dune: ./_boot/dune.exe build] + /home/opam/.opam/5.2.0/.opam-switch/build/dune.3.16.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune.3.16.0) -> compiled dune.3.16.0 -> installed dune.3.16.0 Processing 13/26: [bigarray-compat: dune build] Processing 14/26: [bigarray-compat: dune build] [csexp: dune build] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "csexp" "-j" "7" "@install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/csexp.1.5.2) - (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/.csexp.objs/byte -intf-suffix .ml -no-alias-deps -o src/.csexp.objs/byte/csexp.cmo -c -impl src/csexp.ml) - File "src/csexp.ml", line 236, characters 7-14: - 236 | [@@inlined always] - ^^^^^^^ - Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -w -40 -g -I src/.csexp.objs/byte -I src/.csexp.objs/native -intf-suffix .ml -no-alias-deps -o src/.csexp.objs/native/csexp.cmx -c -impl src/csexp.ml) - File "src/csexp.ml", line 236, characters 7-14: - 236 | [@@inlined always] - ^^^^^^^ - Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context -> compiled csexp.1.5.2 Processing 14/26: [bigarray-compat: dune build] -> installed csexp.1.5.2 Processing 15/26: [bigarray-compat: dune build] Processing 16/26: [bigarray-compat: dune build] [dune-configurator: rm] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "bigarray-compat" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/bigarray-compat.1.1.0) -> compiled bigarray-compat.1.1.0 Processing 16/26: [dune-configurator: rm] -> installed bigarray-compat.1.1.0 Processing 17/26: [dune-configurator: rm] Processing 18/26: [cstruct: dune build] [dune-configurator: rm] + /bin/rm "-rf" "vendor/csexp" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune-configurator.3.16.0) + /bin/rm "-rf" "vendor/pp" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune-configurator.3.16.0) Processing 18/26: [cstruct: dune build] [dune-configurator: dune build] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "cstruct" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/cstruct.6.0.1) -> compiled cstruct.6.0.1 Processing 18/26: [dune-configurator: dune build] -> installed cstruct.6.0.1 Processing 19/26: [dune-configurator: dune build] Processing 20/26: [dune-configurator: dune build] [eqaf: dune build] Processing 21/26: [dune-configurator: dune build] [eqaf: dune build] [hex: dune build] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "hex" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/hex.1.5.0) -> compiled hex.1.5.0 Processing 21/26: [dune-configurator: dune build] [eqaf: dune build] -> installed hex.1.5.0 Processing 22/26: [dune-configurator: dune build] [eqaf: dune build] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "dune-configurator" "-j" "7" "@install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune-configurator.3.16.0) -> compiled dune-configurator.3.16.0 Processing 22/26: [eqaf: dune build] -> installed dune-configurator.3.16.0 Processing 23/26: [eqaf: dune build] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "eqaf" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/eqaf.0.9) -> compiled eqaf.0.9 -> installed eqaf.0.9 Processing 25/26: [fiat-p256: dune build] + /home/opam/.opam/5.2.0/bin/dune "build" "-p" "fiat-p256" "-j" "7" "@install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/fiat-p256.0.2.3) - (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I p256/.fiat_p256.objs/byte -I /home/opam/.opam/5.2.0/lib/bigarray-compat -I /home/opam/.opam/5.2.0/lib/cstruct -I /home/opam/.opam/5.2.0/lib/eqaf -I /home/opam/.opam/5.2.0/lib/eqaf/bigstring -I /home/opam/.opam/5.2.0/lib/eqaf/cstruct -I /home/opam/.opam/5.2.0/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/byte/fiat_p256__Field_element.cmo -c -impl p256/field_element.ml) - File "p256/field_element.ml", line 25, characters 10-21: - 25 | assert (Cstruct.len cs = 32); - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -w -40 -g -I p256/.fiat_p256.objs/byte -I p256/.fiat_p256.objs/native -I /home/opam/.opam/5.2.0/lib/bigarray-compat -I /home/opam/.opam/5.2.0/lib/cstruct -I /home/opam/.opam/5.2.0/lib/eqaf -I /home/opam/.opam/5.2.0/lib/eqaf/bigstring -I /home/opam/.opam/5.2.0/lib/eqaf/cstruct -I /home/opam/.opam/5.2.0/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/native/fiat_p256__Field_element.cmx -c -impl p256/field_element.ml) - File "p256/field_element.ml", line 25, characters 10-21: - 25 | assert (Cstruct.len cs = 32); - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I p256/.fiat_p256.objs/byte -I /home/opam/.opam/5.2.0/lib/bigarray-compat -I /home/opam/.opam/5.2.0/lib/cstruct -I /home/opam/.opam/5.2.0/lib/eqaf -I /home/opam/.opam/5.2.0/lib/eqaf/bigstring -I /home/opam/.opam/5.2.0/lib/eqaf/cstruct -I /home/opam/.opam/5.2.0/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/byte/fiat_p256__Point.cmo -c -impl p256/point.ml) - File "p256/point.ml", line 52, characters 5-16: - 52 | if Cstruct.len cs = 0 then None else Some (Cstruct.get_uint8 cs 0) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - - File "p256/point.ml", line 55, characters 24-35: - 55 | match (first_byte cs, Cstruct.len cs) with - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -w -40 -g -I p256/.fiat_p256.objs/byte -I p256/.fiat_p256.objs/native -I /home/opam/.opam/5.2.0/lib/bigarray-compat -I /home/opam/.opam/5.2.0/lib/cstruct -I /home/opam/.opam/5.2.0/lib/eqaf -I /home/opam/.opam/5.2.0/lib/eqaf/bigstring -I /home/opam/.opam/5.2.0/lib/eqaf/cstruct -I /home/opam/.opam/5.2.0/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/native/fiat_p256__Point.cmx -c -impl p256/point.ml) - File "p256/point.ml", line 52, characters 5-16: - 52 | if Cstruct.len cs = 0 then None else Some (Cstruct.get_uint8 cs 0) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - - File "p256/point.ml", line 55, characters 24-35: - 55 | match (first_byte cs, Cstruct.len cs) with - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default/freestanding && /usr/local/bin/gmake) - touch libfiat_p256_freestanding_stubs.a -> compiled fiat-p256.0.2.3 -> installed fiat-p256.0.2.3 Done. 2024-07-03 00:43.56 ---> saved as "82b08be516f1acb4d47d425235af7ef8260706da8527117ff846b693c97380a5" Job succeeded