Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 838706 - dev-ml/stdio-0.15.0: version bump
Summary: dev-ml/stdio-0.15.0: version bump
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:
Depends on:
Blocks:
 
Reported: 2022-04-15 22:45 UTC by Alessandro Barbieri
Modified: 2022-04-22 09:37 UTC (History)
1 user (show)

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


Attachments
build log (build.log,4.79 KB, text/x-log)
2022-04-22 08:25 UTC, Kai-Chun Ning
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Alessandro Barbieri 2022-04-15 22:45:49 UTC
please bump, latest upstream tag is at 0.15.0
https://github.com/janestreet/stdio/releases/tag/v0.15.0
Comment 1 Kai-Chun Ning 2022-04-22 08:25:59 UTC
Created attachment 772829 [details]
build log
Comment 2 Kai-Chun Ning 2022-04-22 08:27:39 UTC
Comment on attachment 772829 [details]
build log

After recent update of dev-ml/sexplib0 to version 0.15.0, dev-ml/stdio-0.14.0-r1 (the latest available version) would not build. Bumping stdio to version 0.15.0 resolves the issue.
Comment 3 Maciej Barć gentoo-dev 2022-04-22 08:32:11 UTC
Kai-Chun Ning, all right, so we also need sexplib0 version constraints.
I'm unsure though how you were able to update dev-ml/sexplib0 to 0.15...
I thought base or some other pkg requiring JaneStreet's stuff on version lower than 0.15 would block, oh, well...
Comment 4 Kai-Chun Ning 2022-04-22 08:39:12 UTC
(In reply to Maciej Barć from comment #3)
> Kai-Chun Ning, all right, so we also need sexplib0 version constraints.
> I'm unsure though how you were able to update dev-ml/sexplib0 to 0.15...
> I thought base or some other pkg requiring JaneStreet's stuff on version
> lower than 0.15 would block, oh, well...

I didn't notice the version constraint until you mentioned it. If you need more info I can check my installation for you. Please let me know what you need.
Comment 5 Maciej Barć gentoo-dev 2022-04-22 08:44:16 UTC
JaneStreet want the same PV or more but not next release, for example fro version 0.15.0:
>=dev-ml/base-0.15.0:= <dev-ml/base-0.16.0:=
Actually now that I'm merging stdio I noticed a bunch of other pkgs MIGHT be missing constraints.
Comment 6 Larry the Git Cow gentoo-dev 2022-04-22 09:00:18 UTC
The bug has been referenced in the following commit(s):

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

commit 5f0e32b9c7c128dae7b82ab288647411fc4d60c5
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2022-04-22 08:36:40 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2022-04-22 08:59:44 +0000

    dev-ml/stdio: update sexplib package version constraints
    
    Bug: https://bugs.gentoo.org/838706
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 dev-ml/stdio/{stdio-0.14.0-r1.ebuild => stdio-0.14.0-r2.ebuild} | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
Comment 7 Maciej Barć gentoo-dev 2022-04-22 09:04:31 UTC
So we are in a "stalemate" (of upgrading to 0.15.0) unless any dev sacrifices a big amount of time to check every JaneStreet pkg for proper version constraints, as specified on https://opam.ocaml.org/packages/
Besides I think 0.15.0 is not very desired because some RECENT pkgs still fail with 0.15.0.
For example in my case 0.15.0 are unstable (at least on my core system, without chroots and stuff) because I need those pkgs that fail with 0.15.0.
Comment 8 Larry the Git Cow gentoo-dev 2022-04-22 09:37:09 UTC
The bug has been closed via the following commit(s):

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

commit e41ba31e5f69273435bad23289327c158a611100
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-04-22 09:36:48 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-04-22 09:36:48 +0000

    dev-ml/stdio: 0.15.0 bump
    
    Closes: https://bugs.gentoo.org/838706
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/stdio/Manifest               |  1 +
 dev-ml/stdio/stdio-0.14.0-r2.ebuild |  3 +--
 dev-ml/stdio/stdio-0.15.0.ebuild    | 18 ++++++++++++++++++
 3 files changed, 20 insertions(+), 2 deletions(-)