Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 493704 - =sci-mathematics/coq-8.4_p2 [science] with system-devel/make-4.0 failing emerge with : GNU Make >= 3.81 is needed.
Summary: =sci-mathematics/coq-8.4_p2 [science] with system-devel/make-4.0 failing emer...
Status: RESOLVED DUPLICATE of bug 493144
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-12-09 01:32 UTC by Jason Mours
Modified: 2013-12-10 06:35 UTC (History)
1 user (show)

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

Attachments
build.log (coq-8.4_p2-build.log,2.02 KB, text/plain)
2013-12-09 01:35 UTC, Jason Mours 		Details
emerge-info (coq-8.4_p2-emerge.info,17.27 KB, text/plain)
2013-12-09 01:35 UTC, Jason Mours 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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 ***