package mlmpfr

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

mlmpfr 4.2.1

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.3

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

<><> opam-depext.1.2.3 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.2.1 host-arch-x86_64.1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 conf-pkg-config.3 conf-mpfr.3 conf-gmp.4" 

Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libgmp-dev
libmpfr-dev
pkg-config
[NOTE] Package dune is already installed (current version is 3.16.0).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
  - install csexp             1.5.2
  - install conf-gmp          4
  - install conf-pkg-config   3
  - install dune-configurator 3.16.0
  - install conf-mpfr         3
  - install mlmpfr            4.2.1
===== 6 to install =====

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

<><> 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" "libgmp-dev" "libmpfr-dev" "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 ... 18764 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 libmpfr-dev:amd64.
- Preparing to unpack .../2-libmpfr-dev_4.2.0-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.0-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../3-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../4-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../5-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../6-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- 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 libmpfr-dev:amd64 (4.2.0-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+deb12u8) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-mpfr.3  (cached)
Processing  4/18:
Processing  5/18:
Processing  6/18: [mlmpfr.4.2.1: http]
Processing  7/18: [mlmpfr.4.2.1: http] [conf-gmp: sh]
Processing  8/18: [mlmpfr.4.2.1: http] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> retrieved csexp.1.5.2  (cached)
Processing  9/18: [mlmpfr.4.2.1: http] [conf-gmp: sh] [conf-pkg-config: pkg-config] [csexp: dune build]
-> retrieved dune-configurator.3.16.0  (cached)
Processing  9/18: [conf-gmp: sh] [conf-pkg-config: pkg-config] [csexp: dune build]
- + cc -c -I/usr/local/include test.c
-> compiled  conf-gmp.4
Processing  9/18: [conf-pkg-config: pkg-config] [csexp: dune build]
-> installed conf-gmp.4
Processing 10/18: [conf-pkg-config: pkg-config] [csexp: dune build]
- usage: pkgconf [OPTIONS] [LIBRARIES]
- 
- basic options:
- 
-   --help                            this message
-   --about                           print pkgconf version and license to stdout
-   --version                         print supported pkg-config version to stdout
-   --atleast-pkgconfig-version       check whether or not pkgconf is compatible
-                                     with a specified pkg-config version
-   --errors-to-stdout                print all errors on stdout instead of stderr
-   --print-errors                    ensure all errors are printed
-   --short-errors                    be less verbose about some errors
-   --silence-errors                  explicitly be silent about errors
-   --list-all                        list all known packages
-   --list-package-names              list all known package names
-   --simulate                        simulate walking the calculated dependency graph
-   --no-cache                        do not cache already seen packages when
-                                     walking the dependency graph
-   --log-file=filename               write an audit log to a specified file
-   --with-path=path                  adds a directory to the search path
-   --define-prefix                   override the prefix variable with one that is guessed based on
-                                     the location of the .pc file
-   --dont-define-prefix              do not override the prefix variable under any circumstances
-   --prefix-variable=varname         sets the name of the variable that pkgconf considers
-                                     to be the package prefix
-   --relocate=path                   relocates a path and exits (mostly for testsuite)
-   --dont-relocate-paths             disables path relocation support
- 
- cross-compilation personality support:
- 
-   --personality=triplet|filename    sets the personality to 'triplet' or a file named 'filename'
-   --dump-personality                dumps details concerning selected personality
- 
- checking specific pkg-config database entries:
- 
-   --atleast-version                 require a specific version of a module
-   --exact-version                   require an exact version of a module
-   --max-version                     require a maximum version of a module
-   --exists                          check whether or not a module exists
-   --uninstalled                     check whether or not an uninstalled module will be used
-   --no-uninstalled                  never use uninstalled modules when satisfying dependencies
-   --no-provides                     do not use 'provides' rules to resolve dependencies
-   --maximum-traverse-depth          maximum allowed depth for dependency graph
-   --static                          be more aggressive when computing dependency graph
-                                     (for static linking)
-   --shared                          use a simplified dependency graph (usually default)
-   --pure                            optimize a static dependency graph as if it were a normal
-                                     dependency graph
-   --env-only                        look only for package entries in PKG_CONFIG_PATH
-   --ignore-conflicts                ignore 'conflicts' rules in modules
-   --validate                        validate specific .pc files for correctness
- 
- querying specific pkg-config database fields:
- 
-   --define-variable=varname=value   define variable 'varname' as 'value'
-   --variable=varname                print specified variable entry to stdout
-   --cflags                          print required CFLAGS to stdout
-   --cflags-only-I                   print required include-dir CFLAGS to stdout
-   --cflags-only-other               print required non-include-dir CFLAGS to stdout
-   --libs                            print required linker flags to stdout
-   --libs-only-L                     print required LDPATH linker flags to stdout
-   --libs-only-l                     print required LIBNAME linker flags to stdout
-   --libs-only-other                 print required other linker flags to stdout
-   --print-requires                  print required dependency frameworks to stdout
-   --print-requires-private          print required dependency frameworks for static
-                                     linking to stdout
-   --print-provides                  print provided dependencies to stdout
-   --print-variables                 print all known variables in module to stdout
-   --digraph                         print entire dependency graph in graphviz 'dot' format
-   --keep-system-cflags              keep -I/usr/include entries in cflags output
-   --keep-system-libs                keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output
-   --path                            show the exact filenames for any matching .pc files
-   --modversion                      print the specified module's version to stdout
-   --internal-cflags                 do not filter 'internal' cflags from output
- 
- filtering output:
- 
-   --msvc-syntax                     print translatable fragments in MSVC syntax
-   --fragment-filter=types           filter output fragments to the specified types
- 
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled  conf-pkg-config.3
Processing 10/18: [csexp: dune build]
-> installed conf-pkg-config.3
Processing 11/18: [csexp: dune build]
Processing 12/18: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr] [csexp: dune build]
-> compiled  csexp.1.5.2
Processing 12/18: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
-> installed csexp.1.5.2
Processing 13/18: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
Processing 14/18: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr] [dune-configurator: rm]
Processing 14/18: [mlmpfr.4.2.1/mlmpfr_compatibility_test.c: dl] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr] [dune-configurator: rm]
- + pkg-config --print-errors --exists mpfr
-> compiled  conf-mpfr.3
Processing 14/18: [mlmpfr.4.2.1/mlmpfr_compatibility_test.c: dl] [dune-configurator: rm]
-> installed conf-mpfr.3
Processing 15/18: [mlmpfr.4.2.1/mlmpfr_compatibility_test.c: dl] [dune-configurator: rm]
Processing 15/18: [mlmpfr.4.2.1/mlmpfr_compatibility_test.c: dl] [dune-configurator: dune build]
-> retrieved mlmpfr.4.2.1  (https://github.com/thvnx/mlmpfr/archive/refs/tags/mlmpfr.4.2.1.tar.gz)
Processing 15/18: [dune-configurator: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "dune-configurator" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune-configurator.3.16.0)
-> compiled  dune-configurator.3.16.0
-> installed dune-configurator.3.16.0
Processing 17/18: [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.2.1)
Processing 17/18: [mlmpfr: ./mlmpfr_compatibility_test]
+ /home/opam/.opam/5.1/.opam-switch/build/mlmpfr.4.2.1/./mlmpfr_compatibility_test  (CWD=/home/opam/.opam/5.1/.opam-switch/build/mlmpfr.4.2.1)
[ERROR] The compilation of mlmpfr.4.2.1 failed at "./mlmpfr_compatibility_test".

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



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build mlmpfr 4.2.1
+- 
+- The following changes have been performed
| - install conf-gmp          4
| - install conf-mpfr         3
| - install conf-pkg-config   3
| - install csexp             1.5.2
| - install dune-configurator 3.16.0
+- 

<><> mlmpfr.4.2.1 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><>
=> This version of mlmpfr requires MPFR >= 4.2.1 installed on your system.
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240912103908.export"
'opam --cli=2.1 install mlmpfr.4.2.1 host-arch-x86_64.1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 conf-pkg-config.3 conf-mpfr.3 conf-gmp.4 --verbose --yes --confirm-level=unsafe-yes' failed.
OCaml

Innovation. Community. Security.