Bug 855410 – dev-lang/dafny-bin-3.8.1 installs files with unresolved SONAME dependencies

• Status: RESOLVED NEEDINFO
• Product: Gentoo Linux

[Description Agostino Sarubbo 2022-06-30 20:20:41 UTC]

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

Issue: dev-lang/dafny-bin-3.7.1-r2 installs files with unresolved SONAME dependencies.
Discovered on: amd64 (internal ref: ci)

[Comment 1 Agostino Sarubbo 2022-06-30 20:20:43 UTC]

Created attachment 789053 [details]
build.log

build log and emerge --info

[Comment 2 Maciej Barć 2022-06-30 20:24:08 UTC]

Ago, could you check if file /usr/lib64/liblttng-ust.so.0 is present?

This is probably the same false positive as with .NET SDK,
ref: https://bugs.gentoo.org/798990#c4

[Comment 3 Agostino Sarubbo 2022-07-20 07:04:35 UTC]

ci has reproduced this issue with version 3.7.2 - Updating summary.

[Comment 4 Agostino Sarubbo 2022-07-22 06:14:45 UTC]

ci has reproduced this issue with version 3.7.3 - Updating summary.

[Comment 5 Agostino Sarubbo 2022-08-27 20:20:00 UTC]

ci has reproduced this issue with version 3.8.0 - Updating summary.

[Comment 6 Agostino Sarubbo 2022-09-02 05:47:29 UTC]

ci has reproduced this issue with version 3.8.1 - Updating summary.