FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
ml-doc Language and tools for documenting Standard ML libraries
2.0_1 devel Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Broken BROKEN: Fails to build on i386, fails to configure on amd64
Deprecated DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
Expired This port expired on: 2014-08-31
Ignore 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 search for ports maintained by this maintainer
Port Added: 07 Sep 2007 12:03:06
License: not specified in port
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
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. smlnj>=110.71 : lang/smlnj
  2. nsgmls : textproc/jade
Runtime dependencies:
  1. nsgmls : textproc/jade
There are no ports dependent upon this port

No installation instructions: this port has been deleted.

The package name of this deleted port was: ml-doc


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

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://people.cs.uchicago.edu/~jhr/tools/downloads/
  3. http://www.cse.unsw.edu.au/~tbourke/distfiles/

Number of commits found: 12

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
01 Sep 2014 14:46:34
Original commit files touched by this commit  2.0_1
Revision:366879
bapt search for other commits by this committer
Remove non staged ports without pending PR from d*
09 Aug 2014 08:49:52
Original commit files touched by this commit  2.0_1
Revision:364409
antoine search for other commits by this committer
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
30 Jul 2014 20:25:51
Original commit files touched by this commit  2.0_1
Revision:363513
antoine search for other commits by this committer
Attempt to unbreak INDEX
No idea if this builds (it didn't)

With hat:	portmgr
20 Sep 2013 17:13:47
Original commit files touched by this commit  2.0_1
Revision:327724
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3)
11 May 2013 17:58:56
Original commit files touched by this commit  2.0_1
Revision:317899
hrs search for other commits by this committer
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.
06 May 2013 02:00:41
Original commit files touched by this commit  2.0_1
Revision:317455
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
12 Jun 2012 09:17:03
Original commit files touched by this commit  2.0_1
bapt search for other commits by this committer
Convert to new options framework
20 Dec 2011 05:20:00
Original commit files touched by this commit  2.0_1
tabthorpe search for other commits by this committer
- 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
03 Jul 2011 14:59:23
Original commit files touched by this commit  2.0_1
ohauer search for other commits by this committer
-remove MD5
28 Nov 2009 00:59:21
Original commit files touched by this commit  2.0_1
miwi search for other commits by this committer
- Fix build after lang/sml-nj-devel update

Submitted by:   Johannes 5 Joemann <joemann@beefree.free.de>
12 Sep 2007 02:53:51
Original commit files touched by this commit  2.0
edwin search for other commits by this committer
Update port: devel/ml-doc (very minor patch)

        Sorry, I got the comment wrong.

PR:             ports/116293
Submitted by:   Timothy Bourke <timbob@bigpond.com>
07 Sep 2007 12:01:00
Original commit files touched by this commit  2.0
edwin search for other commits by this committer
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>

Number of commits found: 12

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bind910Jul 28
bind99Jul 28
logstashJul 27
openssh-portableJul 27
chromiumJul 25
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress-zh_TW*Jul 24
libidnJul 23
opensaml2Jul 23
shibboleth2-spJul 23
soxJul 23
soxJul 23

32 vulnerabilities affecting 83 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 25088
Broken 201
Deprecated 107
Ignore 500
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 44
Expired 0
Set to expire 95
Interactive 0
new 24 hours 6
new 48 hours13
new 7 days38
new fortnight76
new month195

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.