-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsoftware.html
130 lines (108 loc) · 4.08 KB
/
software.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>SML/NJ Software</title>
</head>
<body bgcolor="white">
<center>
<h1>SML/NJ Software</h1>
</center>
<blockquote> This page provides pointers to the SML/NJ software distributions
and installation instructions.
<hr>
<h2>Current Release</h2>
<p> The current release of SML/NJ is <a href="dist/working/110.81/110.81-README.html">
<strong>Version 110.81</strong></a>, announced on August 26, 2016.
Version 110.81 runs under Linux, Mac OS X (10.6 and later), and Windows (XP an later).
</p>
<p>
We generally announce new versions on
comp.lang.ml, comp.lang.functional, freshmeat.net, and our
development mailing list <img src="smlnj-list-logo.png" align=center>.</p>
</p>
<p> </p>
<h3>Installation Instructions</h3>
<p> To download and install the current version of SML/NJ, follow
these <a href="install/index.html"><strong> installation
instructions</strong></a>.
<h3> The Distribution Files </h3>
</a> </p>
The files making up the current version's distribution are available via http
from this <a href="dist/working/current/index.html"> index </a> page.
<h2><a name="SOFTWARE:WORKING-VERSIONS"> Previous Versions </a></h2>
Current and recent versions are listed in the
<a href="dist/working/index.html">Versions</a> index,
which gives access to README files for recent
versions and the file distribution pages for versions that are currently
available for downloading. The <a href="install/index.html">
installation instructions</a> for the current version will generally work,
<em>mutatis mutandis</em>, for older versions. </p>
<p>
<a href="NEWS/93-README.html">
Version 0.93</a> (released in 1993) is still available for
historical purposes, but is obsolete and no longer supported.
Versions of the code dating back as far as 1987 are also available
on request.
</p>
<p> </p>
<a name="benchmarks">
<h2> Benchmarks </h2> </a>
<p> A set of programs used as a "benchmark suite" for Standard ML
is available by svn checkout at
<a href="https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/benchmarks/trunk">
https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/benchmarks.</a>
</p>
<h2> SML/NJ Compiler Test Suites </h2>
<p> The regression test suites used for the SML/NJ compiler are
available by svn checkout at
<a href="https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/tests/trunk">
https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/tests/trunk</a>.
</p>
<h2> <a name="contrib">Contributed Software</a> </h2>
<p> Some contributed software packages can be found at (<em>location to be
determined</em>)</p>
Currently this directory contains:
<dl>
<dt>
<strong>emacs</strong> </dt>
<dd> The sml-mode package provides an emacs mode for editing
sml code under Gnu emacs and running the sml top-level as a subprocess of
emacs. Originally developed by Matthew J. Morley, it is now maintained
by Stefan Monnier (monnier at iro dot umontreal dot ca).
<a href="doc/Emacs/sml-mode.html">Online documentation</a>
is available here. The latest sml-mode tarball
is available at <a href="http://www.iro.umontreal.ca/~monnier/elisp/">
http://www.iro.umontreal.ca/~monnier/elisp/</a>.
<p> </p>
</dd>
<dt><strong>tools</strong> </dt>
<dd> Various software tools, including:
<ul>
<li> <a href="doc/heap2exec/index.html">heap2exec</a>,
A "heap2exec" utility for building Unix
executables from heap images and the SML/NJ runtime executable.
(This replaces Lorenz Huelsbergen's original heap2exec utility.) </li>
</ul>
<p> </p>
</dd>
<dt><strong>lib</strong> </dt>
<dd> Some contributed or "borrowed" libraries, including:
<ul>
<li> Util.tar.Z, utility modules contributed by Nikolai Bjorner and Matthias
Blume. </li>
<li> getopt.tar.Z, a port (via Haskell) of the GNU getopt library. </li>
</ul>
</dd>
</dl>
<p> Additional packages will be added as they become available.
New contributions are eagerly sought!
</p>
</blockquote>
<hr>
<center><strong> | <a href="index.html">
SML/NJ Home Page</a> | </strong></center>
<hr> Send your comments to <img src="smlnj-list-logo.png" align=center><br>
<font size="-3">Copyright © 2004-2017, the SML/NJ Fellowship</a>.
</font>
</body>
</html>