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 953 - (view) (download) (as text)

1 : macqueen 953 <!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->
2 :    
3 :     <HTML>
4 :     <TITLE>SML/NJ Software</TITLE>
5 :     <!-- Changed by: Lal George, 13-Oct-1997 -->
6 :     <BODY BGCOLOR="white">
7 :    
8 :     <center>
9 :     <H1>SML/NJ Software</H1>
10 :     </center>
11 :    
12 :     <blockquote>
13 :     This page provides pointers to the SML/NJ software distributions and
14 :     installation instructions.
15 :     <HR>
16 :    
17 :     <H2>Current Release</H2>
18 :     <P>
19 :     The current release of SML/NJ is <a href="NEWS/110-README.html">
20 :     <strong>Version 110</strong></a>, originally introduced in February 1998.
21 :     Version 110 runs under Unix, Windows 95 or Windows NT. (<em>The
22 :     the current release version number is 110.0.7, representing the 7th patch
23 :     release of 110, but we will refer to this version as 110 for short.</em>)
24 :     <p>
25 :    
26 :     <h3>Installation Instructions</h3>
27 :     <p>
28 :     To download and install SML/NJ 110, follow these
29 :     <a href="install/index.html"><strong>installation instructions</strong></a>.
30 :    
31 :     <a name="Mirrors">
32 :     <H3> The Distribution Files </H3></a>
33 :     <blockquote>
34 :     NOTE: the names of the distribution files have changed in 110.0.7;
35 :     the tarball files no longer have a "110-" prefix.
36 :     </blockquote>
37 :     The files making up the Version 110 distribution are available via
38 :     http or ftp:
39 :     <blockquote>
40 :     <a href="dist/110.0.7.html">http://cm.bell-labs.com/cm/cs/what/smlnj/dist/110.0.7.html</a><br>
41 :     <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110">
42 :     ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/</a>
43 :     </blockquote>
44 :     and at the following mirror sites
45 :     (if you run a mirror site not listed here, please let us know):
46 :     <UL>
47 :     <LI><a href="ftp://rodin.stanford.edu/pub/smlnj">
48 :     <strong>Stanford University (California)</strong> </a>
49 :     <LI><a href="ftp://flint.cs.yale.edu/pub/smlnj">
50 :     <strong>Yale University (Connecticut)</strong> </a>
51 :     <LI><a href="ftp://ftp.diku.dk/pub/smlnj"> <strong>DIKU (Denmark)</strong> </a>
52 :     <LI><a href="ftp://ftp.cl.cam.ac.uk/MIRRORED/smlnj"><strong>Cambridge (UK)</strong></a>
53 :     <LI><a href="ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/smlnj/">
54 :     <strong>SunSITE (UK)</strong></A>
55 :     <LI><a href="ftp://ftp.ntua.gr/pub/lang/smlnj"><strong>National Technical Univ. of Athens (Greece)</strong></a>
56 :     <LI><a href="ftp://ropas.kaist.ac.kr/pub/smlnj/"><strong>KAIST (Korea)</strong></a>
57 :     <LI><a href="http://gd.tuwien.ac.at/languages/smlnj/"><strong>Vienna
58 :     Univ. of Technology, Austria</strong></a>
59 :     (<a href="ftp://gd.tuwien.ac.at/languages/smlnj/">ftp version</a>)
60 :     </UL>
61 :    
62 :     <h3> Previous Release </h3>
63 :    
64 :     Users of the previous release, <a href="NEWS/93-README.html"> Version
65 :     0.93</a> (released in 1993) should migrate to Version 110 as soon as
66 :     possible. Version 0.93 is available but is no longer supported.
67 :     However, for the time being it is the only version that runs on Apple
68 :     Macintoshes (on 68K machines, or PowerMacs under emulation with the
69 :     aid of SoftwareFPU).
70 :    
71 :     <h3>Potential Downloading Problems (Bell Labs site)</h3>
72 :     <p>
73 :     We have had reports of distribution files being corrupted when
74 :     downloaded via a web browser. Using ftp directly may be more
75 :     reliable, but be warned that Bell Labs ftp service is incompatible
76 :     with some firewalls. The ftp service on ftp.research.bell-labs.com
77 :     uses special stripped-down server software for security. This
78 :     implementation deviates from the RFC standards in that the data
79 :     call-back circuit does not originate from port 20 on the server
80 :     host. Some firewalls count on this in their filtering rules. If the
81 :     dir (ls) command doesn't work, this is probably the reason why. However,
82 :     most ftp accesses (including browsers) these days use the passive
83 :     command PASV, which has a better security model for a firewall. If
84 :     all else fails, try one of the mirror sites listed above.
85 :    
86 :     <HR>
87 :     <A NAME="SOFTWARE:WORKING-VERSIONS">
88 :     <H2> Working Versions </H2>
89 :     Working versions are created for internal development purposes and
90 :     vary in reliability and stability. Some are robust enough for
91 :     noncritical research use, others are not. Please pay careful
92 :     attention to the README or NEWS file for each version before
93 :     attempting to use it. These working versions can be found at
94 :     <A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working">
95 :     ftp.research.bell-labs.com</A>.
96 :     <p>
97 :     <a href="mailto:george@research.bell-labs.com">Lal George</a> maintains a
98 :     mailing list for those adventurous souls who want to receive
99 :     announcements of new working versions. Contact Lal if you want
100 :     to be added to (or subtracted from) the list.
101 :     <P>
102 :     The following table gives access to README files for recent working
103 :     versions and the ftp directories for working versions that are
104 :     currently available for downloading. The
105 :     <a href="install/index.html">installation instructions</a>
106 :     for the release version will generally work, <em>mutatis mutandis</em>,
107 :     for working versions.
108 :     <p>
109 :     After version 110.9.1, the older "cmachine" (i.e. non-MLRISC) code
110 :     generators have been eliminated, so a more limited range of
111 :     architectures will be supported until the new MLRISC code generators
112 :     are implemented. Other major changes involving FLINT and the
113 :     transition to a new runtime system are under way, so expect some
114 :     instability after 110.9.1.
115 :     <p>
116 :    
117 :     <H3> Recent Working Versions </H3>
118 :     <TABLE BORDER>
119 :     <TH> README <TH> Released <TH> Software Links <th>
120 :     <TR><TD><A HREF="NEWS/110.34-README.html"><B>110.34 </A>
121 :     <TD>July 10, 2001
122 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.34">
123 :     /dist/smlnj/working/110.34</A>
124 :     </TR>
125 :     <TR><TD><A HREF="NEWS/110.33-README.html"><B>110.33 </A>
126 :     <TD>May 23, 2001
127 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.33">
128 :     /dist/smlnj/working/110.33</A>
129 :     </TR>
130 :     <TR><TD><A HREF="NEWS/110.32-README.html"><B>110.32 </A>
131 :     <TD>December 22, 2000
132 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.32">
133 :     /dist/smlnj/working/110.32</A>
134 :     </TR>
135 :     <TR><TD><A HREF="NEWS/110.31-README.html"><B>110.31 </A>
136 :     <TD>December 8, 2000
137 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.31">
138 :     /dist/smlnj/working/110.31</A>
139 :     </TR>
140 :     <TR><TD><A HREF="NEWS/110.30-README.html"><B>110.30 </A>
141 :     <TD>November 4, 2000
142 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.30">
143 :     /dist/smlnj/working/110.30</A>
144 :     </TR>
145 :     <TR><TD><A HREF="NEWS/110.29-README"><B>110.29 </A>
146 :     <TD>July 25, 2000
147 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29">
148 :     /dist/smlnj/working/110.29</A>
149 :     </TR>
150 :     <TR><TD><A HREF="NEWS/110.28-README.html"><B>110.28 </A>
151 :     <TD>May 1, 2000
152 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.28">
153 :     /dist/smlnj/working/110.28</A>
154 :     </TR>
155 :     <TR><TD><A HREF="NEWS/110.27-README.html"><B>110.27 </A>
156 :     <TD>April 10, 2000
157 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.27">
158 :     /dist/smlnj/working/110.27</A>
159 :     </TR>
160 :     <TR><TD><A HREF="NEWS/110.25-README.html"><B>110.25 </A>
161 :     <TD>December 6, 1999
162 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.25">
163 :     /dist/smlnj/working/110.25</A>
164 :     </TR>
165 :     <TR><TD><A HREF="NEWS/110.24-README.html"><B>110.24 </A>
166 :     <TD>November 1, 1999
167 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.24">
168 :     /dist/smlnj/working/110.24</A>
169 :     </TR>
170 :     <TR><TD><A HREF="NEWS/110.23-README.html"><B>110.23 </A>
171 :     <TD>October 9, 1999
172 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.23">
173 :     /dist/smlnj/working/110.23</A>
174 :     </TR>
175 :     <TR><TD><A HREF="NEWS/110.22-README.html"><B>110.22 </A>
176 :     <TD>September 9, 1999
177 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.22">
178 :     /dist/smlnj/working/110.22</A>
179 :     </TR>
180 :     <TR><TD><A HREF="NEWS/110.21-README.html"><B>110.21 </A>
181 :     <TD>September 3, 1999
182 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.21">
183 :     /dist/smlnj/working/110.21</A>
184 :     </TR>
185 :     <TR><TD><A HREF="NEWS/110.20-README.html"><B>110.20 </A>
186 :     <TD>July 16, 1999
187 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.20">
188 :     /dist/smlnj/working/110.20</A>
189 :     </TR>
190 :     <TR><TD><A HREF="NEWS/110.19-README.html"><B>110.19 </A>
191 :     <TD>July 8, 1999
192 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.19">
193 :     /dist/smlnj/working/110.19</A>
194 :     </TR>
195 :     <TR><TD><A HREF="NEWS/110.17-README.html"><B>110.17 </A>
196 :     <TD>May 20, 1999
197 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.17">
198 :     /dist/smlnj/working/110.17</A>
199 :     </TR>
200 :     <TR><TD><A HREF="NEWS/110.16-README.html"><B>110.16 </A>
201 :     <TD>April 16, 1999
202 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.16">
203 :     /dist/smlnj/working/110.16</A>
204 :     </TR>
205 :     <TR><TD><A HREF="NEWS/110.15-README.html"><B>110.15 </A>
206 :     <TD>March 22, 1999
207 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.15">
208 :     /dist/smlnj/working/110.15</A>
209 :     </TR>
210 :     <TR><TD><A HREF="NEWS/110.14-README.html"><B>110.14 </A>
211 :     <TD>Feb 22, 1999
212 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.14">
213 :     /dist/smlnj/working/110.14</A>
214 :     </TR>
215 :     <TR><TD><A HREF="NEWS/110.13-README"><B>110.13 </A>
216 :     <TD>Jan 16, 1999
217 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.13">
218 :     /dist/smlnj/working/110.13</A>
219 :     </TR>
220 :     <TR><TD><A HREF="NEWS/110.12-README"><B>110.12 </A>
221 :     <TD>Jan 12, 1999
222 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.12">
223 :     /dist/smlnj/working/110.12</A>
224 :     </TR>
225 :     <TR><TD><A HREF="NEWS/110.11-README"><B>110.11 </A>
226 :     <TD> Dec 22, 1998
227 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.11">
228 :     /dist/smlnj/working/110.11</A>
229 :     </TR>
230 :     <TR><TD><A HREF="NEWS/110.10-README"><B>110.10 </A>
231 :     <TD>Dec 20, 1998
232 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.10">
233 :     /dist/smlnj/working/110.10</A>
234 :     </TR>
235 :     <TR><TD><A HREF="NEWS/110.9.1-README.html"><B>110.9.1 </A>
236 :     <TD>Oct 19, 1998
237 :     <TD><A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.9.1">
238 :     /dist/smlnj/working/110.9.1</A>
239 :     </TR>
240 :     </TABLE>
241 :     <HR>
242 :    
243 :     <A name="packages">
244 :     <H2> Packages </H2></A>
245 :     <p>
246 :     The directory
247 :     <blockquote> <A
248 :     HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/packages/">
249 :     ftp://ftp.research.bell-labs.com/dist/smlnj/packages/</A>.
250 :     </blockquote>
251 :     contains software packages that are not part of the core SML/NJ
252 :     distribution. Currently, this directory contains:
253 :     <ul>
254 :     <li> <A HREF="doc/ckit/index.html"><strong>ckit</strong></A>, a C front
255 :     end.
256 :     </ul>
257 :    
258 :     <A name="benchmarks">
259 :     <H2> Benchmarks </H2></A>
260 :     <p>
261 :     A set of programs used as a "benchmark suite" for Standard ML is
262 :     available at:
263 :     <blockquote> <A
264 :     HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/benchmarks/">
265 :     ftp://ftp.research.bell-labs.com/dist/smlnj/benchmarks/</A>.
266 :     </blockquote>
267 :    
268 :     <H2> SML/NJ Compiler Test Suites </H2>
269 :     <p>
270 :     The regression test suites used for the SML/NJ compiler are
271 :     available at:
272 :     <blockquote> <A
273 :     HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/testing/">
274 :     ftp://ftp.research.bell-labs.com/dist/smlnj/testing/</A>.
275 :     </blockquote>
276 :    
277 :    
278 :     <H2> <A NAME="contrib">Contributed Software</A> </H2>
279 :     <P>
280 :     Some contributed software packages can be found at
281 :     <blockquote>
282 :     <A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/">
283 :     ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/</A>.
284 :     </blockquote>
285 :     Currently this directory contains:
286 :     <DL>
287 :     <DT>
288 :     <A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/emacs">
289 :     <strong>emacs</strong></A>
290 :     <DD>
291 :     The sml-mode package provides an emacs mode for editing
292 :     sml code under Gnu emacs and running the sml top-level as a subprocess of
293 :     emacs. Originally developed by Matthew J. Morley, it is now maintained by
294 :     <a href="mailto:monnier@cs.yale.edu">Stefan Monnier</a>. The latest
295 :     version is 3.9.5 (Dec 22, 2000).
296 :    
297 :     <a href="doc/Emacs/sml-mode.html">Online documentation</a> is
298 :     available here. The latest sml-mode tarball is available at
299 :     <a
300 :     href="ftp://flint.cs.yale.edu/pub/monnier/sml-mode/sml-mode.tar.gz">Yale</a> and is mirrored at
301 :     <a
302 :     href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/emacs/sml-mode-3.9.5.tar.gz">Bell Labs</a>.
303 :     <p>
304 :     <DT><strong>tools</strong>
305 :     <DD>
306 :     Various software tools, including:
307 :     <UL>
308 :     <LI>
309 :     <a href="doc/heap2exec/index.html">
310 :     heap2exec</a>, Lorenz Huelsbergen's "heap2exec" utility for building
311 :     Unix executables from heap images and the SML/NJ runtime executable.
312 :     <LI>
313 :     <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/tools/lexgenmos.tar.Z">
314 :     lexgenmos.tar.Z</a>, a translation of the Moscow ML lexer generator, which produces
315 :     lexers that run a bit faster than the improved ML-Lex in working version 110.7.
316 :     </UL>
317 :     <p>
318 :     <DT><strong>lib</strong>
319 :     <DD>
320 :     Some contributed or "borrowed" libraries, including:
321 :     <UL>
322 :     <LI>
323 :     <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/lib/CGI.tar.Z">
324 :     CGI.tar.Z</a>, a port of Moscow ML's CGI library.
325 :     <LI>
326 :     <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/lib/Util.tar.Z">
327 :     Util.tar.Z</a>, utility modules contributed by Nikolai Bjorner and
328 :     Matthias Blume.
329 :     <LI>
330 :     <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/lib/getopt.tar.Z">
331 :     getopt.tar.Z</a>, a port (via Haskell) of the GNU getopt library.
332 :     </UL>
333 :     </DL>
334 :     <p>
335 :     Additional packages will be added as they become available.
336 :     New contributions are eagerly sought!
337 :    
338 :     </blockquote>
339 :    
340 :    
341 :     <HR>
342 :     <CENTER><STRONG>
343 :     | <A HREF="index.html">SML/NJ Home Page</A> |
344 :     </STRONG></CENTER>
345 :     <HR>
346 :     Send your comments to <A HREF="mailto:sml-nj@research.bell-labs.com">sml-nj@research.bell-labs.com</A><BR>
347 :     <FONT SIZE="-3">
348 :     Copyright &#169; 1998,
349 :     <A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>.
350 :     <BR>
351 :     </FONT>
352 :     </BODY>
353 :     </HTML>

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