On This Page
package gappa
gappa 1.3.5
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 gappa.1.3.5 host-arch-x86_64.1 conf-pkg-config.3 conf-mpfr.3 conf-gmp.4 conf-g++.1.0 conf-flex.2 conf-boost.1 conf-bison.2 conf-automake.1 conf-autoconf.0.2"
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:
autoconf
automake
bison
flex
g++
libboost-dev
libgmp-dev
libmpfr-dev
pkg-config
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
- install conf-autoconf 0.2
- install conf-bison 2
- install conf-flex 2
- install conf-gmp 4
- install conf-pkg-config 3
- install conf-g++ 1.0
- install conf-boost 1
- install conf-automake 1
- install conf-mpfr 3
- install gappa 1.3.5
===== 10 to install =====
The following system packages will first need to be installed:
autoconf automake bison flex libboost-dev 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" "autoconf" "automake" "bison" "flex" "libboost-dev" "libgmp-dev" "libmpfr-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package m4.
- (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 .../00-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package flex.
- Preparing to unpack .../01-flex_2.6.4-8.2_amd64.deb ...
- Unpacking flex (2.6.4-8.2) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../03-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../04-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package bison.
- Preparing to unpack .../05-bison_2%3a3.8.2+dfsg-1+b1_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1+b1) ...
- Selecting previously unselected package libboost1.74-dev:amd64.
- Preparing to unpack .../06-libboost1.74-dev_1.74.0+ds1-21_amd64.deb ...
- Unpacking libboost1.74-dev:amd64 (1.74.0+ds1-21) ...
- Selecting previously unselected package libboost-dev:amd64.
- Preparing to unpack .../07-libboost-dev_1.74.0.3_amd64.deb ...
- Unpacking libboost-dev:amd64 (1.74.0.3) ...
- Selecting previously unselected package libfl2:amd64.
- Preparing to unpack .../08-libfl2_2.6.4-8.2_amd64.deb ...
- Unpacking libfl2:amd64 (2.6.4-8.2) ...
- Selecting previously unselected package libfl-dev:amd64.
- Preparing to unpack .../09-libfl-dev_2.6.4-8.2_amd64.deb ...
- Unpacking libfl-dev:amd64 (2.6.4-8.2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../10-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 .../11-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 .../12-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 .../13-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../14-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../15-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../16-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libboost1.74-dev:amd64 (1.74.0+ds1-21) ...
- Setting up m4 (1.4.19-3) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libfl2:amd64 (2.6.4-8.2) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up autoconf (2.71-3) ...
- Setting up bison (2:3.8.2+dfsg-1+b1) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
- Setting up libboost-dev:amd64 (1.74.0.3) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up flex (2.6.4-8.2) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libmpfr-dev:amd64 (4.2.0-1) ...
- Setting up libfl-dev:amd64 (2.6.4-8.2) ...
- 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 10/30: [gappa.1.3.5: http]
Processing 11/30: [gappa.1.3.5: http] [conf-autoconf: autoconf]
Processing 12/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison]
Processing 13/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison]
Processing 14/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex]
Processing 15/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++]
Processing 16/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
Processing 17/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-boost.1
Processing 18/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
[ERROR] Failed to get sources of gappa.1.3.5: Bad checksum
Processing 18/30: [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
- autoconf (GNU Autoconf) 2.71
- Copyright (C) 2021 Free Software Foundation, Inc.
- License GPLv3+/Autoconf: GNU GPL version 3 or later
- <https://gnu.org/licenses/gpl.html>, <https://gnu.org/licenses/exceptions.html>
- This is free software: you are free to change and redistribute it.
- There is NO WARRANTY, to the extent permitted by law.
-
- Written by David J. MacKenzie and Akim Demaille.
-> compiled conf-autoconf.0.2
Processing 18/30: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-autoconf.0.2
Processing 19/30: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
Processing 20/30: [conf-automake: automake] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
- bison (GNU Bison) 3.8.2
- Written by Robert Corbett and Richard Stallman.
-
- Copyright (C) 2021 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-bison.2
Processing 20/30: [conf-automake: automake] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-bison.2
Processing 21/30: [conf-automake: automake] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
- flex 2.6.4
-> compiled conf-flex.2
Processing 21/30: [conf-automake: automake] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-flex.2
Processing 22/30: [conf-automake: automake] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
- g++ (Debian 12.2.0-14) 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-g++.1.0
Processing 22/30: [conf-automake: automake] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-g++.1.0
Processing 23/30: [conf-automake: automake] [conf-gmp: sh] [conf-pkg-config: pkg-config]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 23/30: [conf-automake: automake] [conf-pkg-config: pkg-config]
-> installed conf-gmp.4
Processing 24/30: [conf-automake: automake] [conf-pkg-config: pkg-config]
- 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 24/30: [conf-automake: automake]
-> installed conf-pkg-config.3
Processing 25/30: [conf-automake: automake]
Processing 26/30: [conf-automake: automake] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
Processing 26/30: [conf-automake: automake]
-> installed conf-mpfr.3
Processing 27/30: [conf-automake: automake]
+ /usr/bin/automake "--help" (CWD=/home/opam/.opam/5.1/.opam-switch/build/conf-automake.1)
- Usage: /usr/bin/automake [OPTION]... [Makefile]...
-
- Generate Makefile.in for configure from Makefile.am.
-
- Operation modes:
- --help print this help, then exit
- --version print version number, then exit
- -v, --verbose verbosely list files processed
- --no-force only update Makefile.in's that are out of date
- -W, --warnings=CATEGORY report the warnings falling in CATEGORY
-
- Dependency tracking:
- -i, --ignore-deps disable dependency tracking code
- --include-deps enable dependency tracking code
-
- Flavors:
- --foreign set strictness to foreign
- --gnits set strictness to gnits
- --gnu set strictness to gnu
-
- Library files:
- -a, --add-missing add missing standard files to package
- --libdir=DIR set directory storing library files
- --print-libdir print directory storing library files
- -c, --copy with -a, copy missing files (default is symlink)
- -f, --force-missing force update of standard files
-
- Warning categories include:
- cross cross compilation issues
- gnu GNU coding standards (default in gnu and gnits modes)
- obsolete obsolete features or constructions (default)
- override user redefinitions of Automake rules or variables
- portability portability issues (default in gnu and gnits modes)
- portability-recursive nested Make variables (default with -Wportability)
- extra-portability extra portability issues related to obscure tools
- syntax dubious syntactic constructs (default)
- unsupported unsupported or incomplete features (default)
- all all the warnings
- no-CATEGORY turn off warnings in CATEGORY
- none turn off all the warnings
- error treat warnings as errors
-
- Files automatically distributed if found (always):
- ABOUT-GNU TODO install-sh mdate-sh
- ABOUT-NLS ar-lib libversion.in missing
- BACKLOG compile ltcf-c.sh mkinstalldirs
- COPYING config.guess ltcf-cxx.sh py-compile
- COPYING.DOC config.rpath ltcf-gcj.sh texinfo.tex
- COPYING.LESSER config.sub ltconfig ylwrap
- COPYING.LIB depcomp ltmain.sh
-
- Files automatically distributed if found (as .md if needed):
- AUTHORS[.md] INSTALL[.md] README[.md] THANKS[.md]
- ChangeLog[.md] NEWS[.md]
-
- Files automatically distributed if found (under certain conditions):
- README-alpha[.md] config.h.bot configure configure.in
- acconfig.h config.h.top configure.ac stamp-vti
- aclocal.m4
-
- Report bugs to <bug-automake@gnu.org>.
- GNU Automake home page: <https://www.gnu.org/software/automake/>.
- General help using GNU software: <https://www.gnu.org/gethelp/>.
-> compiled conf-automake.1
-> installed conf-automake.1
#=== ERROR while fetching sources for gappa.1.3.5 =============================#
OpamSolution.Fetch_fail("https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.3.5.tar.gz (Bad checksum, expected sha512=29ce59af97e6d60547a193b43538f4812ff74fb01a812cda7109855219457fa7a47f59ea39aff2a5e03fd70181e024a3296b4f48300818a81f62fd2d8629c389)")
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - fetch gappa 1.3.5
+-
+- The following changes have been performed
| - install conf-autoconf 0.2
| - install conf-automake 1
| - install conf-bison 2
| - install conf-boost 1
| - install conf-flex 2
| - install conf-g++ 1.0
| - install conf-gmp 4
| - install conf-mpfr 3
| - install conf-pkg-config 3
+-
# 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-20240912100628.export"
'opam --cli=2.1 install gappa.1.3.5 host-arch-x86_64.1 conf-pkg-config.3 conf-mpfr.3 conf-gmp.4 conf-g++.1.0 conf-flex.2 conf-boost.1 conf-bison.2 conf-automake.1 conf-autoconf.0.2 --verbose --yes --confirm-level=unsafe-yes' failed.
On This Page