Bug 855365

Summary:	dev-lang/dafny-bin-3.7.1-r1 fails to compile: chmod: cannot access .so: No such file or directory
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Maciej Barć <xgqt>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2022-06-30 15:14:18 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: dev-lang/dafny-bin-3.7.1-r1 fails to compile.
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2022-06-30 15:14:21 UTC

Created attachment 788984 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2022-06-30 15:33:43 UTC

The bug has been closed via the following commit(s):

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

commit b30329214eaa780ff4a9f210855234099ad09737
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2022-06-30 15:33:08 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2022-06-30 15:33:08 +0000

    dev-lang/dafny-bin: use insopts
    
    Closes: https://bugs.gentoo.org/855365
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 .../{dafny-bin-3.7.1-r1.ebuild => dafny-bin-3.7.1-r2.ebuild}          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)