Index | Thread | Search

From:
Daniel Dickman <didickman@gmail.com>
Subject:
[new] lang/polyml
To:
ports@openbsd.org
Date:
Tue, 10 Jun 2025 18:03:35 -0400

Download raw body.

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