Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 777528 - sci-mathematics/coq-8.13.0 - make: *** [Makefile.make:178: submake] Error 2
Summary: sci-mathematics/coq-8.13.0 - make: *** [Makefile.make:178: submake] Error 2
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-03-21 15:00 UTC by Toralf Förster
Modified: 2021-03-21 15:00 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,17.06 KB, text/plain)
2021-03-21 15:00 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,275.91 KB, text/plain)
2021-03-21 15:00 UTC, Toralf Förster
Details
environment (environment,33.65 KB, text/plain)
2021-03-21 15:00 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,34.33 KB, application/x-bzip)
2021-03-21 15:00 UTC, Toralf Förster
Details
sci-mathematics:coq-8.13.0:20210321-105907.log (sci-mathematics:coq-8.13.0:20210321-105907.log,674.37 KB, text/plain)
2021-03-21 15:00 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,25.89 KB, application/x-bzip)
2021-03-21 15:00 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2021-03-21 15:00:12 UTC
make[1]: *** [theories/Strings/Byte.vo] Deleting file 'theories/Strings/Byte.glob'
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/coq-8.13.0/work/coq-8.13.0'
make: *** [Makefile.make:178: submake] Error 2
 * ERROR: sci-mathematics/coq-8.13.0::gentoo failed (compile phase):
 *   emake failed
 * 

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_no-multilib-20210315-144814

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10.2.0 *
clang version 11.1.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/11/bin
/usr/lib/llvm/11
11.1.0
Python 3.8.8
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby27 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.50.0
  [2]   rust-1.50.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.282_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.10.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Sun Mar 21 10:36:06 UTC 2021

emerge -qpvO sci-mathematics/coq
[ebuild  N    ] sci-mathematics/coq-8.13.0  USE="ocamlopt -debug -doc -gtk"
Comment 1 Toralf Förster gentoo-dev 2021-03-21 15:00:13 UTC
Created attachment 692733 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-03-21 15:00:14 UTC
Created attachment 692736 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2021-03-21 15:00:16 UTC
Created attachment 692739 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2021-03-21 15:00:17 UTC
Created attachment 692742 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2021-03-21 15:00:19 UTC
Created attachment 692745 [details]
sci-mathematics:coq-8.13.0:20210321-105907.log
Comment 6 Toralf Förster gentoo-dev 2021-03-21 15:00:20 UTC
Created attachment 692748 [details]
temp.tar.bz2