Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 497530 - sci-mathematics/prover9-2009.11a - !!! dobin: bin/attack does not exist
Summary: sci-mathematics/prover9-2009.11a - !!! dobin: bin/attack does not exist
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords: PATCH
Depends on:
Blocks:
 
Reported: 2014-01-08 15:21 UTC by Jason Mours
Modified: 2014-01-08 15:59 UTC (History)
3 users (show)

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

Attachments
build.log (prover9-2009.11a-build.log,6.15 KB, text/plain)
2014-01-08 15:21 UTC, Jason Mours 		Details
emerge-info (prover9-2009.11a-emerge.info,18.10 KB, text/plain)
2014-01-08 15:21 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 2014-01-08 15:21:09 UTC 
Created attachment 367392 [details]
build.log

sci-mathematics/prover9 is failing install:

>>> Install prover9-2009.11a into /var/tmp/portage/sci-mathematics/prover9-2009.11a/image/ category sci-mathematics
!!! dobin: bin/attack does not exist
!!! dobin: bin/autosketches4 does not exist
!!! dobin: bin/clausefilter does not exist
!!! dobin: bin/clausetester does not exist
!!! dobin: bin/complex does not exist
!!! dobin: bin/directproof does not exist
!!! dobin: bin/dprofiles does not exist
!!! dobin: bin/fof-prover9 does not exist
!!! dobin: bin/gen_trc_defs does not exist
!!! dobin: bin/get_givens does not exist
!!! dobin: bin/get_interps does not exist
!!! dobin: bin/get_kept does not exist
!!! dobin: bin/gvizify does not exist
!!! dobin: bin/idfilter does not exist
!!! dobin: bin/interpfilter does not exist
!!! dobin: bin/interpformat does not exist
!!! dobin: bin/isofilter does not exist
!!! dobin: bin/isofilter0 does not exist
!!! dobin: bin/isofilter2 does not exist
!!! dobin: bin/ladr_to_tptp does not exist
!!! dobin: bin/latfilter does not exist
!!! dobin: bin/looper does not exist
!!! dobin: bin/mace4 does not exist
!!! dobin: bin/miniscope does not exist
!!! dobin: bin/mirror-flip does not exist
!!! dobin: bin/newauto does not exist
!!! dobin: bin/newsax does not exist
!!! dobin: bin/olfilter does not exist
!!! dobin: bin/perm3 does not exist
!!! dobin: bin/proof3fo.xsl does not exist
!!! dobin: bin/prooftrans does not exist
!!! dobin: bin/prover9 does not exist
!!! dobin: bin/renamer does not exist
!!! dobin: bin/rewriter does not exist
!!! dobin: bin/sigtest does not exist
!!! dobin: bin/test_clause_eval does not exist
!!! dobin: bin/test_complex does not exist
!!! dobin: bin/tptp_to_ladr does not exist
!!! dobin: bin/unfast does not exist
!!! dobin: bin/upper-covers does not exist

: Posting build.log
Comment 1 Jason Mours 2014-01-08 15:21:26 UTC 
Created attachment 367394 [details]
emerge-info
Comment 2 Jeroen Roovers (RETIRED) gentoo-dev 2014-01-08 15:44:43 UTC 
Somebody appears to have removed src_compile(), notably `emake -j1 all'.

`make' simply responds with "See README.make" and stops.

Index: prover9-2009.11a.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/prover9-2009.11a.ebuild,v
retrieving revision 1.3
diff -u -B -r1.3 prover9-2009.11a.ebuild
--- prover9-2009.11a.ebuild     6 Jan 2014 14:02:38 -0000       1.3
+++ prover9-2009.11a.ebuild     8 Jan 2014 15:44:21 -0000
@@ -34,6 +34,10 @@
        epatch ${PATCHES[@]}
 }
 
+src_compile() {
+       emake -j1 all
+}
+
 src_install () {
        dobin \
                bin/attack \
Comment 3 Justin Lecher (RETIRED) gentoo-dev 2014-01-08 15:59:46 UTC 
+  08 Jan 2014; Justin Lecher <jlec@gentoo.org> prover9-2009.11a.ebuild:
+  Fix breakage due to dropping make target, #497530; Respect CC
+