Bug 825430

Summary:	[guru] dev-lang/idris2-0.5.1_p20211112 fails to compile: Exception: attempt to reference unbound identifier fork-thread at line 271, char 6 of idris2-boot.ss
Product:	GURU	Reporter:	Agostino Sarubbo <ago>
Component:	Package issues	Assignee:	Maciej Barć <xgqt>
Status:	RESOLVED FIXED
Severity:	normal	CC:	guru-bugs
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2021-11-21 07:40:21 UTC

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

Issue: dev-lang/idris2-0.5.1_p20211112 fails to compile.
Discovered on: amd64 (internal ref: guru_ci)

Comment 1 Agostino Sarubbo gentoo-dev

2021-11-21 07:40:24 UTC

Created attachment 754106 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2021-12-01 19:34:46 UTC

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

https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=b51b6cd343dced4b7ff2fe5cfa15fd9d0443ddc7

commit b51b6cd343dced4b7ff2fe5cfa15fd9d0443ddc7
Author:     Maciej Barć <xgqt@riseup.net>
AuthorDate: 2021-11-21 20:57:13 +0000
Commit:     Maciej Barć <xgqt@riseup.net>
CommitDate: 2021-11-21 20:57:26 +0000

    dev-lang/idris2: add schemes threading requirement
    
    Closes: https://bugs.gentoo.org/825430
    Package-Manager: Portage-3.0.28, Repoman-3.0.3
    Signed-off-by: Maciej Barć <xgqt@riseup.net>

 dev-lang/idris2/idris2-0.5.1.ebuild           | 8 ++++----
 dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)