Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 493144 - sci-mathematics/coq-8.4_p2 configure failure: "GNU Make >= 3.81 is needed" but I have make-4.0
Summary: sci-mathematics/coq-8.4_p2 configure failure: "GNU Make >= 3.81 is needed" bu...
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: x86 Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
: 493704 498102 534774 (view as bug list)
Depends on:
Blocks: make-4.0
  Show dependency tree
Reported: 2013-12-02 18:05 UTC by Martin Bays
Modified: 2015-05-25 01:49 UTC (History)
8 users (show)

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

sci-mathematics:coq-8.4_p2:20131202-153546.log (sci-mathematics:coq-8.4_p2:20131202-153546.log,1.90 KB, text/plain)
2013-12-02 18:08 UTC, Martin Bays
configure patch, fixes >=3.81 version check (coq-fix_-ge_3.81_make_vercheck.patch,577 bytes, patch)
2013-12-02 19:43 UTC, Panagiotis Christopoulos (RETIRED)
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Martin Bays 2013-12-02 18:05:39 UTC
Please see attached log.

$ make --version && emerge --info '=sci-mathematics/coq-8.4_p2::gentoo' && emerge -pqv '=sci-mathematics/coq-8.4_p2::gentoo'
GNU Make 4.0
Built for i686-pc-linux-gnu
Copyright (C) 1988-2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Portage 2.2.7 (default/linux/x86/13.0/desktop, gcc-4.8.2, glibc-2.16.0, 3.13.0-rc1 i686)
                        System Settings
System uname: Linux-3.13.0-rc1-i686-Intel-R-_Pentium-R-_4_CPU_2.66GHz-with-gentoo-2.2
KiB Mem:      503408 total,     25528 free
KiB Swap:    2939820 total,   2578608 free
Timestamp of tree: Thu, 28 Nov 2013 18:45:01 +0000
ld GNU ld (GNU Binutils) 2.23.2
ccache version 3.1.9 [enabled]
app-shells/bash:          4.2_p45
dev-java/java-config:     2.2.0
dev-lang/python:          2.3.6-r2::<unknown repository>, 2.4.6, 2.5.4-r4, 2.6.8-r3, 2.7.5-r4, 3.1.5-r1, 3.2.5-r3, 3.3.3
dev-util/ccache:          3.1.9-r3
dev-util/pkgconfig:       0.28
sys-apps/baselayout:      2.2
sys-apps/openrc:          0.12.4
sys-apps/sandbox:         2.6-r1
sys-devel/autoconf:       2.13::<unknown repository>, 2.69
sys-devel/automake:       1.4_p6::<unknown repository>, 1.5::<unknown repository>, 1.6.3::<unknown repository>, 1.7.9-r1::<unknown repository>, 1.8.5-r3::<unknown repository>, 1.9.6-r3, 1.10.3, 1.11.6, 1.12.6, 1.13.4, 1.14
sys-devel/binutils:       2.23.2
sys-devel/gcc:            3.2.3-r1::<unknown repository>, 3.3.6-r1::<unknown repository>, 3.4.6-r2::<unknown repository>, 4.1.2::<unknown repository>, 4.2.4, 4.3.6-r1, 4.4.4-r2, 4.5.3-r2, 4.7.2-r1, 4.8.2
sys-devel/gcc-config:     1.8
sys-devel/libtool:        1.4.3-r1::<unknown repository>, 2.4.2
sys-devel/make:           4.0
sys-kernel/linux-headers: 3.12 (virtual/os-headers)
sys-libs/glibc:           2.16.0::<unknown repository>
Repositories: gentoo crossdev-portage zugaina interactive-fiction sunrise gamerlay spring martin-s-local-portage-repo
CFLAGS="-O2 -march=pentium4 -pipe"
CONFIG_PROTECT="/etc /usr/share/config /usr/share/gnupg/qualified.txt"
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="-O2 -march=pentium4 -pipe"
FCFLAGS="-O2 -march=i686 -pipe"
FEATURES="assume-digests binpkg-logs ccache config-protect-if-modified distlocks ebuild-locks fixlafiles merge-sync metadata-transfer news parallel-fetch preserve-libs protect-owned sandbox sfperms splitdebug strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync"
FFLAGS="-O2 -march=i686 -pipe"
LDFLAGS="-Wl,-O1 -Wl,--as-needed"
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"
PORTDIR_OVERLAY="/usr/local/portage-crossdev /var/lib/layman/zugaina /var/lib/layman/interactive-fiction /var/lib/layman/sunrise /var/lib/layman/gamerlay /var/lib/layman/Spring /usr/local/portage"
USE="X a52 aac aalib acl acpi alsa apache2 avi bash-completion berkdb branding bzip2 caca cairo cdda cdr cli consolekit cracklib crypt cxx dbus dga directfb dri dts dvd dvdr emacs emboss encode exif fam fbcon firefox flac fortran gatos gdbm gif gpm gtk guile iconv ipv6 jpeg lcms ldap libnotify mad mmx mng modules mozilla mp3 mp4 mpeg mudflap ncurses nls nptl nsplugin ogg oggvorbis opengl openmp oss pam pango pcre pdf perl png policykit ppds profile python qt3support qt4 readline real sdl session spell sse ssl startup-notification svg svga tcpd theora tiff truetype udev udisks unicode upower usb v4l v4l2 vorbis wxwidgets x264 x86 xcb xml xv xvid zlib" ABI_X86="32" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1 emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci cs4236" APACHE2_MODULES="actions alias auth_basic auth_digest authn_anon authn_dbd authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache dav dav_fs dav_lock dbd deflate dir disk_cache env expires ext_filter file_cache filter headers ident imagemap include info log_config logio mem_cache mime mime_magic negotiation proxy proxy_ajp proxy_balancer proxy_connect proxy_http rewrite setenvif so 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="keyboard mouse" 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="vesa intel nvidia" 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"

[ebuild     U ] sci-mathematics/coq-8.4_p2 [8.4] USE="gtk ocamlopt -camlp5 -debug -doc" 

!!! The following installed packages are masked:
- dev-java/sun-jdk- (masked by: package.mask)
# Tom Wijsman <> (30 Jun 2013)
# Sun JDK and JRE contain critical vulnerabilities and receive no further
# updates; masking to make users aware of this, users that still need this
# package and have no alternative can unmask at their own risk. See bug #473830.
# This is continued by Oracle Corproation, which has acquired Sun Microsystems
# in early 2010; as per
# Users are suggested to upgrade to one of the newer Oracle packages like
# dev-java/oracle-jdk-bin or dev-java/oracle/jre-bin or choose another
# alternative we provide; eg. the IBM JDK/JRE or the open source IcedTea.
# Most of these packages provide a jce USE flag for those whom need the
# Java Cryptographic Extension Unlimited Strength Policy USE flag; whether that
# works depends from VM to VM, it seems to work for most except for the IBM VMs.

- app-portage/udept- (masked by: package.mask)
For more information, see the MASKED PACKAGES section in the emerge
man page or refer to the Gentoo Handbook.
Comment 1 Martin Bays 2013-12-02 18:08:53 UTC
Created attachment 364460 [details]
Comment 2 Panagiotis Christopoulos (RETIRED) gentoo-dev 2013-12-02 19:07:44 UTC
Yeah, they hard check this inside configure and the check is wrong.
Comment 3 Panagiotis Christopoulos (RETIRED) gentoo-dev 2013-12-02 19:43:00 UTC
Created attachment 364472 [details, diff]
configure patch, fixes >=3.81 version check

This is easy, just uploading here in case you want to contact upstream. I made this against coq-8.4_p2.ebuild sources. Didn't spend time patching the ebuilds or checking if it affects 8.3.
Comment 4 Panagiotis Christopoulos (RETIRED) gentoo-dev 2013-12-03 09:50:41 UTC
Btw, out of curiosity I checked their repository and this was fixed in commit df10b95526ccad2e726870d7735ffe9337b6f848 . Maybe I'll apply that, or mine, if nobody from the sci-mathematics team objects.I also asked on irc if there will be a V8.4pl3 that will include this fix.
Comment 5 Panagiotis Christopoulos (RETIRED) gentoo-dev 2013-12-09 08:12:06 UTC
*** Bug 493704 has been marked as a duplicate of this bug. ***
Comment 6 Panagiotis Christopoulos (RETIRED) gentoo-dev 2014-01-15 20:27:04 UTC
*** Bug 498102 has been marked as a duplicate of this bug. ***
Comment 7 Vikraman (RETIRED) gentoo-dev 2014-01-22 22:13:12 UTC
8.4_p3 includes the fix, so, bump please.
Comment 8 Justin Lecher (RETIRED) gentoo-dev 2014-01-23 08:18:17 UTC
+*coq-8.4_p3 (23 Jan 2014)
+  23 Jan 2014; Justin Lecher <> coq-8.3_p1.ebuild,
+  coq-8.4_p1.ebuild, coq-8.4_p2.ebuild, +coq-8.4_p3.ebuild, metadata.xml:
+  Version Bump, fixes problems with make-4, #493144
Comment 9 Jeroen Roovers (RETIRED) gentoo-dev 2015-01-06 08:00:45 UTC
*** Bug 534774 has been marked as a duplicate of this bug. ***
Comment 10 unlord 2015-05-25 01:49:38 UTC
This is still an issue as sci-mathematics/coq-8.4_p3 has not been stabilized.