| Port details |
- ml-doc Language and tools for documenting Standard ML libraries
- 2.0_1 devel
 =0      2.0_1Version of this port present on the latest quarterly branch.  BROKEN: Fails to build on i386, fails to configure on amd64
 DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
 This port expired on: 2014-08-31
 IGNORE: is marked as broken: Fails to build on i386, fails to configure on amd64
- 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: 2007-09-07 12:03:06
- Last Update: 2014-09-01 14:46:34
- SVN Revision: 366879
- License: not specified in port
- WWW:
- http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html
- Description:
- ML-Doc is a system for documenting the interfaces of SML libraries. It can
produce both HTML and LaTeX output.
WWW: http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: ml-doc
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
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:
-
- smlnj>=110.71 : lang/smlnj
- nsgmls : textproc/jade
- Runtime dependencies:
-
- nsgmls : textproc/jade
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for ml-doc-2.0_1:
LATEX=off: Install LaTeX if necessary (needed for pdf output)
===> Use 'make config' to modify these settings
- Options name:
- N/A
- 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 |
|---|
2.0_1
01 Sep 2014 14:46:34
  |
bapt |
Remove non staged ports without pending PR from d* |
2.0_1
09 Aug 2014 08:49:52
|
antoine |
Mark BROKEN
On i386:
[compiling (sources.cm):output.sml]
[creating directory .cm/GUID]
output.sml:469.49-469.60 Error: non-constructor applied to argument in pattern:
Constrs
output.sml:476.38-476.41 Error: unbound variable or constructor: def
output.sml:480.49-480.58 Error: non-constructor applied to argument in pattern:
Repl
output.sml:486.31-486.35 Error: unbound variable or constructor: syms
Compilation failed.
*** [mkdoc.x86-bsd] Error code 1
On amd64:
checking host system type... amd64-portbld-freebsd9.1
configure: error: unsupported configuration amd64-freebsd9.1
===> Script "configure" failed unexpectedly.
With hat: portmgr |
2.0_1
30 Jul 2014 20:25:51
|
antoine |
Attempt to unbreak INDEX
No idea if this builds (it didn't)
With hat: portmgr |
2.0_1
20 Sep 2013 17:13:47
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
2.0_1
11 May 2013 17:58:56
|
hrs |
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk. |
2.0_1
06 May 2013 02:00:41
|
hrs |
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier. |
2.0_1
12 Jun 2012 09:17:03
|
bapt |
Convert to new options framework |
2.0_1
20 Dec 2011 05:20:00
|
tabthorpe |
- Reassign to the heap do to mail bounce
<timbob@bigpond.com>: host extmail.bigpond.com[61.9.168.122] said: 550 5.1.1
<timbob@bigpond.com> recipient rejected. IB603a (in reply to RCPT TO
command)
Final-Recipient: rfc822; timbob@bigpond.com
Original-Recipient: rfc822;timbob@bigpond.com
Action: failed
Status: 5.1.1
Remote-MTA: dns; extmail.bigpond.com
Diagnostic-Code: smtp; 550 5.1.1 <timbob@bigpond.com> recipient rejected.
With hat: portmgr |
2.0_1
03 Jul 2011 14:59:23
|
ohauer |
-remove MD5 |
2.0_1
28 Nov 2009 00:59:21
|
miwi |
- Fix build after lang/sml-nj-devel update
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> |
2.0
12 Sep 2007 02:53:51
|
edwin |
Update port: devel/ml-doc (very minor patch)
Sorry, I got the comment wrong.
PR: ports/116293
Submitted by: Timothy Bourke <timbob@bigpond.com> |
2.0
07 Sep 2007 12:01:00
|
edwin |
New port: devel/ml-doc
ML-Doc is a system for documenting the interfaces of SML
libraries. It can produce both HTML and LaTeX output.
http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html
PR: ports/115932:
Submitted by: Timothy Bourke <timbob@bigpond.com> |
As an Amazon Associate I earn from qualifying purchases.