Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 926430 - sci-mathematics/acl2-8.5_p20240307 fails to compile: find: books: No such file or directory
Summary: sci-mathematics/acl2-8.5_p20240307 fails to compile: find: books: No such fil...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-03-08 07:50 UTC by Agostino Sarubbo
Modified: 2024-03-08 11:55 UTC (History)
1 user (show)

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


Attachments
build.log (build.log,42.09 KB, text/plain)
2024-03-08 07:50 UTC, Agostino Sarubbo
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2024-03-08 07:50:38 UTC
https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/acl2-8.5_p20240307 fails to compile.
Discovered on: amd64 (internal ref: ci)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014
Comment 1 Agostino Sarubbo gentoo-dev 2024-03-08 07:50:39 UTC
Created attachment 886966 [details]
build.log

build log and emerge --info
Comment 2 Larry the Git Cow gentoo-dev 2024-03-08 11:55:12 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9a0df2990ef7a70dc77c4ab7170f9f1fe646d23f

commit 9a0df2990ef7a70dc77c4ab7170f9f1fe646d23f
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2024-03-08 09:19:55 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2024-03-08 11:55:09 +0000

    sci-mathematics/acl2: fix find call
    
    Closes: https://bugs.gentoo.org/926430
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 sci-mathematics/acl2/acl2-8.5_p20240307.ebuild | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)