Download raw body.
[new] lang/polyml
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
[new] lang/polyml