Re: Update sysutils/opam to 2.2.0

2024-07-05 Thread Christopher Zimmermann
OCaml opam still desperately needs an update. Here is an updated diff including the changes requested by sthen@ and fixing some more regression tests. This will in the future also help upgrading dune, findlib, cppo, etc., because opam won't depend on a special version of them anymore. OK?

Re: Update sysutils/opam to 2.1.6

2024-06-08 Thread Christopher Zimmermann
Hi, thanks for your review. -WANTLIB = ${COMPILER_LIBCXX} c m +WANTLIB = ${LIBCXX} c m ${COMPILER_LIBCXX} was already correct. ok. I'll keep COMPILER_LIBCXX. Is this documented somewhere? bsd.port.mk only knows about LIBCXX. + +COMPILER = base-clang

Re: Update sysutils/opam to 2.1.6

2024-06-04 Thread Christopher Zimmermann
It's been some time... Opam really needs an update. On Fri, Dec 31, 2021 at 01:41:44PM -0500, Daniel Dickman wrote: On Fri, Dec 31, 2021 at 2:36 AM Christopher Zimmermann wrote: Hi, this update of opam changes to the build-utils shipped with opam and drops dependencies on our ports

Re: Update sysutils/opam to 2.1.6

2024-06-04 Thread Christopher Zimmermann
It's been some time... Opam really needs an update. On Fri, Dec 31, 2021 at 01:41:44PM -0500, Daniel Dickman wrote: On Fri, Dec 31, 2021 at 2:36 AM Christopher Zimmermann wrote: Hi, this update of opam changes to the build-utils shipped with opam and drops dependencies on our ports

Re: acme-client: add challenge hook to support dns-01

2024-02-25 Thread Christopher Zimmermann
Hi, thanks for your input Stuart. On Sun, Feb 25, 2024 at 11:27:33AM +, Stuart Henderson wrote: On 2024/02/24 21:44, Christopher Zimmermann wrote: Keep it simple, there's no need to handle every way to do things here. TLS-ALPN-01 […] doesn't seem very useful for acme-client

Re: acme-client: add challenge hook to support dns-01

2024-02-24 Thread Christopher Zimmermann
Thanks for your feedback guys. I tried to improve the interface by calling the hook for each challenge challenge individually and send information from acme-client via environment variables, which are checked against a restrictive alphabet. This makes dropping privileges easier and passing rand

Re: acme-client: add challenge hook to support dns-01

2024-02-22 Thread Christopher Zimmermann
On February 20, 2024 11:45:26 PM GMT+01:00, Evan Silberman wrote: > >Any example hook included should probably only use tools found in base, so it >shouldn’t depend on curl. I thought so, too. And it would be easy enough to replace curl by base ftp. But base ftp needs the URL (and therefore

acme-client: add challenge hook to support dns-01

2024-02-20 Thread Christopher Zimmermann
Hi, this diff adds a challenge hook to acme-client. This hook can be used to fulfill challenges. For example by putting the requested files onto a remote http server (http-01 challenge) or by modifying dns records (dns-01 challenge). The latter are needed to obtain wildcard certificates. Is t

update productivity/baikal

2024-02-05 Thread Christopher Zimmermann
Hi, this seems like a pretty straightforward upgrade to me. ok? Christopher Index: Makefile === RCS file: /cvs/ports/productivity/baikal/Makefile,v retrieving revision 1.35 diff -u -p -r1.35 Makefile --- Makefile27 Sep 2023

Re: ocaml 4.12.1 -> 4.13.1

2024-01-01 Thread Christopher Zimmermann
Thanks for the work. OK chrisz@.

[UPDATE] mail/imapfilter

2023-12-23 Thread Christopher Zimmermann
Hi, this is a simple update dropping an obsolete patch and warning users of a configuration change. OK? Christopher Index: Makefile === RCS file: /cvs/ports/mail/imapfilter/Makefile,v retrieving revision 1.27 diff -u -p -r1.27

Re: lang/ocaml and IBT WAS: amd64: IBT bulk build breakage

2023-08-08 Thread Christopher Zimmermann
For sysutils/opam it should already be sufficient to use MODULES+=lang/ocaml please then also do MODOCAML_RUNDEP=No otherwise I'm ok with your changes although I don't have any IBT-enabled machine to test on. Christopher

Update lmdb 0.9.31

2023-07-24 Thread Christopher Zimmermann
Hi, this is a straightforward upgrade containing only small bugfixes. OK? Christopher Index: Makefile === RCS file: /cvs/ports/databases/lmdb/Makefile,v retrieving revision 1.11 diff -u -p -r1.11 Makefile --- Makefile10 Mar 2

Re: [Update] devel/dune 3.6.2

2023-04-03 Thread Christopher Zimmermann
ses/download/${VERSION}/ +EXTRACT_SUFX = .tbz MAINTAINER =Christopher Zimmermann @@ -26,31 +23,38 @@ WANTLIB-main = c m pthread MODULES = lang/ocaml -RUN_DEPENDS-configurator = devel/dune,-private +RUN_DEPENDS-configurator = devel/dune CONFIGURE_STYLE =

Re: [Update] devel/dune 3.6.2

2023-01-25 Thread Christopher Zimmermann
rade 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 a

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 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-

Re: x11/dzen2: patch to fix hiding

2022-03-06 Thread Christopher Zimmermann
On Wed, Feb 09, 2022 at 06:03:07PM +0100, Omar Polo wrote: I haven't used dzen2 in a long time but the diff reads fine: XMapWindow and XUnmapWindow are the correct functions to call to show and hide a window on xorg. It would be interesting to know what the author thought tho; it's unlikely tha

x11/dzen2: patch to fix hiding

2022-02-04 Thread Christopher Zimmermann
Hi, this is a patch to dzen2 to do proper hiding. I also submitted upstream, but the project hat its last commit 9 years ago, so I'm not sure whether it will get merged. See https://github.com/robm/dzen/pull/57 OK? Christopher Index: action.c --- action.c.orig +++ action.c @@ -390,9 +390,9

Update sysutils/opam to 2.1.2

2021-12-30 Thread Christopher Zimmermann
Hi, this update of opam changes to the build-utils shipped with opam and drops dependencies on our ports utils. This makes ports dune version independent of opam. OK? Christopher Index: Makefile === RCS file: /cvs/ports/sysutils

lang/ocaml: fix tests

2021-12-20 Thread Christopher Zimmermann
Hi Daniel, this is for fixing OCaml regression tests. aarch64 has a broken objdump and needs to use llang-objdump. OK? Christopher Index: Makefile === RCS file: /cvs/ports/lang/ocaml/Makefile,v retrieving revision 1.91 diff -u -

Re: Fix devel/dune on non-native archs

2021-12-20 Thread Christopher Zimmermann
On Mon, Dec 20, 2021 at 09:02:22PM +0200, Anil Madhavapeddy wrote: This also looks good to me. Is there any infrastructure in the update-plist to hook in custom logic for OCaml? The various cmx/cmxs/a files should all be routed to a PFRAG.native or PFRAG.dynlink-native file and it would be nic

Re: Fix devel/dune on non-native archs

2021-12-19 Thread Christopher Zimmermann
On Sun, Dec 19, 2021 at 07:46:27PM +0100, Jeremie Courreges-Anglas wrote: On Sun, Dec 19 2021, Jeremie Courreges-Anglas wrote: This fixes packaging on riscv64 and most likely all non-native archs (sparc64: http://build-failures.rhaalovely.net/sparc64/2021-12-04/devel/dune.log) Only a REVISION

Add support for %0d format specifier to base m4

2021-12-04 Thread Christopher Zimmermann
Hi, current ocaml uses %02d format specifier in its autoconf. This is not supported by our base m4. I had no idea how to force autoconf to use devel/m4. So I added support for this flag to base m4. OK? Alternatively suggestions are welcome how to force use of /usr/local/bin/gm4 instead of /usr

Re: update dune

2021-11-30 Thread Christopher Zimmermann
@@ MAINTAINER =Christopher Zimmermann Index: distinfo === RCS file: /cvs/ports/devel/dune/distinfo,v retrieving revision 1.4 diff -u -p -r1.4 distinfo --- distinfo18 Sep 2019 19:12:29 - 1.4 +++ distinfo1

Re: NEW: fonts/ttyp0-font

2020-11-21 Thread Christopher Zimmermann
Ok, I imported the font. Now I'm wondering which combinations of the variants should be enabled by default. Looking at terminus people seem to use centered tilde and I suspect most people would want an invisible no-breaking-space. Any other popular combinations ? OK as is ? Christopher Ind

Re: bitmap fonts: Install pango 1.44 compatible OpenType fonts

2020-10-25 Thread Christopher Zimmermann
I tested only the latin fonts. Maybe someone with korean, japanese or chinese knowledge could have a look at those ? Hopefully, you can try copy and pasting the following text in various programs and figure out how it looks: French diacritics Amélie mon cœur Japanese katakana/hiragana ノゾミ, のぞ

NEW: fonts/ttyp0-font

2020-10-24 Thread Christopher Zimmermann
Hi, this is a terminal font with bold and italic styles supporting many languages in several sizes. This is the most comprehensive terminal font I know. OK to import ? Christopher DESC: UW ttyp0 is a family of bitmap programmer's fonts. It covers most of the Latin and Cyrillic alphabet, G

bitmap fonts: Install pango 1.44 compatible OpenType fonts

2020-10-24 Thread Christopher Zimmermann
Hi, now that our in tree fonttosfnt is updated to properly handle the metrics of terminus and others bitmap fonts, I'd like to change the appropriate ports to install .otb versions of the fonts along with their .pcf.gz versions. I tested only the latin fonts. Maybe someone with korean, japane

terminus-font: add OpenType .otb to support pango

2020-07-10 Thread Christopher Zimmermann
Hi, since pango dropped support for .pcf fonts we need to start shipping .otb fonts for pango/harfbuzz. OK? Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 Index: Makefile

Re: update devel/coccinelle

2020-07-06 Thread Christopher Zimmermann
On Mon, Jul 06, 2020 at 12:00:15AM +0200, Klemens Nanni wrote: On Sun, Jul 05, 2020 at 11:08:07PM +0200, Christopher Zimmermann wrote: turns out the first diff broke bytecode only builds. The attached diff fixes that. OK? Builds fine (very verbose) but "make fake" fails with

Re: update devel/coccinelle

2020-07-05 Thread Christopher Zimmermann
On Sat, Jul 04, 2020 at 12:25:41AM +0200, Christopher Zimmermann wrote: Hi, here's an update to coccinelle. Given that the projets install target is not playing nice with bytecode-only vs nativecode and bytecode installs I'm wondering whether I need to include the ocaml object / d

update devel/coccinelle

2020-07-03 Thread Christopher Zimmermann
Hi, here's an update to coccinelle. Given that the projets install target is not playing nice with bytecode-only vs nativecode and bytecode installs I'm wondering whether I need to include the ocaml object / development files at all in our port. Anyway I'd like to commit the update as in the

update pango to 1.45.3 with backported patch

2020-06-27 Thread Christopher Zimmermann
Hi, I'm trying to fix monospace bitmap font support for gvim (gtk-2 flavor), which has been broken since pango 1.44. It requires several changes: 1. fix metrics rounding in vim https://github.com/vim/vim/pull/6168, already included in our vim port. 2. fix fonttosfnt in our xenocara or rely

A fix for pcf/bdf bitmap fonts, which don't work since pango 1.44

2020-06-16 Thread Christopher Zimmermann
Hi, pango 1.44 dropped support for pcf and bdf bitmap fonts. This makes for example the terminus font unavailable in all gtk applications, including gvim. Making changes to gvim, fonttosfnt, terminus-font and the fontconfig configuration I can now use bitmap fonts in gvim again: ## fontt

Re: suckless font configuration

2020-05-31 Thread Christopher Zimmermann
On Sun, May 31, 2020 at 10:43:20PM +0200, Joerg Jung wrote: Am 31.05.2020 um 15:49 schrieb Klemens Nanni : Let's do one thing at a time, if others later decide to change colors they can do so, I'd like to fix the fonts due the implied dependencies, all else I'd like to leave the any future port

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-26 Thread Christopher Zimmermann
On May 27, 2020 2:20:54 AM GMT+02:00, Jeremie Courreges-Anglas wrote: >On Mon, May 25 2020, Daniel Dickman wrote: >>> On May 25, 2020, at 5:11 AM, Christopher Zimmermann > wrote: >>> >>> testing needed >>> Reply-To: >>> In-Reply-

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-25 Thread Christopher Zimmermann
/coq with this diff applied? Maybe jca@ ? Christopher On May 24, 2020, at 2:19 PM, Christopher Zimmermann wrote:  Hi, this is the only port not yet compatible with OCaml 4.10. OK to upgrade? Compcert was only tested by building simple hello world program. Christopher -- http://gmerl

update x11/lablgtk3

2020-04-27 Thread Christopher Zimmermann
Update lablgtk3. This will be nice to have when updating OCaml to 4.10. OK? Christopher Index: Makefile === RCS file: /cvs/ports/x11/lablgtk3/Makefile,v retrieving revision 1.4 diff -u -p -r1.4 Makefile --- Makefile26 Sep 2019

x11/lablgtk2 actually _do_ update to 2.18.10

2020-04-27 Thread Christopher Zimmermann
Hi, the last update to 2.18.10 did not actually use 2.18.10 code, but stayed at 2.18.8, as a closer look at distinfo could have revealed. This is to actually do the update. OK? Christopher Index: Makefile === RCS file: /cvs/por

update sysutils/opam 2.0.7

2020-04-27 Thread Christopher Zimmermann
Hi, this is a pretty straightforward update. OK? Christopher Index: Makefile === RCS file: /cvs/ports/sysutils/opam/Makefile,v retrieving revision 1.18 diff -u -p -r1.18 Makefile --- Makefile28 Mar 2020 17:56:44 - 1.1

Re: sndioctl not working with mpd playing music

2020-04-26 Thread Christopher Zimmermann
On Sun, Apr 26, 2020 at 08:16:23PM +0200, Jeremie Courreges-Anglas wrote: Moving this to ports, That is something we discussed with chrisz@. One concern I had was that changing the home directory in the PLIST won't affect upgrades and more generally machines where the _mpd is present in master

Re: remove devel/ocaml-configurator

2020-04-23 Thread Christopher Zimmermann
On Tue, Apr 21, 2020 at 10:02:29AM +0100, Anil Madhavapeddy wrote: Looks good to me. We've pulled this out into its own library now (https://github.com/ocaml-dune/dune-configurator ) since its compatibility requirements are stricter than dune. B

remove devel/ocaml-configurator

2020-04-17 Thread Christopher Zimmermann
Hi, I initially ported this only because I did not realize that this project had been integrated into devel/dune. This has no use anymore and can be removed. OK? Christopher Index: devel/Makefile === RCS file: /cvs/ports/devel

lang/ocaml minor update

2020-04-17 Thread Christopher Zimmermann
Hi, here's a straightforward minor update of OCaml. The patch to configure for our libbfd without libdl had to be redone because upstream tried to fix a related issue, but didn't integrate my patch. Anyway, at least the patch is now way simpler. Otherwise its only revision bumps of dependant

audio/mpd: no group writable home directory

2020-03-12 Thread Christopher Zimmermann
Hi, I regularly receive warnings from security(8) about group writable mpd home directory. Is there a reason this needs to be group writable? OK to drop the group-write bit? Christopher Index: Makefile === RCS file: /cvs/ports/a

Re: [patch] lang/ocaml-camlp5 7.08 -> 7.11

2020-02-18 Thread Christopher Zimmermann
Hi, thanks for your efforts. Looks very fine to me, so ok chrisz@ -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 signature.asc Description: PGP signature

Re: [patch] devel/ocaml-biniou 1.2.0 -> 1.2.1

2020-02-18 Thread Christopher Zimmermann
On Tue, Feb 18, 2020 at 03:16:38AM -0500, Daniel Dickman wrote: Update ocaml-biniou to 1.2.1. The main changes are: 1) change github account from mjambon to ocaml-community 2) biniou was updated to use dune instead of jbuilder The jbuilder to dune change in #2 is needed in order to be able to u

Re: [patch] x11/lablgtk3 3.0.beta6 -> 3.1.0

2020-02-18 Thread Christopher Zimmermann
Hi, I'm wondering whether there is a cairo_pango.cmo missing, because cairo_pango.cmx is added to PFRAG.native, bit no cairo_pango.cmo to the PLIST. Would you please double check this. Otherwise ok with me. Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA

Re: [patch] math/coq 8.10.0 -> 8.11.0

2020-02-17 Thread Christopher Zimmermann
Hi, the diff including the PLIST changes look correct to me. Nevertheless I would recommend testing on at least one bytecode-only architecture. Otherwise this diff is ok with me. Thanks! Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0

lang/compcert: fix bytecode only builds

2019-10-13 Thread Christopher Zimmermann
Hi, this should fix building on aarch64 and sparc64(?) OK? Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 signature.asc Description: PGP signature

Re: C preprocessor search paths

2019-10-09 Thread Christopher Zimmermann
Thanks a lot for the helpfull answers Stuart and Jeremie. On October 9, 2019 11:11:22 AM GMT+02:00, Jeremie Courreges-Anglas wrote: >On Wed, Oct 09 2019, Christopher Zimmermann wrote: >> On Tue, Oct 08, 2019 at 01:44:14PM +0200, Jeremie Courreges-Anglas >wrote: >>>

Re: C preprocessor search paths

2019-10-09 Thread Christopher Zimmermann
On Tue, Oct 08, 2019 at 01:44:14PM +0200, Jeremie Courreges-Anglas wrote: > On Tue, Oct 08 2019, Christopher Zimmermann wrote: > > On Mon, Oct 07, 2019 at 09:09:50PM +0100, Stuart Henderson wrote: > >> On 2019/10/07 21:37, Christopher Zimmermann wrote: > >> > How is

Re: search paths

2019-10-07 Thread Christopher Zimmermann
On Mon, Oct 07, 2019 at 09:09:50PM +0100, Stuart Henderson wrote: > On 2019/10/07 21:37, Christopher Zimmermann wrote: > > I am trying to use this to fix this issue: > > https://github.com/Drup/ocaml-lmdb/issues/27 > > > > It might well be that I'm on the wron

Re: databases/lmdb: add pkg-config lmdb.pc / search paths

2019-10-07 Thread Christopher Zimmermann
. On Mon, Oct 07, 2019 at 06:28:19PM +0100, Stuart Henderson wrote: > On 2019/10/07 18:26, Stuart Henderson wrote: > > On 2019/10/07 18:06, Christopher Zimmermann wrote: > > > > > > Hi, > > > > > > can this go in now or should I wait until after ports lo

databases/lmdb: add pkg-config lmdb.pc

2019-10-07 Thread Christopher Zimmermann
Hi, can this go in now or should I wait until after ports lock? Christopher Index: Makefile === RCS file: /cvs/ports/databases/lmdb/Makefile,v retrieving revision 1.7 diff -u -p -r1.7 Makefile --- Makefile22 Jun 2019 22:44:06

fix math/coq on arm64

2019-10-06 Thread Christopher Zimmermann
Hi, I'd rather commit this fix now so that there is a chance to build test it on different architectures in bulk-builds. OK? Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 ? diff Index: Makefile ==

math/coq: fix plist for bytecode-only build

2019-09-29 Thread Christopher Zimmermann
Hi, for building bytecode-only coq I need the following patch. (Did I send you this before? I misconfigured my mail client.) OK? Christopher Index: Makefile === RCS file: /cvs/ports/math/coq/Makefile,v retrieving revision 1.45 dif

Re: Update: lang/ocaml 4.09.0

2019-09-23 Thread Christopher Zimmermann
Here is an updated diff fixing the reported problems: - no more duplicate entries. They sneaked in while I updated the PLISTS for bytecode-only ocaml - update the distfile (again ?!?), use https. Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 3

Re: net/unison: document workaround for incompatible OCaml versions

2019-09-22 Thread Christopher Zimmermann
On Sun, 22 Sep 2019 18:26:54 +0100 Laurence Tratt wrote: > On Sun, Sep 22, 2019 at 04:10:23PM +0200, Christopher Zimmermann > wrote: > > Hello Christopher, > > > +doas pkg_add opam > > +opam init --no-setup --root ~/opam_unison \ > > + --compiler oca

Update: lang/ocaml 4.09.0

2019-09-22 Thread Christopher Zimmermann
Hi, this was a lot easier than 4.08. Sinse 4.09 doesn't ship the graphics library anymore it is packaged separately. Tested on amd64 with and without nativecode. OK? Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1

net/unison: document workaround for incompatible OCaml versions

2019-09-22 Thread Christopher Zimmermann
On Sat, 21 Sep 2019 09:35:50 +0100 Laurence Tratt wrote: > On Sat, Sep 21, 2019 at 09:06:16AM +0200, Christopher Zimmermann > wrote: > > Hello Christopher, > > >> Since other people might be affected by this, it looks like OCaml > >> has changed the marshalling

Re: move ocaml-graphics to a separate port

2019-09-21 Thread Christopher Zimmermann
On Sat, 21 Sep 2019 10:05:03 +0100 Stuart Henderson wrote: > s,Graphics,graphics, in COMMENT too. > > -- > Sent from a phone, apologies for poor formatting. > > On 21 September 2019 07:54:55 Christopher Zimmermann > wrote: > > > Hi, > > > > &

Re: Update: lang/ocaml 4.08.1

2019-09-21 Thread Christopher Zimmermann
On Fri, 20 Sep 2019 13:29:31 +0100 Laurence Tratt wrote: > On Mon, Sep 16, 2019 at 10:43:29PM +0200, Christopher Zimmermann > wrote: > > Hello Christopher, > > > finally here's the update of OCaml to 4.08.1. > [...] > > * net/unison needed some help to avo

move ocaml-graphics to a separate port

2019-09-20 Thread Christopher Zimmermann
Hi, OCaml 4.09 will no longer ship with the Graphics module, which is now shipped as separate project. To simplify the upgrade I would like to move it to a separate port before the upgrade. Are quirks needed when a subpackage is moved in this way? OK? Christopher Index: lang/ocaml/Makefile

Re: Update: lang/ocaml 4.08.1

2019-09-19 Thread Christopher Zimmermann
On Mon, 16 Sep 2019 23:14:47 -0400 Daniel Dickman wrote: > > On Sep 16, 2019, at 4:43 PM, Christopher Zimmermann > > wrote: > > > > Hi, > > > > finally here's the update of OCaml to 4.08.1. Now that all dependent > > ports are prepared it is

Update and unbreak lang/ocaml-camlp4

2019-09-18 Thread Christopher Zimmermann
Hi, luckily camlp4 is now available for our current OCaml 4.08. OK? Christopher Index: Makefile === RCS file: /cvs/ports/lang/ocaml-camlp4/Makefile,v retrieving revision 1.10 diff -u -p -r1.10 Makefile --- Makefile18 Sep 2019 17

Update: devel/dune to 1.11.3

2019-09-18 Thread Christopher Zimmermann
Hi, this is a straightforward upgrade to dune 1.11.3. It is needed for the graphics module, which will be removed from the compiler distribution from OCaml 4.09 onward. OK? Christopher Index: Makefile === RCS file: /cvs/ports/devel

Update: lang/ocaml 4.08.1

2019-09-16 Thread Christopher Zimmermann
Hi, finally here's the update of OCaml to 4.08.1. Now that all dependent ports are prepared it is pretty straight-forward: * Most of the diff is revision bumps of dependent packages * adapt the new configure script for our libbfd link requirements * pass LDFLAGS and CFLAGS to the new configure sc

Re: [Update] p5-HTML-Clean, p5-File-Find-Object, p5-Proc-Fork

2019-09-10 Thread Christopher Zimmermann
On Tue, 10 Sep 2019 06:23:26 + wen heping wrote: > Hi, ports@: > > Here is a patch for devel/p5-Proc-Fork to update to 0.806. > It build well and passed all tests. > No other ports depends on it. > > Comments? OK? > wen those are straight-forward upgrades. I don't use those ports, b

update math/coq

2019-08-30 Thread Christopher Zimmermann
Hi, I'd like to update math/coq to 8.10+beta2. Which is needed to support OCaml 4.08. The only user of coq is lang/compcert and was already updated to support Coq 8.10 and OCaml 4.08. When this update and the devel/frama-c update are committed the OCaml 4.08 update can go in. Tested on amd64 with

Re: update devel/frama-c

2019-08-30 Thread Christopher Zimmermann
On Thu, 29 Aug 2019 12:58:14 +0200 Jeremie Courreges-Anglas wrote: > On Thu, Aug 29 2019, Jeremie Courreges-Anglas wrote: > > On Thu, Aug 29 2019, Christopher Zimmermann > > wrote: > >> On Sun, 25 Aug 2019 20:32:53 +0200 > >> Jeremie Courreges-Anglas wrote:

update devel/frama-c

2019-08-23 Thread Christopher Zimmermann
Hi, this Frama-C release is compatible with OCaml 4.08. It builds and runs fine on amd64. I cannot build a bytecode-only version on amd64. I would welcome OKs and tests on real bytecode-only archs and i386, which is currently broken. Christopher Index: Makefile =

update: lang/ocaml-camlp5 to support upcoming OCaml 4.08

2019-08-17 Thread Christopher Zimmermann
Hi, this is a straightforward upgrade of camlp5 to support upcoming OCaml 4.08. OK? Christopher Index: Makefile === RCS file: /cvs/ports/lang/ocaml-camlp5/Makefile,v retrieving revision 1.4 diff -u -p -r1.4 Makefile --- Makefile

(re)import some ocaml ports needed for math/coq and devel/frama-c updates

2019-07-26 Thread Christopher Zimmermann
Hi, now with the actual ports attached. to update math/coq lablgtk3 is needed which in turn depends on ocaml-cairo and ocaml-configurator. new frama-c needs ocaml-yojson, which will pull in ocaml-cppo ocaml-easy-format and ocaml-binio with it. All except ocaml-configurator where removed from ports

(re)import some ocaml ports needed for math/coq and devel/frama-c updates

2019-07-26 Thread Christopher Zimmermann
Hi, to update math/coq lablgtk3 is needed which in turn depends on ocaml-cairo and ocaml-configurator. new frama-c needs ocaml-yojson, which will pull in ocaml-cppo ocaml-easy-format and ocaml-binio with it. All except ocaml-configurator where removed from ports more or less recently. ok to (re)i

net/mldonkey still in use?

2019-06-19 Thread Christopher Zimmermann
On Tue, 18 Jun 2019 14:17:49 -0400 ygrek wrote: > On Mon, 17 Jun 2019 20:34:41 +0100 > Anil Madhavapeddy wrote: > > > I think this approach is fine for this particular package, since > > upstream lags in recent times. > > > > The opam package for mldonkey is on ocaml<4.06, but I'm CCing the >

Re: mldonkey: use custom build of OCaml 3.12

2019-06-17 Thread Christopher Zimmermann
On Mon, 17 Jun 2019 21:59:57 +0100 Stuart Henderson wrote: > If people do want to keep this port in the tree, I'd suggest > rearranging things so that the changes are grouped together as much > as possible (separate CONFIGURE_ARGS+= / LIB_DEPENDS+= blocks) to > make it more obvious which are the

mldonkey: use custom build of OCaml 3.12

2019-06-17 Thread Christopher Zimmermann
Hi, Mldonkey in difficult to adapt to the new 4.08.0 release of OCaml. Its build system has the option to build against a private build of OCaml 3.12 and a copy of lablgtk. I adapted the port to use this option and therefore get rid of the dependency on a system wide OCaml installation. Tested to

Re: More OCaml ports for /dev/null?

2019-04-02 Thread Christopher Zimmermann
On Tue, 2 Apr 2019 10:41:58 +0100 Anil Madhavapeddy wrote: > I’m also working on a non-April fools joke, which is sufficient > metadata in dune to generate reliable openbsd ports. So in a few > months, we should be able to type in package names and have > reasonable Makefiles output for the ports

Re: More OCaml ports for /dev/null?

2019-04-02 Thread Christopher Zimmermann
Hi, my list of obsolete ocaml ports has been removed from devel/Makefile and is therefore disabled. How do I delete the ports from cvs? Simply 'cvs remove' all files in the ports directories? On Sun, 31 Mar 2019 11:29:02 +0800 Kenneth Westerback wrote: > I have > > devel/ocaml-uutf > lang/ocaml

Re: remove devel/{cudf,omake,ounit,ocaml-{cmdliner,cppo,dose,extlib,jsonm,re}} ?

2019-03-17 Thread Christopher Zimmermann
On Thu, 14 Mar 2019 23:23:10 +0100 Marc Espie wrote: > Not okay. > > You also want an entry in quirks explaining about them, and what to > do. I added the removed packages to quirks with reason 7. Reason 5 would also apply. is this ok (espie@ ?) I'd like to wait for another week and then commit

sysutils/opam: use -full source tree including all dependencies.

2019-03-11 Thread Christopher Zimmermann
On Mon, 11 Mar 2019 17:08:45 -0400 Kenneth R Westerback wrote: > I like this, but I am slightly confused -- did I miss the commit to > switch opam to -full? I would assume we'd want to do that first, no? oops, I somehow asserted this was already committed. So of course I'd like to commit this fi

remove devel/{cudf,omake,ounit,ocaml-{cmdliner,cppo,dose,extlib,jsonm,re}} ?

2019-03-11 Thread Christopher Zimmermann
Hi, switching sysutils/opam to a source distribution including all (partly patched) dependencies, the following OCaml libraries are no longer used by other ports. Since active OCaml users will use opam instead of OpenBSD ports I would suggest to remove them from the ports tree. The following diff

Re: ocaml/i386 Re: CVS: cvs.openbsd.org: ports

2019-03-08 Thread Christopher Zimmermann
On Fri, 8 Mar 2019 00:19:24 + Stuart Henderson wrote: > Broken on i386; LDFLAGS is no longer getting passed to the linker in > some places. I tested the improved patch below successfully on i386. It failed once with a "Sys_error: Permission denied", but I could not reproduce this error. OK?

Re: UPDATE of lang/ocaml to 4.07 and dependent ports

2018-08-11 Thread Christopher Zimmermann
me debugging, but I have no access to sparc64 hardware and only limited time due to my day (and night...) job... > Cheers > Adam > > On Sat, Jul 21, 2018 at 16:40, Christopher Zimmermann > wrote: > > > On 2018-06-21 Christopher Zimmermann wrote: > >> Hi, >

[UPDATE] games/freeciv 2.6.0

2018-08-04 Thread Christopher Zimmermann
Hi, update to 2.6 and enable client authentication. OK? Christoher Index: Makefile === RCS file: /cvs/ports/games/freeciv/Makefile,v retrieving revision 1.119 diff -u -p -r1.119 Makefile --- Makefile29 Jun 2018 22:16:13 -

Re: UPDATE of lang/ocaml to 4.07 and dependent ports

2018-07-21 Thread Christopher Zimmermann
On 2018-06-21 Christopher Zimmermann wrote: > Hi, > > the last few days I prepared an update of ocaml to 4.06 and opam to > 2.00rc2 and along with it updates or REVISION bumps of the dependent > ports. Here comes a reworked diff to upgrade to OCaml 4.07. (attached gzipped)

NEW OCaml sysutils/dune math/ocaml-{num,zarith}

2018-07-02 Thread Christopher Zimmermann
On 2018-06-21 Christopher Zimmermann wrote: > Hi, > > the last few days I prepared an update of ocaml to 4.06 and opam to > 2.00rc2 and along with it updates or REVISION bumps of the dependent > ports. > > two ports have been added since num has been removed from the

New ports necessary for upgrade of OCaml to 4.06

2018-06-22 Thread Christopher Zimmermann
On 2018-06-22 Jeremie Courreges-Anglas wrote: > On Thu, Jun 21 2018, Christopher Zimmermann wrote: > > [...] > > > two ports have been added since num has been removed from the OCaml > > distribution. > > math/ocaml-num > > math/Zarith > > BTW, >

Re: UPDATE of lang/ocaml to 4.06 and dependent ports

2018-06-22 Thread Christopher Zimmermann
On 2018-06-21 Adam Steen wrote: > Hi Chris > > I applied your patch like so (just after updating my ports tree) > > cd /usr/ports > patch < $HOME/downloads/ocaml.diff > cd /usr/ports/lang/ocaml > make install > > but it fails with > > ===> Building package for ocaml-graphics-4.06.1 > Create

UPDATE of lang/ocaml to 4.06 and dependent ports

2018-06-21 Thread Christopher Zimmermann
Hi, the last few days I prepared an update of ocaml to 4.06 and opam to 2.00rc2 and along with it updates or REVISION bumps of the dependent ports. I tested dpb builds on amd64 with and without native code support enabled. I could not test on other archs. The ports affected are: devel/cil devel/c

Re: Nuke some Ocaml ports

2017-02-27 Thread Christopher Zimmermann
On 2017-02-27 Daniel Dickman wrote: > > On Feb 27, 2017, at 3:23 PM, Christopher Zimmermann > > wrote: > > I would like to add more to this list: > > > > devel/utop > > please no. I acknowlegde this is a very useful tool for the OCaml developer, but i

Re: Nuke some Ocaml ports

2017-02-27 Thread Christopher Zimmermann
On 2017-02-27 Kenneth R Westerback wrote: > > Anyway, I'm happy to do the dirty work of nuking any or all of these > ports and then continuing the process of weeding out ports that > might be more useful to get people sourcing from opam. > > And thus hopefully making it simpler to keep us on the

[UPDATE] audio/mpd - now with sndio support

2017-01-28 Thread Christopher Zimmermann
Hi, this time with the diff attached. mpd has had sndio support for quite some time now, but not in our ports tree. So here's an update. Our g++ doesn't support constexpr with switch/case statements, therefore use clang. OK? Christopher Index: Makefile ===

Re: Update ocaml-cmdliner to 0.9.8

2016-07-05 Thread Christopher Zimmermann
On 2016-07-05 Anil Madhavapeddy wrote: > ok avsm, but doesn't this require bumping the REVISIONs of everything > that depends on cmdliner as well? according to $ sqlite3 /usr/local/share/sqlports 'select * from Depends where DEPENDSPATH = "devel/ocaml-cmdliner"' sysutils/opam,-main|devel/ocaml-

Re: UPDATE: herbstluftwm to 0.7.0

2016-04-18 Thread Christopher Zimmermann
On 2016-04-18 Florian Stinglmayr wrote: > On Mon, Apr 18, 2016 at 08:32:46PM +0200, Christopher Zimmermann > wrote: > > I have a finished herbstluftwm port upgrade, too. > > You can remove the BUILD_DEPENDS and the CC=egcc in MAKE_FLAGS > > since the gcc4 module take

Re: UPDATE: herbstluftwm to 0.7.0

2016-04-18 Thread Christopher Zimmermann
On 2016-04-18 Florian Stinglmayr wrote: > Hi list, > > below is an update for herbstluftwm to 0.7.0 which was released > earlier this year. Some new features are: Hi, I have a finished herbstluftwm port upgrade, too. You can remove the BUILD_DEPENDS and the CC=egcc in MAKE_FLAGS since the gcc4

Update / name change x11/ion -> x11/notion

2016-04-18 Thread Christopher Zimmermann
Hi, ion3 has been abandoned by its upstream developer. It has been forked on github and is now named notion. Here's a diff for upgrading to the latest version of notion and changing the ports name to notion, which is required by a special license clause in original ion3. ok? Christopher diff -N

Re: [update] abcde 2.5.4 -> 2.7.1; take 3

2015-12-23 Thread Christopher Zimmermann
On Mon, 23 Nov 2015 18:06:31 +0100 Marc Peters wrote: > Am 11/22/15 um 22:11 schrieb Marc Peters: > > > > Here an updated diff against -current ports. > > > > Comments/OKs? > > > > > > Marc > > > > As spotted offlist, now without REVISION. Tested, works for mp3 (which is the difficult c

  1   2   3   >