https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: dev-lang/dafny-4.5.0 fails tests. Discovered on: amd64 (internal ref: ci) Info about the issue: https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0015
Created attachment 887873 [details] build.log build log and emerge --info
Error(s) that match a know pattern: # | +Error: # | +Error: Unable to start cargo: An error occurred trying to start process 'cargo' with working directory '/var/tmp/portage/dev-lang/dafny-4.5.0/temp/lit-tmp-y7vfbb_4/gifzlh0p/gifzlh0p-rust'. No such file or directory # | +Error: Unable to start cargo: An error occurred trying to start process 'cargo' with working directory '/var/tmp/portage/dev-lang/dafny-4.5.0/temp/lit-tmp-y7vfbb_4/xau12pgo/xau12pgo-rust'. No such file or directory FAIL: Dafny :: metatests/InconsistentCompilerBehavior.dfy (1263 of 1279) FAIL: Dafny :: metatests/TestBeyondVerifierExpect.dfy (1265 of 1279) FAIL: Dafny :: server/counterexample_none.transcript (1183 of 1279) # error: command failed with exit status: 1
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e92cfaf9a9fe2f03d665e2060d58470ebba1a27 commit 0e92cfaf9a9fe2f03d665e2060d58470ebba1a27 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-03-18 13:21:42 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-03-18 23:04:28 +0000 dev-lang/dafny: disable tests requiring cargo Closes: https://bugs.gentoo.org/927242 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-lang/dafny/dafny-4.5.0.ebuild | 3 +++ 1 file changed, 3 insertions(+)
