Port details on branch 2022Q2 |
- mosml Lightweight implementation of Standard ML
- 2.10.1_1 lang =1 2.10.1_1Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2016-05-11 14:44:22
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- People watching this port, also watch:: ocaml-lwt, osslsigncode
- License: mosml
- WWW:
- https://mosml.org/
- Description:
- This is Moscow ML, a lightweight implementation of Standard ML:
The current version of Moscow ML
* implements the full Standard ML language, as revised 1997,
including Modules and some extensions
* yet is backwards compatible with versions prior to 2.00
* implements large parts of the new SML Basis Library
* implements separate compilation
* can produce compact stand-alone executables (a la Caml Light)
* supports quotations and antiquotations, useful for metaprogramming
* supports dynamic linking of external functions
- ¦ ¦ ¦ ¦
- 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/mosml/ && make install clean
- We doubt a package is available for this port because we see it marked as as:
-
Packages are normally not provided for ports that are marked as above.
- To add the package, run one of these commands:
- pkg install lang/mosml
- pkg install mosml
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: there is no package for this port: _LICENSE_RESTRICTED = delete-package delete-distfiles
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (kfl-mosml-ver-2.10.1_GH0.tar.gz) = fed5393668b88d69475b070999b1fd34e902591345de7f09b236824b92e4a78f
SIZE (kfl-mosml-ver-2.10.1_GH0.tar.gz) = 2558644
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.3 : devel/gmake
- perl5>=5.32.r0<5.33 : lang/perl5.32
- Runtime dependencies:
-
- perl5>=5.32.r0<5.33 : lang/perl5.32
- Library dependencies:
-
- libgmp.so : math/gmp
- libgdbm.so : databases/gdbm
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for mosml-2.10.1_1:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
- Options name:
- lang_mosml
- USES:
- compiler:features gmake perl5
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|