Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 498102 - sci-mathematics/coq-8.4_p2 checks for sys-devel/make version incorrectly
Summary: sci-mathematics/coq-8.4_p2 checks for sys-devel/make version incorrectly
Status: RESOLVED DUPLICATE of bug 493144
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-01-14 21:50 UTC by rwgardner
Modified: 2014-01-17 05:05 UTC (History)
1 user (show)

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


Attachments
emerge --info output (info.txt,5.13 KB, text/plain)
2014-01-14 21:50 UTC, rwgardner
Details

Note You need to log in before you can comment on or make changes to this bug.
Description rwgardner 2014-01-14 21:50:26 UTC
Created attachment 367854 [details]
emerge --info output

The sci-mathematics/coq-8.4_p2 configure states that it wants GNU make >= 3.81.  However, it checks that the make version is 3.xx where xx>=81.  Therefore, configure fails when GNU make 4.yy is installed.

See line 338 of configure.






The output from the emerge is:


 # emerge coq
Calculating dependencies... done!

>>> Verifying ebuild manifests

>>> Emerging (1 of 1) sci-mathematics/coq-8.4_p2
 * coq-8.4pl2.tar.gz SHA256 SHA512 WHIRLPOOL size ;-) ...                                      [ ok ]
>>> Unpacking source...
>>> Unpacking coq-8.4pl2.tar.gz to /var/tmp/portage/sci-mathematics/coq-8.4_p2/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/coq-8.4_p2/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2 ...
GNU Make >= 3.81 is needed.
Make 3.81 can be downloaded from ftp://ftp.gnu.org/gnu/make/make-3.81.tar.gz
then locally installed on a Unix-style system by issuing:
  tar xzvf make-3.81.tar.gz
  cd make-3.81
  ./configure
  make
  mv make ..
  cd ..
Restart then the configure script and later use ./make instead of make.
 * ERROR: sci-mathematics/coq-8.4_p2::gentoo failed (configure phase):
 *   configure failed
 * 
 * Call stack:
 *     ebuild.sh, line  93:  Called src_configure
 *   environment, line 1835:  Called die
 * The specific snippet of code:
 *       ./configure $myconf || die "configure failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/coq-8.4_p2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-8.4_p2::gentoo'`.
 * The complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.4_p2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.4_p2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2'
 * S: '/var/tmp/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2'

>>> Failed to emerge sci-mathematics/coq-8.4_p2, Log file:

>>>  '/var/tmp/portage/sci-mathematics/coq-8.4_p2/temp/build.log'

 * Messages for package sci-mathematics/coq-8.4_p2:

 * ERROR: sci-mathematics/coq-8.4_p2::gentoo failed (configure phase):
 *   configure failed
 * 
 * Call stack:
 *     ebuild.sh, line  93:  Called src_configure
 *   environment, line 1835:  Called die
 * The specific snippet of code:
 *       ./configure $myconf || die "configure failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/coq-8.4_p2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-8.4_p2::gentoo'`.
 * The complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.4_p2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.4_p2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2'
 * S: '/var/tmp/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2'




emerge --info output is attached
Comment 1 rwgardner 2014-01-14 21:52:35 UTC
emerge --info output:


Portage 2.2.8 (default/linux/amd64/13.0, gcc-4.8.2, glibc-2.17, 3.9.0-gentoo-x301-1.2 x86_64)
=================================================================
System uname: Linux-3.9.0-gentoo-x301-1.2-x86_64-Intel-R-_Core-TM-_i5_CPU_M_540_@_2.53GHz-with-gentoo-2.2
KiB Mem:     3972996 total,   2751784 free
KiB Swap:          0 total,         0 free
Timestamp of tree: Tue, 14 Jan 2014 21:15:01 +0000
ld GNU ld (GNU Binutils) 2.24
app-shells/bash:          4.2_p45-r1
dev-java/java-config:     2.2.0
dev-lang/python:          2.7.6, 3.2.5-r3, 3.3.3
dev-util/cmake:           2.8.12.1-r3
dev-util/pkgconfig:       0.28
sys-apps/baselayout:      2.2
sys-apps/openrc:          0.11.8
sys-apps/sandbox:         2.6-r1
sys-devel/autoconf:       2.13, 2.69
sys-devel/automake:       1.9.6-r3, 1.11.6, 1.12.6, 1.13.2, 1.14.1
sys-devel/binutils:       2.24-r1
sys-devel/gcc:            4.5.4, 4.7.3, 4.8.2
sys-devel/gcc-config:     1.8
sys-devel/libtool:        2.4.2
sys-devel/make:           4.0-r1
sys-kernel/linux-headers: 3.12 (virtual/os-headers)
sys-libs/glibc:           2.17
Repositories: gentoo
ACCEPT_KEYWORDS="amd64 ~amd64"
ACCEPT_LICENSE="* -@EULA"
CBUILD="x86_64-pc-linux-gnu"
CFLAGS="-march=native -O2 -pipe -fomit-frame-pointer"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/share/config /usr/share/gnupg/qualified.txt /usr/share/polkit-1/actions"
CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c"
CXXFLAGS="-march=native -O2 -pipe -fomit-frame-pointer"
DISTDIR="/usr/portage/distfiles"
EMERGE_DEFAULT_OPTS="--with-bdeps=y --complete-graph"
FCFLAGS="-O2 -pipe"
FEATURES="assume-digests binpkg-logs config-protect-if-modified distlocks ebuild-locks fixlafiles merge-sync news parallel-fetch preserve-libs protect-owned sandbox sfperms strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync"
FFLAGS="-O2 -pipe"
GENTOO_MIRRORS="http://distfiles.gentoo.org"
LDFLAGS="-Wl,-O1 -Wl,--as-needed"
MAKEOPTS="-j5"
PKGDIR="/usr/portage/packages"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages"
PORTAGE_TMPDIR="/var/tmp"
PORTDIR="/usr/portage"
PORTDIR_OVERLAY=""
SYNC="rsync://rsync.namerica.gentoo.org/gentoo-portage"
USE="#autotrace #color #enables #for #image #power #quantum #use #xmobar (brought 32 X a acl acpi alsa amd64 and apm apng app as automatically) autotrace bash-completion berkdb bitmaps bzip2 cairo capabilities caps cli consolekit control convert cracklib crypt cscope cxx data dbus demosaic depth digikam, directfb dri emacs exif fftw file fontconfig for formats fortran fourier gcj gdbm gimp graphics gudev hwdb iconv icu imagemagick images in ipv6 java jpeg jpeg2 jpeg2k kde kvm laptop lcms lib linux mail management mmx modules mpd mpris mudflap multilib ncurses nls non-root nptl ntp ogg opengl openmp pam pcre png policykit privilege, q32 qt3support raw readline running session smp specifically sqlite sse sse2 sse4 ssl ssse3 stuff support svg tcpd threads tiff timezone to transforms truetype unicode user vector vorbis wifi with wmf xcb xft xinerama xml xmp zlib" ABI_X86="64" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump author" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="evdev synaptics" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-5" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_7 python3_2" RUBY_TARGETS="ruby19 ruby18" USERLAND="GNU" VIDEO_CARDS="nouveau vesa" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account"
Unset:  CPPFLAGS, CTARGET, INSTALL_MASK, LANG, LC_ALL, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, USE_PYTHON
Comment 2 Panagiotis Christopoulos (RETIRED) gentoo-dev 2014-01-15 20:27:04 UTC

*** This bug has been marked as a duplicate of bug 493144 ***