Port details on branch 2022Q3 |
- mlton Optimizing Standard ML compiler
- 20210816_1 lang =1 20210816_1Version of this port present on the latest quarterly branch.
- Maintainer: beyert@cs.ucr.edu
- Port Added: 2004-08-21 15:46:10
- Last Update: 2023-12-31 00:37:05
- Commit Hash: bbab7f5
- People watching this port, also watch:: screen, aget, p5-NSNMP, python
- License: HPND
- WWW:
- http://mlton.org/
- Description:
- This is a port of MLton, the whole-program optimizing Standard ML
Compiler. MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library. For more
information, go to the MLton home page.
- ¦ ¦ ¦ ¦
- 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/mlton/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/mlton
- pkg install mlton
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: mlton
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: amd64 i386
- distinfo:
- TIMESTAMP = 1634426635
SHA256 (mlton-20210816.i386-freebsd-13.txz) = 4faa271b60a82793b7911d8e9863d9831df9bf095badf670ec27c9b86ac1266b
SIZE (mlton-20210816.i386-freebsd-13.txz) = 4417216
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
- htmldoc : textproc/htmldoc
- gmake>=4.3 : devel/gmake
- tex.fmt : print/tex-formats
- Runtime dependencies:
-
- bash : shells/bash
- Library dependencies:
-
- libgmp.so : math/gmp
- This port is required by:
- for Build
-
- lang/mlkit
- lang/twelf
- lang/urweb
- sysutils/initool
- for Run
-
- lang/twelf
Configuration Options:
- ===> The following configuration options are available for mlton-20210816_1:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
====> Options available for the single BOOTSTRAP: you have to select exactly one of them
MLTON=on: Bootstrap with MLton (ideal if supported)
POLYML=off: Bootstrap with PolyML
SMLNJ=off: Bootstrap with SML/NJ (can take many hours)
====> Options available for the single TARGET: you have to select exactly one of them
NATIVE=on: Use default target for given architecture
===> Use 'make config' to modify these settings
- Options name:
- lang_mlton
- USES:
- compiler:c11 gmake tex
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|