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

mlmpfr 4.1.1

Error log

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

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:
libgmp-dev
libmpfr-dev
pkg-config
[NOTE] Package dune is already installed (current version is 3.7.0).
The following actions will be performed:
  - install conf-pkg-config 2
  - install conf-gmp        4
  - install conf-mpfr       3
  - install mlmpfr          4.1.1
===== 4 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 libglib2.0-0: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 ... 18333 files and directories currently installed.)
- Preparing to unpack .../0-libglib2.0-0_2.66.8-1_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.66.8-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../1-libglib2.0-data_2.66.8-1_all.deb ...
- Unpacking libglib2.0-data (2.66.8-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../2-libgmpxx4ldbl_2%3a6.2.1+dfsg-1+deb11u1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../3-libgmp-dev_2%3a6.2.1+dfsg-1+deb11u1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Selecting previously unselected package libicu67:amd64.
- Preparing to unpack .../4-libicu67_67.1-7_amd64.deb ...
- Unpacking libicu67:amd64 (67.1-7) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../5-libmpfr-dev_4.1.0-3_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.1.0-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../6-libxml2_2.9.10+dfsg-6.7+deb11u3_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u3) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../7-pkg-config_0.29.2-1_amd64.deb ...
- Unpacking pkg-config (0.29.2-1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../8-shared-mime-info_2.0-1_amd64.deb ...
- Unpacking shared-mime-info (2.0-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../9-xdg-user-dirs_0.17-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.17-2) ...
- Setting up libicu67:amd64 (67.1-7) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:amd64 (2.66.8-1) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.66.8-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Setting up pkg-config (0.29.2-1) ...
- Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u3) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Setting up libmpfr-dev:amd64 (4.1.0-3) ...
- Setting up shared-mime-info (2.0-1) ...
- Processing triggers for libc-bin (2.31-13+deb11u5) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  4/12:
Processing  5/12: [conf-gmp: sh]
Processing  6/12: [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> retrieved mlmpfr.4.1.1  (cached)
- Usage:
-   pkg-config [OPTION?]
- 
- Help Options:
-   -h, --help                              Show help options
- 
- Application Options:
-   --version                               output version of pkg-config
-   --modversion                            output version for package
-   --atleast-pkgconfig-version=VERSION     require given version of pkg-config
-   --libs                                  output all linker flags
-   --static                                output linker flags for static linking
-   --short-errors                          print short errors
-   --libs-only-l                           output -l flags
-   --libs-only-other                       output other libs (e.g. -pthread)
-   --libs-only-L                           output -L flags
-   --cflags                                output all pre-processor and compiler flags
-   --cflags-only-I                         output -I flags
-   --cflags-only-other                     output cflags not covered by the cflags-only-I option
-   --variable=NAME                         get the value of variable named NAME
-   --define-variable=NAME=VALUE            set variable NAME to VALUE
-   --exists                                return 0 if the module(s) exist
-   --print-variables                       output list of variables defined by the module
-   --uninstalled                           return 0 if the uninstalled version of one or more module(s) or their dependencies will be used
-   --atleast-version=VERSION               return 0 if the module is at least version VERSION
-   --exact-version=VERSION                 return 0 if the module is at exactly version VERSION
-   --max-version=VERSION                   return 0 if the module is at no newer than version VERSION
-   --list-all                              list all known packages
-   --debug                                 show verbose debug information
-   --print-errors                          show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line)
-   --silence-errors                        be silent about errors (default when --exists or --atleast/exact/max-version given on the command line)
-   --errors-to-stdout                      print errors from --print-errors to stdout not stderr
-   --print-provides                        print which packages the package provides
-   --print-requires                        print which packages the package requires
-   --print-requires-private                print which packages the package requires for static linking
-   --validate                              validate a package's .pc file
-   --define-prefix                         try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
-   --dont-define-prefix                    don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
-   --prefix-variable=PREFIX                set the name of the variable that pkg-config automatically sets
- 
-> compiled  conf-pkg-config.2
Processing  6/12: [conf-gmp: sh]
Processing  7/12: [conf-gmp: sh] [conf-pkg-config: mkdir]
- + cc -c -I/usr/local/include test.c
-> compiled  conf-gmp.4
Processing  7/12: [conf-pkg-config: mkdir]
+ /bin/mkdir "-p" "/home/opam/.opam/4.14/lib/pkgconfig" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
-> installed conf-gmp.4
Processing  9/12: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /bin/sh "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
-> compiled  conf-mpfr.3
-> installed conf-mpfr.3
Processing 11/12: [mlmpfr: cc mlmpfr_compatibility_test.c]
+ /usr/bin/cc "mlmpfr_compatibility_test.c" "-lmpfr" "-o" "mlmpfr_compatibility_test" (CWD=/home/opam/.opam/4.14/.opam-switch/build/mlmpfr.4.1.1)
Processing 11/12: [mlmpfr: ./mlmpfr_compatibility_test]
+ /home/opam/.opam/4.14/.opam-switch/build/mlmpfr.4.1.1/./mlmpfr_compatibility_test  (CWD=/home/opam/.opam/4.14/.opam-switch/build/mlmpfr.4.1.1)
[ERROR] The compilation of mlmpfr.4.1.1 failed at "./mlmpfr_compatibility_test".

#=== ERROR while compiling mlmpfr.4.1.1 =======================================#
# context              2.1.4 | linux/x86_64 | ocaml-base-compiler.4.14.1 | file:///src
# path                 ~/.opam/4.14/.opam-switch/build/mlmpfr.4.1.1
# command              ~/.opam/4.14/.opam-switch/build/mlmpfr.4.1.1/./mlmpfr_compatibility_test
# exit-code            1
# env-file             ~/.opam/log/mlmpfr-262-d2280b.env
# output-file          ~/.opam/log/mlmpfr-262-d2280b.out



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build mlmpfr 4.1.1
+- 
+- The following changes have been performed
| - install conf-gmp        4
| - install conf-mpfr       3
| - install conf-pkg-config 2
+- 

<><> mlmpfr.4.1.1 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><>
=> Make sure you had MPFR version 4.1.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/4.14/.opam-switch/backup/state-20230227170236.export"
'opam --cli=2.1 install mlmpfr.4.1.1 conf-gmp.4 conf-mpfr.3 conf-pkg-config.2 dune.3.7.0 --verbose --yes --confirm-level=unsafe-yes' failed.