Building on fall (from freebsd-ocaml-5.0) 2023-11-01 02:08.46 ---> 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-11-01 02:08.46 ---> 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 7b4cedddee88c79d6bdb00eccf7b36a7b617b211")) 2023-11-01 02:08.46 ---> using "ceda9c602c42ecee62840706a0356388ac8fe9b4284a02972fb121a316518aa6" 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-11-01 02:08.46 ---> using "3d69dd19638d580f9a84afa315c8a62fa2810666d83257cb65ea0af54a8f6211" from cache /: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.4.14.1 (cached) -> installed ocaml-base-compiler.4.14.1 -> installed ocaml-config.2 -> installed ocaml.4.14.1 Done. # Run eval $(opam env --switch=4.14.1) to update the current shell environment 2023-11-01 02:08.47 ---> using "c4e27f19fd975d5c280de43fa93fccc258b31be75c65928c8e9a19b3e947d35b" from cache /: (run (network host) (shell "opam update --depexts")) [WARNING] Unknown update command for bsd, skipping system update 2023-11-01 02:08.47 ---> using "82fdb51c9bff51a089d72b27d56db2f7612532ea8873173b74f5196406d22ee8" from cache /: (run (cache (opam-archives (target /usr/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 dune 3.11.1 [required by fiat-p256] - install conf-pkg-config 3 [required by fiat-p256] - install csexp 1.5.2 [required by dune-configurator] - install bigarray-compat 1.1.0 [required by fiat-p256] - install dune-configurator 3.11.1 [required by fiat-p256] - install cstruct 6.0.1 [required by fiat-p256] - install hex 1.5.0 [required by fiat-p256] - install eqaf 0.9 [required by fiat-p256] - install fiat-p256 0.2.3 ===== 9 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/27: Processing 2/27: Processing 3/27: Processing 4/27: Processing 5/27: [conf-pkg-config: pkg-config] -> retrieved cstruct.6.0.1 (cached) Processing 6/27: [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 - --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 - --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/27: -> installed conf-pkg-config.3 Processing 7/27: -> retrieved csexp.1.5.2 (cached) Processing 8/27: -> retrieved bigarray-compat.1.1.0 (cached) Processing 9/27: -> retrieved eqaf.0.9 (cached) Processing 10/27: [fiat-p256.0.2.3: http] -> retrieved dune.3.11.1 (cached) Processing 11/27: [fiat-p256.0.2.3: http] Processing 12/27: [fiat-p256.0.2.3: http] [dune: ocaml 39] -> retrieved hex.1.5.0 (cached) Processing 12/27: [dune: ocaml 39] -> retrieved dune-configurator.3.11.1 (cached) -> retrieved fiat-p256.0.2.3 (https://github.com/mirage/fiat/releases/download/v0.2.3/fiat-p256-v0.2.3.tbz) + /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "39" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1) - ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 39 - Processing 12/27: [dune: ./_boot/dune.exe build] + /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "39" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1) -> compiled dune.3.11.1 -> installed dune.3.11.1 Processing 14/27: [bigarray-compat: dune build] Processing 15/27: [bigarray-compat: dune build] [csexp: dune build] -> compiled bigarray-compat.1.1.0 Processing 15/27: [csexp: dune build] -> installed bigarray-compat.1.1.0 Processing 16/27: [csexp: dune build] Processing 17/27: [csexp: dune build] [cstruct: dune build] -> compiled csexp.1.5.2 Processing 17/27: [cstruct: dune build] -> installed csexp.1.5.2 Processing 18/27: [cstruct: dune build] Processing 19/27: [cstruct: dune build] [dune-configurator: rm] -> compiled cstruct.6.0.1 Processing 19/27: [dune-configurator: rm] -> installed cstruct.6.0.1 Processing 20/27: [dune-configurator: rm] Processing 21/27: [dune-configurator: rm] [eqaf: dune build] Processing 22/27: [dune-configurator: rm] [eqaf: dune build] [hex: dune build] Processing 22/27: [dune-configurator: dune build] [eqaf: dune build] [hex: dune build] -> compiled hex.1.5.0 Processing 22/27: [dune-configurator: dune build] [eqaf: dune build] -> installed hex.1.5.0 Processing 23/27: [dune-configurator: dune build] [eqaf: dune build] -> compiled eqaf.0.9 Processing 23/27: [dune-configurator: dune build] -> installed eqaf.0.9 Processing 24/27: [dune-configurator: dune build] + /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "dune-configurator" "-j" "39" "@install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune-configurator.3.11.1) -> compiled dune-configurator.3.11.1 -> installed dune-configurator.3.11.1 Processing 26/27: [fiat-p256: dune build] + /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "fiat-p256" "-j" "39" "@install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/fiat-p256.0.2.3) - (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -w -40 -g -bin-annot -I p256/.fiat_p256.objs/byte -I /usr/home/opam/.opam/4.14.1/lib/bigarray-compat -I /usr/home/opam/.opam/4.14.1/lib/cstruct -I /usr/home/opam/.opam/4.14.1/lib/eqaf -I /usr/home/opam/.opam/4.14.1/lib/eqaf/bigstring -I /usr/home/opam/.opam/4.14.1/lib/eqaf/cstruct -I /usr/home/opam/.opam/4.14.1/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 && /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -w -40 -g -bin-annot -I p256/.fiat_p256.objs/byte -I /usr/home/opam/.opam/4.14.1/lib/bigarray-compat -I /usr/home/opam/.opam/4.14.1/lib/cstruct -I /usr/home/opam/.opam/4.14.1/lib/eqaf -I /usr/home/opam/.opam/4.14.1/lib/eqaf/bigstring -I /usr/home/opam/.opam/4.14.1/lib/eqaf/cstruct -I /usr/home/opam/.opam/4.14.1/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 && /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -w -40 -g -I p256/.fiat_p256.objs/byte -I p256/.fiat_p256.objs/native -I /usr/home/opam/.opam/4.14.1/lib/bigarray-compat -I /usr/home/opam/.opam/4.14.1/lib/cstruct -I /usr/home/opam/.opam/4.14.1/lib/eqaf -I /usr/home/opam/.opam/4.14.1/lib/eqaf/bigstring -I /usr/home/opam/.opam/4.14.1/lib/eqaf/cstruct -I /usr/home/opam/.opam/4.14.1/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 && /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -w -40 -g -I p256/.fiat_p256.objs/byte -I p256/.fiat_p256.objs/native -I /usr/home/opam/.opam/4.14.1/lib/bigarray-compat -I /usr/home/opam/.opam/4.14.1/lib/cstruct -I /usr/home/opam/.opam/4.14.1/lib/eqaf -I /usr/home/opam/.opam/4.14.1/lib/eqaf/bigstring -I /usr/home/opam/.opam/4.14.1/lib/eqaf/cstruct -I /usr/home/opam/.opam/4.14.1/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. 2023-11-01 02:09.40 ---> saved as "6b5905da249a079c154cf8ec68390c5529b272b3737be44b094487b806e1ff77" Job succeeded