Re: [Update] devel/dune 3.6.2

2023-04-03 Thread Christopher Zimmermann
On Mon, Apr 03, 2023 at 06:51:33PM +0200, Volker Schlecht wrote: Here's everything in one giant diff generated from /usr/ports, including the additional @pkgpath line in devel/dune/pkg/PLIST-main. OK chrisz@ Good work. Thank you very much ! Christopher On 4/3/23 13:04, Stuart Henderson wro

Re: [Update] devel/dune 3.6.2

2023-04-03 Thread Volker Schlecht
Here's everything in one giant diff generated from /usr/ports, including the additional @pkgpath line in devel/dune/pkg/PLIST-main. On 4/3/23 13:04, Stuart Henderson wrote: Readding maintainer to CC for one last attempt, otherwise I'll consider it a timeout. dune's PLIST-main needs "@pkgpath s

Re: [Update] devel/dune 3.6.2

2023-04-03 Thread Stuart Henderson
Readding maintainer to CC for one last attempt, otherwise I'll consider it a timeout. dune's PLIST-main needs "@pkgpath sysutils/dune,-private" adding so that updates will work. Otherwise, I'm not using this or related software, but the diffs look good to me. Volker, would you mind generating pat

Re: [Update] devel/dune 3.6.2

2023-03-31 Thread Volker Schlecht
Final, final ... in case the last ping was too close to 7.3 On 3/13/23 08:27, Volker Schlecht wrote: Final ping from my side in case anyone else is interested. On 2/14/23 21:24, Volker Schlecht wrote: Alright, so here's the updated dune patch plus all the patches that need to go in alongside..

Re: [Update] devel/dune 3.6.2

2023-03-13 Thread Volker Schlecht
Final ping from my side in case anyone else is interested. On 2/14/23 21:24, Volker Schlecht wrote: Alright, so here's the updated dune patch plus all the patches that need to go in alongside... As a reminder: - lablgtk3 - ocaml-cppo - ocaml-graphics - ocaml-cairo - ocaml-yojson --> Trivial

Re: [Update] devel/dune 3.6.2

2023-02-14 Thread Volker Schlecht
Alright, so here's the updated dune patch plus all the patches that need to go in alongside... As a reminder: - lablgtk3 - ocaml-cppo - ocaml-graphics - ocaml-cairo - ocaml-yojson --> Trivial post-install changes, because dune now installs docs directly into the correct directories + results

Re: [Update] devel/dune 3.6.2

2023-02-14 Thread Yozo TODA
> Are we sure that we aren't bending over backwards here to "fix" > something that isn't a bug, and thereby increase the chances of > introducing problems elsewhere? I agree that we don't need to hustle to "fix". in my update proposal patch, just omit the last three lines of post-install target

Re: [Update] devel/dune 3.6.2

2023-02-13 Thread Volker Schlecht
That doesn't change the displayed version in ocamlfind, though. Well, checking the installed files, I found that dune META file does not contain "version" stanza. (META file of dune-configurator contains it...) I wonder it's dune's bug? I found no issue raised on the github repository. Anyway,

Re: [Update] devel/dune 3.6.2

2023-02-12 Thread Yozo TODA
> On 2/3/23 21:44, Volker Schlecht wrote: > > On 2/3/23 20:29, Daniel Dickman wrote: > >> And more generally when proper releases are available on GitHub, those > >> should be preferred. You know they are proper releases because the > >> download url has /releases/ in it. > > > > Here's a diff u

Re: [Update] devel/dune 3.6.2

2023-02-12 Thread Volker Schlecht
... and another ping :-) On 2/3/23 21:44, Volker Schlecht wrote: On 2/3/23 20:29, Daniel Dickman wrote: And more generally when proper releases are available on GitHub, those should be preferred. You know they are proper releases because the download url has /releases/ in it. Here's a diff u

Re: [Update] devel/dune 3.6.2

2023-02-03 Thread Volker Schlecht
On 2/3/23 20:29, Daniel Dickman wrote: And more generally when proper releases are available on GitHub, those should be preferred. You know they are proper releases because the download url has /releases/ in it. Here's a diff using the release .tbz ... also a simple @conflict marker seems to

Re: [Update] devel/dune 3.6.2

2023-02-03 Thread Daniel Dickman
> On Jan 25, 2023, at 2:18 AM, Christopher Zimmermann > wrote: > > Yes, indeed. It seems we need to handle that because it is obsolete and > would conflict with dune-configurator. Probably an entry to quirks is needed. I’d be happy to test whatever the solution is. Would be great to includ

Re: [Update] devel/dune 3.6.2

2023-02-03 Thread Daniel Dickman
> On Jan 30, 2023, at 3:45 PM, Volker Schlecht > wrote: > > On 1/30/23 17:58, Yozo TODA wrote: > +SHA256 (dune-3.6.2.tar.gz) = hMKdXR1BdRipwz6HQJ3YZf7UzVugabQ/+OAwYDR06Bs= > +SIZE (dune-3.6.2.tar.gz) = 1906553 >> please use tbz file? >> version information is not encoded in the tar.g

Re: [Update] devel/dune 3.6.2

2023-01-30 Thread Volker Schlecht
On 1/30/23 17:58, Yozo TODA wrote: +SHA256 (dune-3.6.2.tar.gz) = hMKdXR1BdRipwz6HQJ3YZf7UzVugabQ/+OAwYDR06Bs= +SIZE (dune-3.6.2.tar.gz) = 1906553 please use tbz file? version information is not encoded in the tar.gz files, hence when installed, "ocamlfind list" shows (version: n/a). -- yozo.

Re: [Update] devel/dune 3.6.2

2023-01-30 Thread Yozo TODA
>>> +SHA256 (dune-3.6.2.tar.gz) = hMKdXR1BdRipwz6HQJ3YZf7UzVugabQ/+OAwYDR06Bs= >>> +SIZE (dune-3.6.2.tar.gz) = 1906553 please use tbz file? version information is not encoded in the tar.gz files, hence when installed, "ocamlfind list" shows (version: n/a). -- yozo.

Re: [Update] devel/dune 3.6.2

2023-01-25 Thread Christopher Zimmermann
Yes, indeed. It seems we need to handle that because it is obsolete and would conflict with dune-configurator. Probably an entry to quirks is needed. On January 24, 2023 2:44:13 PM GMT+01:00, Daniel Dickman wrote: >Thanks a lot Volker and Christopher! > >Do we need to handle the upgrade path fo

Re: [Update] devel/dune 3.6.2

2023-01-24 Thread Daniel Dickman
Thanks a lot Volker and Christopher! Do we need to handle the upgrade path for the -private sub package since it is going away? > On Jan 22, 2023, at 11:12 AM, Christopher Zimmermann > wrote: > > On Sun, Jan 22, 2023 at 04:45:38PM +0100, Volker Schlecht wrote: >>> If you don't have access to

Re: [Update] devel/dune 3.6.2

2023-01-22 Thread Christopher Zimmermann
On Sun, Jan 22, 2023 at 04:45:38PM +0100, Volker Schlecht wrote: If you don't have access to a bytecode-only arch (like me), you can simulate it: Thanks - I did, and with the attached patch that worked out nicely! Then ok chrisz@ Thanks a lot for your effort :) Christopher Index: Makefile

Re: [Update] devel/dune 3.6.2

2023-01-22 Thread Volker Schlecht
.a files go into -native PFRAGS. only stublibs like libXXX.a go into normal PFRAGS. Thanks, I fixed that. is REVISION=0 a valid revision ? Yup. I would be ok with ocaml-pcre being removed. If you don't have access to a bytecode-only arch (like me), you can simulate it: Thanks - I di

Re: [Update] devel/dune 3.6.2

2023-01-22 Thread Christopher Zimmermann
Hi, thanks a lot for your effort. I like the changes a lot. I just spottet two things: .a files go into -native PFRAGS. only stublibs like libXXX.a go into normal PFRAGS. is REVISION=0 a valid revision ? I would be ok with ocaml-pcre being removed. If you don't have access to a bytecode-

[Update] devel/dune 3.6.2

2023-01-22 Thread Volker Schlecht
Here's an update to devel/dune to the latest version: * Intention is to pave the road for a more recent version of math/coq, which requires a more recent version of dune. * dune now makes it possible to configure default installation directories for its results at build time. This patch makes u