Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 872266 - dev-ml/dune-private-libs-2.9.1 fails tests
Summary: dev-ml/dune-private-libs-2.9.1 fails tests
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords: TESTFAILURE
Depends on:
Blocks:
 
Reported: 2022-09-21 23:26 UTC by Jonathan Lovelace
Modified: 2022-10-12 07:54 UTC (History)
1 user (show)

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


Attachments
dev-ml:dune-private-libs-2.9.1:20220921-225414.log (dev-ml:dune-private-libs-2.9.1:20220921-225414.log,153.29 KB, text/x-log)
2022-09-21 23:26 UTC, Jonathan Lovelace
Details
emerge-info.txt (emerge-info.txt,8.21 KB, text/plain)
2022-09-21 23:27 UTC, Jonathan Lovelace
Details
dev-ml:dune-configurator-2.9.1:20220921-234708.log (dev-ml:dune-configurator-2.9.1:20220921-234708.log,153.29 KB, text/x-log)
2022-09-22 00:18 UTC, Jonathan Lovelace
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Jonathan Lovelace 2022-09-21 23:26:32 UTC
Created attachment 813436 [details]
dev-ml:dune-private-libs-2.9.1:20220921-225414.log

=dev-ml/dune-private-libs-2.9.1 fails its test phase for me. Most of the failure-details I see in the build log look to be caused by sci-mathematics/coq not being installed, but there's one where the output of the test-case unexpectedly included the line "warning: here-document at line 1 delimited by end-of-file (wanted `EOF')" in two places.
Comment 1 Jonathan Lovelace 2022-09-21 23:27:14 UTC
Created attachment 813439 [details]
emerge-info.txt
Comment 2 Jonathan Lovelace 2022-09-22 00:18:56 UTC
Created attachment 813442 [details]
dev-ml:dune-configurator-2.9.1:20220921-234708.log

=dev-ml/dune-configurator-2.9.1 has apparently-identical test failures (after I installed dune-private-libs with FEATURES=test-fail-continue). Since I see in each ebuild (dune-private-libs and dune-configurator) a list of "bad tests" to remove with a comment saying to keep it in sync with the other, I decided to report the failure of dune-configurator's tests in this same bug; I can open a separate bug instead if desired.
Comment 3 Larry the Git Cow gentoo-dev 2022-10-12 07:54:24 UTC
The bug has been closed via the following commit(s):

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

commit ba5ae9808f855b816d754c48c654e93d1958313e
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-10-12 07:53:35 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-10-12 07:54:11 +0000

    dev-ml/dune-private-libs: fix test
    
    Closes: https://bugs.gentoo.org/872266
    
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 .../dune-private-libs-2.9.3.ebuild                 |  9 ++++++
 .../files/dune-private-libs-2.9.3-test.patch       | 32 ++++++++++++++++++++++
 2 files changed, 41 insertions(+)