Building on summer (from freebsd) 2024-02-20 23:10.21 ---> 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 23:10.21 ---> 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 23:10.21 ---> 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 23:10.21 ---> using "38b6cac216c8a4c861aad44a633cd46109dfc8a63a651dc02afd1d3d2b07ae37" from cache /: (run (cache (opam-archives (target /usr/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-02-20 23:10.22 ---> using "5e20d5dbdf8576913885467cf32415f5bcc41930a0aa72d4cbf9f9c0e1d3a0e3" from cache /: (run (network host) (shell "opam update --depexts")) [WARNING] Unknown update command for bsd, skipping system update 2024-02-20 23:10.22 ---> using "b4964b955bf3c2118200093673dce884eca659cdeb0b8ad247df9e0b2eb1e3bc" from cache /: (env OCAMLPARAM warn-error=+8,_) /: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"eprover.3.0\"\ \nopam install -vy \"eprover.3.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"eprover.3.0\" | 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] eprover.3.0 is not installed. Nothing to do. The following actions will be performed: === install 2 packages - install conf-gcc 1.0 [required by eprover] - install eprover 3.0 The following system packages will first need to be installed: gcc <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> opam believes some required external dependencies are missing. opam can: > 1. Run pkg to install them (may need root/sudo access) 2. Display the recommended pkg command and wait while you run it manually (e.g. in another terminal) 3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable 4. Abort the installation [1/2/3/4] 1 + /usr/local/bin/sudo "pkg" "install" "-y" "gcc" - Updating FreeBSD repository catalogue... - [summer] Fetching packagesite.pkg: ... - ...... - . done - Processing entries: - . - . - . - . - . - . - . - . - . - . done - FreeBSD repository update completed. 33804 packages processed. - All repositories are up to date. - The following 6 package(s) will be affected (of 0 checked): - - New packages to be INSTALLED: - binutils: 2.40_4,1 - gcc: 12_5 - gcc12: 12.2.0_7 - gmp: 6.3.0 - mpc: 1.3.1_1 - mpfr: 4.2.1,1 - - Number of packages to be installed: 6 - - The process will require 454 MiB more space. - 94 MiB to be downloaded. - [summer] [1/6] Fetching gcc12-12.2.0_7.pkg: - . - . - . - . - . - . - . - . - . - . done - [summer] [2/6] Fetching mpc-1.3.1_1.pkg: .......... done - [summer] [3/6] Fetching gcc-12_5.pkg: . done - [summer] [4/6] Fetching gmp-6.3.0.pkg: . - ......... done - [summer] [5/6] Fetching mpfr-4.2.1,1.pkg: ........ done - [summer] [6/6] Fetching binutils-2.40_4,1.pkg: - .. - .. - ... - ... done - Checking integrity... done (0 conflicting) - [summer] [1/6] Installing gmp-6.3.0... - [summer] [1/6] Extracting gmp-6.3.0: .......... done - [summer] [2/6] Installing mpfr-4.2.1,1... - [summer] [2/6] Extracting mpfr-4.2.1,1: .......... done - [summer] [3/6] Installing mpc-1.3.1_1... - [summer] [3/6] Extracting mpc-1.3.1_1: ......... done - [summer] [4/6] Installing binutils-2.40_4,1... - [summer] [4/6] Extracting binutils-2.40_4,1: - ........ - .. done - [summer] [5/6] Installing gcc12-12.2.0_7... - [summer] [5/6] Extracting gcc12-12.2.0_7: - ..... - .... - . done - [summer] [6/6] Installing gcc-12_5... - [summer] [6/6] Extracting gcc-12_5: ... done - ===== - Message from gcc12-12.2.0_7: - - -- - To ensure binaries built with this toolchain find appropriate versions - of the necessary run-time libraries, you may want to link using - - -Wl,-rpath=/usr/local/lib/gcc12 - - For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens - transparently. <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/6: [eprover.3.0: http] Processing 3/6: [eprover.3.0: http] [conf-gcc: gcc] + /usr/local/bin/gcc "--version" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/conf-gcc.1.0) - gcc (FreeBSD Ports Collection) 12.2.0 - Copyright (C) 2022 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - -> compiled conf-gcc.1.0 Processing 3/6: [eprover.3.0: http] -> installed conf-gcc.1.0 Processing 4/6: [eprover.3.0: http] Processing 4/6: -> retrieved eprover.3.0 (http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/E.tgz) Processing 5/6: [eprover: ./configure] + /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0/./configure "--bindir=/usr/home/opam/.opam/5.1.0/bin" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0) - Configuring with executable path /usr/home/opam/.opam/5.1.0/bin - /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0/DOC/man - # -DENABLE_LFHO \\ - echo 'Configuring build system' - Configuring build system - make links - make depend - make[2]: don't know how to make depend. Stop - - make[2]: stopped in /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0/CONTRIB - *** Error code 2 - - Stop. - make[1]: stopped in /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0 - *** Error code 1 - - Stop. - make: stopped in /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0 [ERROR] The compilation of eprover.3.0 failed at "./configure --bindir=/usr/home/opam/.opam/5.1.0/bin". #=== ERROR while compiling eprover.3.0 ========================================# # context 2.2.0~alpha4~dev | freebsd/x86_64 | ocaml-base-compiler.5.1.0 | file:///usr/home/opam/opam-repository # path /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0 # command /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0/./configure --bindir=/usr/home/opam/.opam/5.1.0/bin # exit-code 1 # env-file /usr/home/opam/.opam/log/eprover-75544-e7f775.env # output-file /usr/home/opam/.opam/log/eprover-75544-e7f775.out ### output ### # [...] # make depend # make[2]: don't know how to make depend. Stop # # make[2]: stopped in /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0/CONTRIB # *** Error code 2 # # Stop. # make[1]: stopped in /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0 # *** Error code 1 # # Stop. # make: stopped in /usr/home/opam/.opam/5.1.0/.opam-switch/build/eprover.3.0 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build eprover 3.0 +- +- The following changes have been performed | - install conf-gcc 1.0 +- The former state can be restored with: /usr/local/bin/opam switch import "/usr/home/opam/.opam/5.1.0/.opam-switch/backup/state-20240220231025.export" 'opam install -vy eprover.3.0' 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 "eprover.3.0" opam install -vy "eprover.3.0" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "eprover.3.0" | 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_686_53043" "mount.fstab=/tmp/obuilder-jail-a7408b/fstab" "mount.devfs" "path=/obuilder/result/a118870b5d1131dbb7bd6144e00f7cf0835784bee99f9f742059f647afa167f5/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 "eprover.3.0" opam install -vy "eprover.3.0" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "eprover.3.0" | 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