Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /pages/trunk/software.html
ViewVC logotype

Annotation of /pages/trunk/software.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 6752 - (view) (download) (as text)

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

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0