Index | Thread | Search

From:
Sebastien Marie <semarie@kapouay.eu.org>
Subject:
Re: [new] lang/polyml
To:
Daniel Dickman <didickman@gmail.com>, ports@openbsd.org
Date:
Wed, 11 Jun 2025 10:13:29 +0200

Download raw body.

Thread
Daniel Dickman <didickman@gmail.com> writes:

> 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 and run fine.
ok semarie@
-- 
Sebastien Marie