BSD Ports

lang/polyml 5.9.2 NetBSD

Implementation of Standard ML

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
Last update
Commit
864e93a960
Categories
lang
Package size
3608.2 KiB, 32696.5 KiB installed

Description

Poly/ML is Standard ML implementation fully conforming to the 1997 "Definition of Standard ML (Revised)", generally known as ML97.

In the other systems

SystemPortVersion
NetBSDlang/polyml5.9.2
FreeBSDlang/polyml5.9.2
OpenBSDlang/polyml5.9.2
DragonFlylang/polyml5.9.1_1
HardenedBSDlang/polyml5.9.2
GhostBSDlang/polyml5.9.2

Install

Binary package:

pkgin install polyml

From pkgsrc:

cd /usr/pkgsrc/lang/polyml && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_645.9.2
NetBSD 10.1 aarch645.9
SmartOS / illumos x86_645.9.2
macOS 15 arm64-

Dependencies

Run dependencies 2

No port depends on this one.

Commit history 1

DateCommitCreditsLog message
864e93a960 ryoon lang/polyml: Update to 5.9.2
Changelog: 5.9.2: This release is primarily a bug-fix release. ## Major Changes Rewrite of the conversion of floating point to strings and digit sequences. This fixes various bugs and ensures that the code works correctly for both Real.real and Real32.real. Changes to object code exporting on Mac-OS to deal with a problem with the Xtools 15 linker. 5.9.1: ## Major Changes ### Optimising code-generator for ARM/64 The native code-generator for the ARM 64 introduced in release 5.9 has been enhanced substantially to include similar optimisations as in the X86 version. This was largely completed some time ago but there were still bugs. These have now been fixed. ## Minor changes * Fix Overflow exception packet in the interpreter (#164) * Fix to OS.Path.getParent "../.." (#167) …