Index | Thread | Search

From:
Kirill A. Korinsky <kirill@korins.ky>
Subject:
Re: [new] lang/polyml
To:
Daniel Dickman <didickman@gmail.com>
Cc:
ports@openbsd.org
Date:
Thu, 12 Jun 2025 11:36:42 +0200

Download raw body.

Thread
On Wed, 11 Jun 2025 00:03:35 +0200,
Daniel Dickman <didickman@gmail.com> wrote:
> 
> Leo Larnack sent a port for PolyML 5.9 back in 2022:
> 	https://marc.info/?l=openbsd-ports&m=164159513311858&w=2
> 
> PolyML is in the family of ML languages, similar to lang/ocaml.
> 
> That original submission didn't get committed due to changes needed in 
> base for non amd64 platforms.
> 
> I've taken that old port and made a few cleanups and am looking for an ok 
> to commit it.
> 
> The main changes I made:
> - updated from PolyML 5.9 to 5.9.1
> - ONLY_FOR_ARCHS=amd64 (can be removed if the proposed changes in the old 
>   thread are ever made to base)
> - removed the no_x11 FLAVOR and simply added :--with-x" by default. The 
>   port works fine without X. The main change of that config is some 
>   support code for creating graphical interfaces with Motif or X (if 
>   anyone actually wanted to do that).
> - added USE_NOEXECONLY and USE_NOBTCFI as the port seems to need them in 
>   my tests.
> 
> ok to commit this?

build fine on yesterdays -current/amd64, and passes very trivial manual
testing.

OK @kirill

-- 
wbr, Kirill