| Port details |
- mlkit Standard ML compiler
- 4.7.13 lang
 =2      4.7.5_1Version of this port present on the latest quarterly branch. - Maintainer: serpent7776@gmail.com
- Port Added: 2023-05-29 23:27:26
- Last Update: 2024-12-10 08:51:37
- Commit Hash: e114099
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: GPLv2 MIT HPND BSD3CLAUSE
- WWW:
- https://elsman.com/mlkit/
- Description:
- The MLKit is a compiler toolkit for the Standard ML language, including
The MLKit with Regions, which features a native backend for
the x64 architecture, based on region inference, and SMLtoJs,
which features a JavaScript backend targeting web browsers.
The two compilers share the same frontend and compilation management scheme.
The MLKit covers all of Standard ML, as defined in the 1997 edition of
The Definition of Standard ML and supports most of
the Standard ML Basis Library.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/mlkit/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/mlkit
- pkg install mlkit
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: mlkit
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: amd64
- distinfo:
- TIMESTAMP = 1732622339
SHA256 (melsman-mlkit-v4.7.13_GH0.tar.gz) = a6da888137ffa3d33850d579b95509ed926c20cd4ce5bc2450dcd6d3d3c6e4aa
SIZE (melsman-mlkit-v4.7.13_GH0.tar.gz) = 5657282
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bash : shells/bash
- mlton : lang/mlton
- gmake>=4.4.1 : devel/gmake
- gcc13 : lang/gcc13
- as : devel/binutils
- autoconf>=2.72 : devel/autoconf
- automake>=1.17 : devel/automake
- Runtime dependencies:
-
- gcc13 : lang/gcc13
- Library dependencies:
-
- libgmp.so : math/gmp
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for mlkit-4.7.13:
DOCS=on: Build and/or install documentation
TEST=off: Build and/or run tests
===> Use 'make config' to modify these settings
- Options name:
- lang_mlkit
- USES:
- gmake autoreconf
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.7.13
10 Dec 2024 08:51:37
 |
Robert Clausecker (fuz)
Author: Serpent7776 |
lang/mlkit: update to 4.7.13
Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md
PR: 283008 |
4.7.5_1
22 Feb 2024 03:48:02
|
Muhammad Moinur Rahman (bofh) |
lang/mlkit: Moved man to share/man
Approved by: portmgr (blanket) |
4.7.5
27 Oct 2023 06:32:58
|
Robert Clausecker (fuz)
Author: Serpent7776 |
lang/mlkit: update to 4.7.5
Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md
- ReML released as part of the distribution
- Improved documentation of basis library
- Addition of IEEE_REAL signature and IEEEReal structure.
Improved Real support.
- Initial support for explicit region and effect annotations, including
constraints on function invocations. The modified source language,
which we call ReML (a Standard ML program is also a ReML program) is
enabled with the -er flag
- Generate position-independent machine code
PR: 274695 |
4.7.3
29 May 2023 23:24:04
|
Robert Clausecker (fuz)
Author: Serpent7776 |
lang/mlkit: Standard ML Compiler
The MLKit is a compiler toolkit for the Standard ML language, including
The MLKit with Regions, which features a native backend for
the x64 architecture, based on region inference, and SMLtoJs,
which features a JavaScript backend targeting web browsers.
The two compilers share the same frontend and compilation management scheme.
The MLKit covers all of Standard ML, as defined in the 1997 edition of
The Definition of Standard ML and supports most of
the Standard ML Basis Library.
WWW: https://elsman.com/mlkit/
PR: 269566 |
As an Amazon Associate I earn from qualifying purchases.