Bug 493704

Summary:	=sci-mathematics/coq-8.4_p2 [science] with system-devel/make-4.0 failing emerge with : GNU Make >= 3.81 is needed.
Product:	Gentoo Linux	Reporter:	Jason Mours <jason.mours>
Component:	[OLD] Development	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED DUPLICATE
Severity:	normal	CC:	ml
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log emerge-info

Description Jason Mours 2013-12-09 01:32:43 UTC

sci-mathematics/coq-8.4_p2 is failing configure after installing sys-devel/make-4.0.

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.

: Posting build.log

Reproducible: Always

Comment 1 Jason Mours 2013-12-09 01:35:24 UTC

Created attachment 364970 [details]
build.log

Comment 2 Jason Mours 2013-12-09 01:35:37 UTC

Created attachment 364972 [details]
emerge-info

Comment 3 Panagiotis Christopoulos (RETIRED) gentoo-dev

2013-12-09 08:12:06 UTC


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