Building on asteria.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:730ba1f0177ca25fd2003dcf99bd6c4e2bc2f1957c5aebd8d47e1bd69cf161a0
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-11-09 20:24.39 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-11-09 20:24.39 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q eecf6d033c6c13a6bda9b445601ddcbaa09dd288"))
2024-11-09 20:24.39 ---> using "659878f189cdb906ec3e452fdc4f26cfb0c3654f53f43b380cf690e70b2f5ac6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-11-09 20:24.39 ---> using "b22293df705e6cba3afecfd99e3970445bf105f18df9a7b31bf5584e65710795" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.10' '4.10.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.10.2"} | "ocaml-system" {= "4.10.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-config.1 (2 extra sources)
-> retrieved ocaml-config.1 (2 extra sources)
-> retrieved ocaml-base-compiler.4.10.2 (https://github.com/ocaml/ocaml/archive/4.10.2.tar.gz)
-> installed ocaml-base-compiler.4.10.2
-> installed ocaml-config.1
-> installed ocaml.4.10.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.10)
2024-11-09 20:24.39 ---> using "f06c3a13bc14ad84a426c332fc086837d5079fa8d413715b176ee3ca8d25e0e9" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [202 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-11-09-0804.37-F-2024-11-04-2012.18.pdiff [276 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-11-09-0804.37-F-2024-11-04-2012.18.pdiff [276 kB]
- Fetched 542 kB in 2s (354 kB/s)
- Reading package lists...
-
2024-11-09 20:24.39 ---> using "39c20d3dc66b4c9d1102221e27b093a3d62831a5f4a29a5eebaec65c7925e9d3" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"gappa.1.3.5\"\
\nopam install -vy \"gappa.1.3.5\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"gappa.1.3.5\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] gappa.1.3.5 is not installed.
Nothing to do.
The following actions will be performed:
=== install 10 packages
- install conf-autoconf 0.2 [required by gappa]
- install conf-automake 1 [required by gappa]
- install conf-bison 2 [required by gappa]
- install conf-boost 1 [required by gappa]
- install conf-flex 2 [required by gappa]
- install conf-g++ 1.0 [required by gappa]
- install conf-gmp 4 [required by gappa]
- install conf-mpfr 3 [required by gappa]
- install conf-pkg-config 3 [required by conf-mpfr]
- install gappa 1.3.5
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 <><><><><><><><><><><><><><><><><><><><><><>
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" "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 ... 19599 files and directories currently installed.)
- Preparing to unpack .../00-m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- Selecting previously unselected package flex.
- Preparing to unpack .../01-flex_2.6.4-8.2+b3_amd64.deb ...
- Unpacking flex (2.6.4-8.2+b3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.72-3_all.deb ...
- Unpacking autoconf (2.72-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+b2_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1+b2) ...
- Selecting previously unselected package libboost1.83-dev:amd64.
- Preparing to unpack .../06-libboost1.83-dev_1.83.0-3.2_amd64.deb ...
- Unpacking libboost1.83-dev:amd64 (1.83.0-3.2) ...
- Selecting previously unselected package libboost-dev:amd64.
- Preparing to unpack .../07-libboost-dev_1.83.0.2+b2_amd64.deb ...
- Unpacking libboost-dev:amd64 (1.83.0.2+b2) ...
- Selecting previously unselected package libfl2:amd64.
- Preparing to unpack .../08-libfl2_2.6.4-8.2+b3_amd64.deb ...
- Unpacking libfl2:amd64 (2.6.4-8.2+b3) ...
- Selecting previously unselected package libfl-dev:amd64.
- Preparing to unpack .../09-libfl-dev_2.6.4-8.2+b3_amd64.deb ...
- Unpacking libfl-dev:amd64 (2.6.4-8.2+b3) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../10-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../11-libgmp-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../12-libmpfr-dev_4.2.1-1+b2_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.1-1+b2) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../13-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../14-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../15-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../16-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libboost1.83-dev:amd64 (1.83.0-3.2) ...
- Setting up m4 (1.4.19-4) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
- Setting up libfl2:amd64 (2.6.4-8.2+b3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up autoconf (2.72-3) ...
- Setting up bison (2:3.8.2+dfsg-1+b2) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
- Setting up libboost-dev:amd64 (1.83.0.2+b2) ...
- 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+b3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
- Setting up libmpfr-dev:amd64 (4.2.1-1+b2) ...
- Setting up libfl-dev:amd64 (2.6.4-8.2+b3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.40-3) ...
<><> 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]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-g++.1.0)
- g++ (Debian 14.2.0-8) 14.2.0
- Copyright (C) 2024 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 18/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-g++.1.0
Processing 19/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-bison: bison] [conf-flex: flex] [conf-gmp: sh] [conf-pkg-config: pkg-config]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bison" "--version" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-bison.2)
- 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 19/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-flex: flex] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-bison.2
Processing 20/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-flex: flex] [conf-gmp: sh] [conf-pkg-config: pkg-config]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-pkg-config.3)
- 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 20/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-flex: flex] [conf-gmp: sh]
-> installed conf-pkg-config.3
Processing 21/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-flex: flex] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "flex" "--version" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-flex.2)
- flex 2.6.4
-> compiled conf-flex.2
Processing 21/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-gmp: sh]
-> installed conf-flex.2
Processing 22/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 22/30: [gappa.1.3.5: http] [conf-autoconf: autoconf]
-> installed conf-gmp.4
Processing 23/30: [gappa.1.3.5: http] [conf-autoconf: autoconf]
Processing 24/30: [gappa.1.3.5: http] [conf-autoconf: autoconf] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" "-V" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-autoconf.0.2)
- autoconf (GNU Autoconf) 2.72
- Copyright (C) 2023 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 24/30: [gappa.1.3.5: http] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
-> installed conf-autoconf.0.2
Processing 25/30: [gappa.1.3.5: http] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
Processing 26/30: [gappa.1.3.5: http] [conf-automake: automake] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/home/opam/.opam/4.10/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
Processing 26/30: [gappa.1.3.5: http] [conf-automake: automake]
-> installed conf-mpfr.3
Processing 27/30: [gappa.1.3.5: http] [conf-automake: automake]
[ERROR] Failed to get sources of gappa.1.3.5: Bad checksum
Processing 27/30: [conf-automake: automake]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "automake" "--help" (CWD=/home/opam/.opam/4.10/.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
+-
# 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.10/.opam-switch/backup/state-20241109202441.export"
'opam install -vy gappa.1.3.5' failed.
"/usr/bin/env" "bash" "-c" "
opam remove -y "gappa.1.3.5"
opam install -vy "gappa.1.3.5"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "gappa.1.3.5" | grep -q '"debian-unstable"'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res
" failed with exit status 40
Failed: Build failed
Home|Differences with the last checks|Previous runs