package mlmpfr

  1. Overview
  2. Docs
On This Page
  1. Error log

mlmpfr 4.1.0

Error log

The package failed to build. The error log from opam follows.

Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1  (cached)
-> removed   opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.

<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy mlmpfr.4.1.0 dune.3.13.0" <><><><><><><><>

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libmpfr-dev
[NOTE] Package dune is already installed (current version is 3.13.0).
The following actions will be performed:
  - install mlmpfr 4.1.0

The following system packages will first need to be installed:
    libmpfr-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libmpfr-dev"
- 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 ... 18774 files and directories currently installed.)
- Preparing to unpack .../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 .../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 libmpfr-dev:amd64.
- Preparing to unpack .../libmpfr-dev_4.2.0-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.0-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libmpfr-dev:amd64 (4.2.0-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u3) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3:
-> retrieved mlmpfr.4.1.0  (cached)
Processing  2/3: [mlmpfr: cc mlmpfr_compatibility_test.c]
+ /usr/bin/cc "mlmpfr_compatibility_test.c" "-lmpfr" "-o" "mlmpfr_compatibility_test" (CWD=/home/opam/.opam/5.1/.opam-switch/build/mlmpfr.4.1.0)
Processing  2/3: [mlmpfr: ./mlmpfr_compatibility_test]
+ /home/opam/.opam/5.1/.opam-switch/build/mlmpfr.4.1.0/./mlmpfr_compatibility_test  (CWD=/home/opam/.opam/5.1/.opam-switch/build/mlmpfr.4.1.0)
[ERROR] The compilation of mlmpfr.4.1.0 failed at "./mlmpfr_compatibility_test".

#=== ERROR while compiling mlmpfr.4.1.0 =======================================#
# context              2.1.5 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path                 ~/.opam/5.1/.opam-switch/build/mlmpfr.4.1.0
# command              ~/.opam/5.1/.opam-switch/build/mlmpfr.4.1.0/./mlmpfr_compatibility_test
# exit-code            1
# env-file             ~/.opam/log/mlmpfr-113-e57a1d.env
# output-file          ~/.opam/log/mlmpfr-113-e57a1d.out



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build mlmpfr 4.1.0
+- 
- No changes have been performed

<><> mlmpfr.4.1.0 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><>
=> Make sure you had MPFR version 4.1.0 installed on your system.
# Run eval $(opam env) to update the current shell environment
'opam --cli=2.1 install mlmpfr.4.1.0 dune.3.13.0 --verbose --yes --confirm-level=unsafe-yes' failed.