sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
The package failed to build. The error log from opam follows.
[NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: === install 11 packages - install conf-gmp 4 - install conf-libseccomp 1 - install conf-m4 1 - install conf-perl 2 - install conf-pkg-config 2 - install gmp-freestanding 6.1.2-1 (deprecated) - install ocaml-freestanding 0.4.7 (deprecated) [required by gmp-freestanding, zarith-freestanding] - install ocaml-src 4.09.1-1 [required by ocaml-freestanding] - install solo5-bindings-hvt 0.6.4 (deprecated) - install zarith 1.7 - install zarith-freestanding 1.7 (deprecated) The following system packages will first need to be installed: libgmp-dev libseccomp-dev m4 pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> opam believes some required external dependencies are missing. opam can: > 1. Run apt-get to install them (may need root/sudo access) 2. Display the recommended apt-get 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/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "libseccomp-dev" "m4" "pkg-config" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libgmpxx4ldbl:amd64. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18745 files and directories currently installed.) - Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../2-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package libseccomp-dev:amd64. - Preparing to unpack .../3-libseccomp-dev_2.5.4-1+deb12u1_amd64.deb ... - Unpacking libseccomp-dev:amd64 (2.5.4-1+deb12u1) ... - Selecting previously unselected package m4. - Preparing to unpack .../4-m4_1.4.19-3_amd64.deb ... - Unpacking m4 (1.4.19-3) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../5-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../6-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../7-pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Setting up libseccomp-dev:amd64 (2.5.4-1+deb12u1) ... - Setting up m4 (1.4.19-3) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Processing triggers for libc-bin (2.36-9+deb12u9) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved conf-gmp.4 (cached) -> retrieved ocaml-freestanding.0.4.7 (cached) -> retrieved gmp-freestanding.6.1.2-1 (cached) -> retrieved ocaml-src.4.09.1-1 (cached) -> installed conf-gmp.4 -> installed conf-m4.1 -> installed conf-perl.2 -> retrieved solo5-bindings-hvt.0.6.4 (cached) -> retrieved zarith.1.7, zarith-freestanding.1.7 (cached) -> installed conf-pkg-config.2 -> installed ocaml-src.4.09.1-1 -> installed conf-libseccomp.1 [ERROR] The compilation of solo5-bindings-hvt.0.6.4 failed at "./configure.sh". -> installed zarith.1.7 #=== ERROR while compiling solo5-bindings-hvt.0.6.4 ===========================# # context 2.3.0 | linux/x86_64 | ocaml-base-compiler.4.09.1 | file:///src # path ~/.opam/4.09/.opam-switch/build/solo5-bindings-hvt.0.6.4 # command ~/.opam/4.09/.opam-switch/build/solo5-bindings-hvt.0.6.4/./configure.sh # exit-code 1 # env-file ~/.opam/log/solo5-bindings-hvt-113-f5dc7e.env # output-file ~/.opam/log/solo5-bindings-hvt-113-f5dc7e.out ### output ### # configure.sh: ERROR: Only 'gcc' 4.x+ is supported on Linux <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build solo5-bindings-hvt 0.6.4 +- +- The following changes have been performed (the rest was aborted) | - install conf-gmp 4 | - install conf-libseccomp 1 | - install conf-m4 1 | - install conf-perl 2 | - install conf-pkg-config 2 | - install ocaml-src 4.09.1-1 | - install zarith 1.7 +- <><> solo5-bindings-hvt.0.6.4 troubleshooting <><><><><><><><><><><><><><><><><> => Note: This package is deprecated. # To update the current shell environment, run: eval $(opam env) The former state can be restored with: /usr/bin/opam switch import "/home/opam/.opam/4.09/.opam-switch/backup/state-20250203234304.export"