Building on spring (from freebsd) 2024-04-18 16:22.54 ---> 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-04-18 16:22.55 ---> 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 f089d8564db935c703bea70a4b3d8335ffa1bef3")) 2024-04-18 16:22.55 ---> using "83de7f37a3fdfdf2af7d52001c195007ba3d03fbf63bb1c5deeb0bd7199a7e68" 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-04-18 16:22.56 ---> using "ae05d419fac6605f1fa37d4b0e1385766018ebaa3233982c89fd3cd33bf5b52b" from cache /: (run (cache (opam-archives (target /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 2024-04-18 16:22.57 ---> using "00812c0655a363608144a2fbfe7a937b2ae842276c4f9d1df0b02161f399b104" from cache /: (run (network host) (shell "opam update --depexts")) [WARNING] Unknown update command for bsd, skipping system update 2024-04-18 16:22.57 ---> using "ed99a2b1c5a9bc50869d66e6efea1b612aec0720983f79577579611105ba004c" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"msat.0.9.1\"\ \nopam install -vy \"msat.0.9.1\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"msat.0.9.1\" | 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] msat.0.9.1 is not installed. Nothing to do. The following actions will be performed: === install 3 packages - install dune 3.15.0 [required by msat] - install iter 1.8 [required by msat] - install msat 0.9.1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/9: Processing 2/9: [iter.1.8: http] Processing 3/9: [iter.1.8: http] [msat.0.9.1: http] Processing 3/9: [iter.1.8: http] Processing 3/9: -> retrieved msat.0.9.1 (https://github.com/Gbury/mSAT/archive/v0.9.1.tar.gz) -> retrieved iter.1.8 (https://github.com/c-cube/iter/releases/download/v1.8/iter-1.8.tbz) -> retrieved dune.3.15.0 (cached) Processing 4/9: [dune: ocaml 7] + /home/opam/.opam/5.1.0/bin/ocaml "boot/bootstrap.ml" "-j" "7" (CWD=/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.15.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.1.0/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.0/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.0/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.0/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 4/9: [dune: ./_boot/dune.exe build] + /home/opam/.opam/5.1.0/.opam-switch/build/dune.3.15.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "7" (CWD=/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.15.0) -> compiled dune.3.15.0 -> installed dune.3.15.0 Processing 6/9: [iter: dune build] + /home/opam/.opam/5.1.0/bin/dune "build" "@install" "-p" "iter" "-j" "7" (CWD=/home/opam/.opam/5.1.0/.opam-switch/build/iter.1.8) - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w +a -warn-error -a+8 -strict-sequence -w +a -warn-error -a+8 -nolabels -g -bin-annot -I src/.iter.objs/byte -intf-suffix .ml -no-alias-deps -o src/.iter.objs/byte/iter.cmo -c -impl src/Iter.ml) - File "src/Iter.ml", line 1029, characters 8-15: - 1029 | let of_list l = of_iter_ (of_list l) - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value of_list. - - File "src/Iter.ml", line 1030, characters 8-15: - 1030 | let to_list x = to_list (to_iter_ x) - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value to_list. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlopt.opt -w -40 -w +a -warn-error -a+8 -strict-sequence -w +a -warn-error -a+8 -nolabels -g -O3 -unbox-closures -unbox-closures-factor 20 -I src/.iter.objs/byte -I src/.iter.objs/native -intf-suffix .ml -no-alias-deps -o src/.iter.objs/native/iter.cmx -c -impl src/Iter.ml) - File "src/Iter.ml", line 1029, characters 8-15: - 1029 | let of_list l = of_iter_ (of_list l) - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value of_list. - - File "src/Iter.ml", line 1030, characters 8-15: - 1030 | let to_list x = to_list (to_iter_ x) - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value to_list. -> compiled iter.1.8 -> installed iter.1.8 Processing 8/9: [msat: dune build] + /home/opam/.opam/5.1.0/bin/dune "build" "@install" "-p" "msat" "-j" "7" (CWD=/home/opam/.opam/5.1.0/.opam-switch/build/msat.0.9.1) - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Heap_intf.cmo -c -impl src/core/Heap_intf.ml) - File "src/core/Heap_intf.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Solver_intf.cmo -c -impl src/core/Solver_intf.ml) - File "src/core/Solver_intf.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat.cmo -c -impl src/core/Msat.ml) - File "src/core/Msat.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Internal.cmo -c -impl src/core/Internal.ml) - File "src/core/Internal.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/tseitin/.msat_tseitin.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_tseitin__ -o src/tseitin/.msat_tseitin.objs/byte/msat_tseitin__Tseitin_intf.cmo -c -impl src/tseitin/Tseitin_intf.ml) - File "src/tseitin/Tseitin_intf.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Backend_intf.cmo -c -impl src/backend/Backend_intf.ml) - File "src/backend/Backend_intf.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -I src/backtrack/.msat_backtrack.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backtrack__ -o src/backtrack/.msat_backtrack.objs/byte/msat_backtrack.cmo -c -impl src/backtrack/Msat_backtrack.ml) - File "src/backtrack/Msat_backtrack.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Coq.cmi -c -intf src/backend/Coq.mli) - File "src/backend/Coq.mli", line 36, characters 24-25: - 36 | module Make(S : Msat.S)(A : Arg with type hyp := S.clause - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter A. - - File "src/backend/Coq.mli", line 42, characters 26-27: - 42 | module Simple(S : Msat.S)(A : Arg with type hyp = S.formula list - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter A. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Dot.cmi -c -intf src/backend/Dot.mli) - File "src/backend/Dot.mli", line 57, characters 24-25: - 57 | module Make(S : Msat.S)(A : Arg with type atom := S.atom - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter A. - - File "src/backend/Dot.mli", line 63, characters 26-27: - 63 | module Simple(S : Msat.S)(A : Arg with type atom := S.formula - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter A. - (cd _build/default && /home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.1.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Dedukti.cmi -c -intf src/backend/Dedukti.mli) - File "src/backend/Dedukti.mli", line 27, characters 10-11: - 27 | functor(A : Arg - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter A. -> compiled msat.0.9.1 -> installed msat.0.9.1 Done. 2024-04-18 16:25.14 ---> saved as "a9c4c2ca15a97e23530c992780aed43c64c74dff4e1b82ce109c4de5ff9e63ed" Job succeeded