Port details
ml-doc Language and tools for documenting Standard ML libraries
2.0_1 devel Σ 2.0_1Version of this port present on the latest quarterly branch. http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html 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:06Last Update: 2014-09-01 14:46:34SVN Revision: 366879 License: not specified in portWWW: 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: make generate-plist # There is no configure plist information for this port. USE_RC_SUBR (Service Scripts)
no SUBR information found 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. 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: #
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 bapt Remove non staged ports without pending PR from d* 2.0_1 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 antoine Attempt to unbreak INDEX
No idea if this builds (it didn't)
With hat: portmgr 2.0_1 bapt Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) 2.0_1 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 hrs Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier. 2.0_1 bapt Convert to new options framework 2.0_1 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 ohauer -remove MD5 2.0_1 miwi - Fix build after lang/sml-nj-devel update
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> 2.0 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 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>
