Download
From MLKit
Contents |
Releases
| Version | Date | Source tgz | Bin tgz | README | README_BIN | NEWS | Manual |
| 4.3.2 | 2007-04-12 | - | i386.tgz | README | README_BIN | NEWS | manual |
| 4.3.0 | 2006-01-27 | src.tgz | i386.tgz | README | README_BIN | NEWS | manual |
| Version | Date | Source tgz | rpm | Src rpm | News | Readme | Install | Manual | Native test | Bytecode test |
| 4.1.4 | 2004-06-12 | tgz | rpm | srpm | NEWS | README | INSTALL | manual | native test report | kam test report |
| 4.1.1 | 2002-08-25 | tgz | rpm | srpm | NEWS | README | INSTALL | manual | native test report | kam test report |
Downloading the Sources
As of version 4.3.2, sources are available only through Subversion (SVN) checkout. Each release is tagged - see the list of tags to find the tag for the release you want to checkout.
To checkout version 4.3.2 of the MLKit sources, execute the following shell command:
$ svn co https://mlkit.svn.sourceforge.net/svnroot/mlkit/tags/mlkit-4.3.2/kit mlkit-4.3.2
Release Numbers
The MLKit follows the convention that releases with odd minor release numbers (e.g., 3.1.12) are experimental releases whereas releases with even minor release numbers (e.g., 3.0.1) are stable releases. The convention only applies to the minor number. If x.y.z is a release number, y is called the minor release number.
Installation
To install the latest binary package, read the README_BIN file for the package.
To install from the sources, read the README file for the package.
System Specific Packages
| Distribution | File | Notes |
| Gentoo Binary | gentoo-bin-4.3.0.ebuild | Tested on Intel x86 with Linux 2.6 |
| Gentoo Source | gentoo-4.3.0.ebuild | Build dependency on the binary package or itself |
| Debian package | mlkit_4.3.3~2243-1_i386.deb | Packaged by Jens Peter Secher |
Greetings from the MLKit
To try the newly installed MLKit, save the following SML code in a file greetings.sml in an empty directory somewhere on your system:
val _ = print "Greetings from the MLKit\n"
Now, from within the directory, execute the shell command
mlkit greetings.sml
As a result of the shell command, the MLKit produces a stand-alone executable file run. To compile programs that are comprised by more than one file, the MLKit provides the notion of ML Basis Files.
Older versions of the MLKit
- MLKit version 3, December 3, 1998
- MLKit version 2 (i.e., The MLKit with Regions), 1997
- MLKit version 1, 1993
