Bug 346061 – sci-mathematics/coq-8.3 fails to build with and without make-3.82

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Shark 2010-11-19 11:32:29 UTC]

I've tried to upgrade from coq-8.2 to coq-8.3 (with USE=-gtk) but got the following error message:

>>> Compiling source in /home/tmp/portage/sci-mathematics/coq-8.3/work/coq-8.3 ...
make STRIP=true -j1 
Makefile:160: *** mixed implicit and normal rules.  Stop.
emake failed
 * ERROR: sci-mathematics/coq-8.3 failed:
 *   make failed



Reproducible: Always

[Comment 1 Thomas Kahle (RETIRED) 2010-11-19 14:54:17 UTC]

Can't reproduce this.  Please post your emerge --info.

[Comment 2 Shark 2010-11-19 15:49:15 UTC]

(In reply to comment #1)
> Can't reproduce this.  Please post your emerge --info.
> 

I've tried to downgrade to make-3.81 and the error goes away, maybe it's related to this change? (from NEWS in make-3.82):
"Third, in previous versions of make it was sometimes
  not flagged as an error for explicit and pattern targets to appear in the
  same rule.  Now this is always reported as an error
"

Btw, even with make-3.81 coq fails to compile here with the following error:
OCAMLOPT4 parsing/pcoq.ml4
File "parsing/pcoq.ml4", line 634, characters 8-127:
Error: The constructor Gramext.Slist1sep expects 3 argument(s),
       but is applied here to 2 argument(s)
make[1]: *** [parsing/pcoq.cmx] Error 2

Dunno if it's still useful but here's my emerge --info:

Portage 2.1.9.24 (default/linux/x86/10.0/developer, gcc-4.4.5, glibc-2.12.1-r3, 2.6.36 i686)
=================================================================
System uname: Linux-2.6.36-i686-AMD_Athlon-tm-with-gentoo-2.0.1
Timestamp of tree: Fri, 19 Nov 2010 14:45:02 +0000
app-shells/bash:     4.1_p9
dev-lang/python:     2.6.6-r1
dev-util/cmake:      2.8.1-r2
sys-apps/baselayout: 2.0.1-r1
sys-apps/openrc:     0.6.4
sys-apps/sandbox:    2.3-r1
sys-devel/autoconf:  2.13::<unknown repository>, 2.68
sys-devel/automake:  1.10.3, 1.11.1
sys-devel/binutils:  2.20.1-r1
sys-devel/gcc:       4.4.5
sys-devel/gcc-config: 1.4.1
sys-devel/libtool:   2.4
sys-devel/make:      3.82
virtual/os-headers:  2.6.35 (sys-kernel/linux-headers)
ACCEPT_KEYWORDS="x86 ~x86"
ACCEPT_LICENSE="* -@EULA RTCW-ETEULA googleearth skype-eula AdobeFlash-10.1"
CBUILD="i686-pc-linux-gnu"
CFLAGS="-O2 -march=athlon-xp -pipe -m3dnow -fno-ident -fomit-frame-pointer -msse"
CHOST="i686-pc-linux-gnu"
CONFIG_PROTECT="/etc"
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=athlon-xp -pipe -m3dnow -fno-ident -fomit-frame-pointer -msse -fvisibility-inlines-hidden"
DISTDIR="/usr/portage/distfiles"
FEATURES="assume-digests binpkg-logs collision-protect distlocks fixlafiles fixpackages multilib-strict news parallel-fetch protect-owned sandbox sfperms sign splitdebug strict test-fail-continue unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox"
GENTOO_MIRRORS="ftp://de-mirror.org/distro/gentoo/"
LANG="en_US.ISO-8859-1"
LC_ALL="en_US.ISO-8859-1"
LDFLAGS="-Wl,-O1 -Wl,--sort-common -Wl,--as-needed"
PKGDIR="/usr/portage/packages"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages"
PORTAGE_TMPDIR="/home/tmp"
PORTDIR="/usr/portage"
PORTDIR_OVERLAY="/usr/local/portage"
SYNC="rsync://rsync.europe.gentoo.org/gentoo-portage"
USE="3dnow X a52 aac acpi alsa bash-completion bzip2 cairo cdr cli cracklib crypt cups cxx dri dts dvd dvdr emboss encode exif firefox flac gif glibc-omitfp gpm gtk iconv jpeg kpathsea lcms mikmod mmx modules mp3 mp4 mpeg mudflap ncurses nodroproot nptl nptlonly ogg opengl pam pango pch pcre pdf png pppd readline sdl session sse ssl svg sysfs truetype usb userlocales vorbis x264 x86 xcb xft xml xorg xulrunner xv xvid zlib" ALSA_CARDS="emu10k1" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mmap_emul mulaw multi null plug rate route share shm softvol" APACHE2_MODULES="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" 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 ubx" INPUT_DEVICES="keyboard mouse" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" PHP_TARGETS="php5-2" RUBY_TARGETS="ruby18" USERLAND="GNU" VIDEO_CARDS="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, EMERGE_DEFAULT_OPTS, FFLAGS, INSTALL_MASK, LINGUAS, MAKEOPTS, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS

[Comment 3 Thomas Kahle (RETIRED) 2010-11-19 16:05:23 UTC]

I see. I'll look at it.

[Comment 4 Thomas Kahle (RETIRED) 2010-11-20 12:43:10 UTC]

Fixed by patches from upstream's trunk. Thanks for reporting. The issues were incompatibilities with >=make-3.82 and >=camlp5-6. Please reopen if you still have trouble.