| Port details |
- nml Dialect/harmony of Standard ML of New Jersey and Objective Caml
- 0.92b lang
 =1      0.92bVersion of this port present on the latest quarterly branch.  BROKEN: ld: error: relocation R_386_PC32 cannot be used against symbol BnnAdd
 DEPRECATED: Abandoned upstream, last release 2004-04-19
 This port expired on: 2021-12-31
 IGNORE: is marked as broken: ld: error: relocation R_386_PC32 cannot be used against symbol BnnAdd
- 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: 2001-08-18 04:48:50
- Last Update: 2021-12-31 13:40:03
- Commit Hash: 75b9550
- People watching this port, also watch:: libast, imlib2, autoconf, libunicode, p5-CGI-Untaint
- License: not specified in port
- WWW:
- http://ropas.snu.ac.kr/n
- Description:
- - nML is a dialect/harmony of Standard ML of New Jersey and Objective Caml.
- nML is a higher-order and typed programming language.
- nML does not stand against the C programming convention.
- nML compiler is a compiler of the nML language
using the Objective Caml compiler:
nML parser + nML type-checker +
nML-to-OCaml translator + the OCaml compiler.
WWW: http://ropas.snu.ac.kr/n
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: nml
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: i386
- distinfo:
- SHA256 (nml-0.92b.tar.gz) = 03b91b1753e81d496bf5268fba5b12c3a54d5ccc1d2ead65334b6653258b1205
SIZE (nml-0.92b.tar.gz) = 1628806
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.3 : devel/gmake
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for nml-0.92b:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- lang_nml
- USES:
- gmake
- 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 |
|---|
0.92b
31 Dec 2021 13:40:03
 |
Rene Ladan (rene) |
cleanup: Remove expired ports:
2021-10-31 devel/sdl_sge: Upstream no longer maintained
2021-12-31 net/appkonference: Outdated, depends on unsupported version of
net/asterisk
2021-12-31 dns/bind911: End of life, please migrate to a newer version of BIND9
2021-12-31 net/zebra: Abandoned upstream, last release in 2005. Consider
migrating to net/frr7 or net/bird2
2021-12-31 audio/osalp: Abandoned upstream, listed as beta and no new release
since 2008
2021-12-31 games/stransball2: Depends on expired devel/sdl_sge
2021-12-31 devel/rubygem-ruby-sdl-ffi: Depends on expired devel/sdl_sge
2021-12-31 devel/rubygem-rubygame: Depends on expired devel/sdl_sge
2021-12-31 devel/ruby-sdl: Depends on expired devel/sdl_sge
2021-12-31 games/magicmaze: Depends on expired devel/sdl_sge
2021-12-31 games/trophy: Depends on expired devel/clanlib1
2021-12-31 devel/clanlib1: Older than expired and removed devel/clanlib
2021-12-31 www/py-django31: Upgrade to Django 3.2+. Mainstream support ended
(April 6, 2021). Extended support ends December 2021. See
https://www.djangoproject.com/download/ (Only the first 15 lines of the commit message are shown above  ) |
0.92b
29 Sep 2021 07:42:27
|
Daniel Engberg (diizzy) |
lang/nml: Mark as BROKEN, deprecate and set expiration date to 2021-12-31
Abandoned upstream, last release 2004-04-19 and doesn't compile
Reference: PR 234720
PR: 234720
Reported by: emaste and mikael
Approved by: arrowd (mentor)
Differential Revision: https://reviews.freebsd.org/D32218 |
0.92b
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
0.92b
17 Sep 2019 14:13:58
  |
antoine |
Mark BROKEN with lld
Reported by: pkg-fallout
MFH: 2019Q3 |
0.92b
19 Jul 2016 11:04:14
|
mat |
When there is a do-install target, do not use a post-install target, do
everything at once. Sometime, rename post-install into a options helper
target.
I did not fix ports that were such a mess that I could not figure out
what they really wanted to do. I also did not change ports that had
some version of an auto-plist code in post-install, for the same reason.
With hat: portmgr
Sponsored by: Absolight |
0.92b
19 May 2016 10:44:12
|
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket |
0.92b
27 Oct 2014 15:23:31
|
bapt |
Cleanup plist |
0.92b
04 Aug 2014 03:40:15
|
adamw |
In some straightforward cases, protect documentation behind
PORTDOCS, adding a DOCS option where needed, and a couple
PORTEXAMPLES for good measure. |
0.92b
02 Aug 2014 18:06:40
|
adamw |
Stage, and fix build without gcc. |
0.92b
05 Jul 2014 19:27:04
|
olgeni |
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Categories J-L.
CR: D305
Approved by: portmgr (swills) |
0.92b
26 May 2014 14:47:57
|
miwi |
- Convert gmake,bzip2 to USES
Approved by: portmgr |
0.92b
20 Sep 2013 19:53:10
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
0.92b
22 Sep 2012 15:29:27
|
tabthorpe |
- Reassign to the heap at maintainer's request |
0.92b
24 Oct 2011 04:17:38
|
dougb |
Remove more tags from pkg-descr files fo the form:
- Name
em@i.l
or variations thereof. While I'm here also fix some whitespace and other
formatting errors, including moving WWW: to the last line in the file. |
0.92b
03 Jul 2011 13:45:36
|
ohauer |
- remove MD5 |
0.92b
08 Jun 2006 13:04:14
|
miwi |
Update to 0.92b
PR: ports/96563
Approved by: krion (mentor), maintainer |
0.92a_1
22 Jan 2006 12:42:24
|
edwin |
SHA256ify
Approved by: krion@ |
0.92a_1
31 Mar 2004 03:12:58
|
trevor |
SIZEify (maintainer timeout) |
0.92a_1
23 Feb 2004 07:21:17
|
kris |
BROKEN on !i386: Broken pkg-plist |
0.92a_1
04 Feb 2004 05:21:48
|
marcus |
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2) |
0.92a
14 Dec 2003 01:53:36
|
pav |
- Update to 0.92a
PR: ports/58725
Submitted by: Jaeho Shin <netj@sparcs.kaist.ac.kr> (maintainer) |
0.92
24 Sep 2003 09:37:11
|
osa |
Make portlint(1) happy by changing strip to ${STRIP_CMD}
Submitted by: Oleg Karachevtsev <ok@etrust.ru>
PR: 56998 |
0.92
21 Feb 2003 12:35:09
|
knu |
De-pkg-comment. |
15 Feb 2002 07:03:35
|
kevlo |
Update to version 0.92 |
18 Aug 2001 08:48:50
|
ijliao |
add nml A dialect/harmony of Standard ML and OCaml |
As an Amazon Associate I earn from qualifying purchases.