OCamllabs icon Home|Differences with the last checks|Previous runs


Building on spring

(from freebsd)
2024-02-20 22:44.14 ---> 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-02-20 22:44.14 ---> 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 55225ede92751fbc1bc34328c453e95a06a6cec6"))
2024-02-20 22:44.15 ---> using "a069a76616429ed28480983b79ddb194b0bd4146bf4cfacae8c06c3f5cd620a4" 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.

2024-02-20 22:44.15 ---> using "38b6cac216c8a4c861aad44a633cd46109dfc8a63a651dc02afd1d3d2b07ae37" 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
2024-02-20 22:44.16 ---> using "2fc34bfcd7b66184a1074e3172f869965f8eda6cc566e73cceb84730174c8cb0" from cache

/: (run (network host)
        (shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-02-20 22:44.16 ---> using "42e8bc1f8defb549551266ee163fce6f9ab0437f2b8dc44421d72eee5c168572" from cache

/: (env OCAMLPARAM warn-error=+8,_)

/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"dedukti.2.7\"\
               \nopam install -vy \"dedukti.2.7\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"dedukti.2.7\" | 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] dedukti.2.7 is not installed.

Nothing to do.
The following actions will be performed:
=== install 7 packages
  - install cmdliner  1.2.0    [required by dedukti]
  - install dedukti   2.7
  - install dune      3.14.0   [required by dedukti]
  - install menhir    20231231 [required by dedukti]
  - install menhirCST 20231231 [required by menhir]
  - install menhirLib 20231231 [required by menhir]
  - install menhirSdk 20231231 [required by menhir]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/18:
Processing  2/18: [dedukti.2.7: http]
Processing  3/18: [dedukti.2.7: http]
-> retrieved cmdliner.1.2.0  (cached)
Processing  4/18: [dedukti.2.7: http]
Processing  5/18: [dedukti.2.7: http] [cmdliner: gmake all]
-> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231  (cached)
Processing  5/18: [cmdliner: gmake all]
-> retrieved dedukti.2.7  (https://github.com/Deducteam/Dedukti/archive/refs/tags/v2.7.tar.gz)
-> retrieved dune.3.14.0  (cached)
Processing  6/18: [cmdliner: gmake all] [dune: ocaml 7]
+ /usr/local/bin/gmake "all" "PREFIX=/usr/home/opam/.opam/4.14.1" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/cmdliner.1.2.0)
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled  cmdliner.1.2.0
Processing  6/18: [dune: ocaml 7]
Processing  7/18: [dune: ocaml 7] [cmdliner: gmake install]
+ /usr/local/bin/gmake "install" "LIBDIR=/usr/home/opam/.opam/4.14.1/lib/cmdliner" "DOCDIR=/usr/home/opam/.opam/4.14.1/doc/cmdliner" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/cmdliner.1.2.0)
- install -d "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install cmdliner.opam "/usr/home/opam/.opam/4.14.1/lib/cmdliner/opam"
- install _build/cmdliner.cma "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \
-   "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxs "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
Processing  7/18: [dune: ocaml 7] [cmdliner: gmake install-doc]
+ /usr/local/bin/gmake "install-doc" "LIBDIR=/usr/home/opam/.opam/4.14.1/lib/cmdliner" "DOCDIR=/usr/home/opam/.opam/4.14.1/doc/cmdliner" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/cmdliner.1.2.0)
- install -d "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
- install CHANGES.md LICENSE.md README.md "/usr/home/opam/.opam/4.14.1/doc/cmdliner"
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
-            doc/tool_man.mld "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
-> installed cmdliner.1.2.0
Processing  7/18: [dune: ocaml 7]
+ /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "7" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.14.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 7
- cd _boot && /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
- File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
- Error (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:
- Error (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:
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- 

[ERROR] The compilation of dune.3.14.0 failed at "ocaml boot/bootstrap.ml -j 7".

#=== ERROR while compiling dune.3.14.0 ========================================#
# context              2.2.0~alpha4~dev | freebsd/x86_64 | ocaml-base-compiler.4.14.1 | file:///usr/home/opam/opam-repository
# path                 /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.14.0
# command              /usr/home/opam/.opam/4.14.1/bin/ocaml boot/bootstrap.ml -j 7
# exit-code            2
# env-file             /usr/home/opam/.opam/log/dune-821-e34150.env
# output-file          /usr/home/opam/.opam/log/dune-821-e34150.out
### output ###
# [...]
# Error (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:
# Error (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:
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Checksum_mismatch _
# 




<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - install dedukti   2.7
| - install menhir    20231231
| - install menhirCST 20231231
| - install menhirLib 20231231
| - install menhirSdk 20231231
+- 
+- The following actions failed
| - build dune 3.14.0
+- 
+- The following changes have been performed (the rest was aborted)
| - install cmdliner 1.2.0
+- 

The former state can be restored with:
    /usr/local/bin/opam switch import "/usr/home/opam/.opam/4.14.1/.opam-switch/backup/state-20240220224420.export"
'opam install -vy dedukti.2.7' failed.
jail: /usr/bin/su -l opam -c cd '/' && env OCAMLPARAM='warn-error=+8,_' OPAMCRITERIA='+removed' OPAMEXTERNALSOLVER='builtin-0install' OPAMUTF8='never' OPAMPRECISETRACKING='1' '/usr/bin/env' 'bash' '-c' '
opam remove -y "dedukti.2.7"
opam install -vy "dedukti.2.7"
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: "dedukti.2.7" | grep -q '\''"freebsd"'\''; then
        echo "This package failed and has been disabled for CI using the '\''x-ci-accept-failures'\'' field."
        exit 69
    fi
fi


exit $res
': failed
"jail" "-c" "name=obuilder_768_13840" "mount.fstab=/tmp/obuilder-jail-6ce24b/fstab" "mount.devfs" "path=/obuilder/result/10b4c27952eeea84a16bba932ffc0590be6c5b97a502c25a94097eb86fd37e3d/rootfs" "host=inherit" "ip6=inherit" "ip4=inherit" "command=/usr/bin/su" "-l" "opam" "-c" "cd '/' && env OCAMLPARAM='warn-error=+8,_' OPAMCRITERIA='+removed' OPAMEXTERNALSOLVER='builtin-0install' OPAMUTF8='never' OPAMPRECISETRACKING='1' '/usr/bin/env' 'bash' '-c' '
opam remove -y "dedukti.2.7"
opam install -vy "dedukti.2.7"
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: "dedukti.2.7" | grep -q '\''"freebsd"'\''; then
        echo "This package failed and has been disabled for CI using the '\''x-ci-accept-failures'\'' field."
        exit 69
    fi
fi


exit $res
'" failed with exit status 1
Failed: Build failed