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 <http://gnu.org/licenses/gpl.html> 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/cmake: 2.8.12.1-r1 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 ACCEPT_KEYWORDS="x86 ~x86" ACCEPT_LICENSE="* -@EULA Oracle-BCLA-JavaSE" CBUILD="i686-pc-linux-gnu" CFLAGS="-O2 -march=pentium4 -pipe" CHOST="i686-pc-linux-gnu" 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" DISTDIR="/usr/portage-distfiles" EMERGE_DEFAULT_OPTS="--nospinner" 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" GENTOO_MIRRORS="http://distfiles.gentoo.org" LANG="en_GB.utf8" LC_ALL="en_GB.utf8" LDFLAGS="-Wl,-O1 -Wl,--as-needed" 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="/mnt/seabass/tmp-portage" PORTDIR="/usr/portage" 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" SYNC="rsync://rsync.fr.gentoo.org/gentoo-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" Unset: CPPFLAGS, CTARGET, INSTALL_MASK, MAKEOPTS, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, USE_PYTHON [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-1.6.0.16::gentoo (masked by: package.mask) /usr/portage/profiles/package.mask: # Tom Wijsman <TomWij@gentoo.org> (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 http://en.wikipedia.org/wiki/Sun_acquisition_by_Oracle # # 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-0.5.99.0.2.95-r1::__unknown__ (masked by: package.mask) For more information, see the MASKED PACKAGES section in the emerge man page or refer to the Gentoo Handbook.
Created attachment 364460 [details] sci-mathematics:coq-8.4_p2:20131202-153546.log
Yeah, they hard check this inside configure and the check is wrong.
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.
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.
*** Bug 493704 has been marked as a duplicate of this bug. ***
*** Bug 498102 has been marked as a duplicate of this bug. ***
8.4_p3 includes the fix, so, bump please.
+*coq-8.4_p3 (23 Jan 2014) + + 23 Jan 2014; Justin Lecher <jlec@gentoo.org> 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 +
*** Bug 534774 has been marked as a duplicate of this bug. ***
This is still an issue as sci-mathematics/coq-8.4_p3 has not been stabilized.