| Port details |
- 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: 2021-05-06 11:47:48
- Commit Hash: 3505159
- People watching this port, also watch:: ocaml-lwt, osslsigncode, swi-pl
- License: mosml
- 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
WWW: https://mosml.org/
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/mosml/ && make install clean
- A package is not available for ports marked as:
- Forbidden / Broken / Ignore / Restricted
- 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:
|
| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
|---|
06 May 2021 11:47:48
  2.10.1_1
|
Mathieu Arnold (mat) |
Deorbit RESTRICTED && NO_CDROM, part two.
Move ports to the licenses framework.
RESTRICTED → auto-accept (unless expressly stated otherwise)
NO_CDROM → dist-mirror pkg-mirror auto-accept
Differential Revision: https://reviews.freebsd.org/D30010 |
06 Apr 2021 14:31:07
2.10.1_1
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
27 Jan 2020 09:30:28
  2.10.1_1
|
amdmi3 |
- Pet portlint
- Switch to options helpers
- Update WWW |
04 Nov 2019 21:21:04
2.10.1_1
|
rene |
Returns johans's ports to the pool after safekeeping his commit bit. |
11 Nov 2018 15:38:51
2.10.1_1
|
danfe |
Update `databases/gdbm' to version 1.18.1, an important bugfix release
which restores compatibility with old databases (version 1.8) and some
later versions which were built without mmap(2) support. Due to shlib
version change, bump port revisions of the consumer ports.
PR: 233059
Exp-run by: antoine
Approved by: maintainer (johans, numerous timeouts) |
02 Jul 2018 04:00:29
2.10.1
|
linimon |
Mark ports broken on mips64 that are already broken on powerpc64. In
most cases, the failure mode is the same. Also, mark them broken on
mips when necessary.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
29 Apr 2017 05:44:25
2.10.1
|
linimon |
Provide more descriptive error messages for ports failing on powerpc64.
Approved by: portmgr (tier-2 blanket) |
02 Nov 2016 22:45:14
2.10.1
|
mat |
Cleanup no longer needed CHMOD usage after r424898.
PR: 213743
Submitted by: mat
Exp-run by: antoine
Sponsored by: Absolight |
18 May 2016 12:43:12
2.10.1
|
johans |
Cleaner patch to honour $CC (no functional change)
Reported by: bapt |
16 May 2016 19:04:38
2.10.1
|
johans |
Honour $CC |
16 May 2016 15:38:33
2.10.1
|
johans |
Restore the original header that unintentionally got lost when moving the port |
16 May 2016 13:45:21
2.10.1
|
amdmi3 |
- Mark BROKEN: does not build
===> Building for mosml-2.10.1
gmake[1]: Entering directory
'/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src'
cd config; gmake all
gmake[2]: Entering directory
'/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src/config'
sh autoconf gcc
Checking the sizes of integers and pointers...
This architecture seems to be neither 32 bits nor 64 bits.
Caml Light won't run on this architecture.
Makefile:13: recipe for target 'runtime' failed
gmake[2]: *** [runtime] Error 2
gmake[2]: Leaving directory
'/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src/config'
Makefile:26: recipe for target 'world' failed
gmake[1]: *** [world] Error 2
gmake[1]: Leaving directory
'/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src'
*** Error code 1
Reported by: pkg-fallout
Approved by: portmgr blanket |
12 May 2016 13:13:36
2.10.1
|
mat |
Cleanup github bits.
Sponsored by: Absolight |
11 May 2016 14:44:07
2.10.1
|
johans |
Moscow_ml has been renamed mosml
Update to version 2.10.1, now hosted on Github
See changelog on the new project website http://mosml.org/ |
As an Amazon Associate I earn from qualifying purchases.