Download Latest Version smltojs-4.3.7.tgz (9.2 MB)
Email in envelope

Get an email when there's a new version of MLKit

Home / mlkit-4.3.6
Name Modified Size InfoDownloads / Week
Parent folder
mlkit-4.3.6.tgz 2013-05-27 9.2 MB
0
NEWS 2012-04-23 25.5 kB
0
README_BIN 2012-04-23 3.0 kB
0
mlkit-4.3.6-i386.tgz 2012-04-23 14.9 MB
0
Totals: 4 Items   24.1 MB 0 
                The MLKit binary distribution
	              mlkit-4.3.6-i386

This readme file describes the structure of the MLKit binary
distribution as well as necessary steps for proper personal and system
wide installation.

An overview of the directory structure of the distribution
is given in Appendix A.

1. System-wide Installation
---------------------------

Provided you have downloaded the binary distribution to the /tmp
directory, execute the following commands in a bash-shell - as root:
 
 % cd /tmp
 % tar xzvf mlkit-4.3.6-i386.tgz
 % cd mlkit-4.3.6-i386
 % cp -pa bin/* /usr/bin/
 % cp -pa lib/mlkit /usr/lib/mlkit
 % cp -pa share/man/man1/* /usr/share/man/man1/
 % cp -pa share/mlkit /usr/share/mlkit
 % cp -pa share/doc/mlkit /usr/share/doc/mlkit
 % mkdir /etc/mlkit
 % echo "SML_LIB /usr/lib/mlkit" > /etc/mlkit/mlb-path-map

All locations, except the system wide path-map /etc/mlkit/mlb-path-map
can be changed at will.

Any user on the system should now be able to run the commands mlkit,
rp2ps, and kittester.

2. Personal Installation
------------------------
Provided you have downloaded the binary distribution to your home
directory $HOME, execute the following commands:
 
 $ cd $HOME
 $ tar xzvf mlkit-4.3.6-i386.tgz
 $ ln -s mlkit-4.3.6-i386 mlkit
 $ mkdir .mlkit
 $ echo "SML_LIB $HOME/mlkit/lib/mlkit" > .mlkit/mlb-path-map

You can now either run the mlkit command directly by specifying the
complete path or you can modify your personal PATH environment
variable to include $HOME/mlkit/bin (below, we assume that you have
done this).

3. Try It
---------
To test the installation, copy the directory share/mlkit/kitdemo to
somewhere in your own directory, say $(HOME)/kitdemo:

 $ cp -a share/mlkit/kitdemo $HOME/kitdemo
 $ cd $HOME/kitdemo
 $ mlkit helloworld.sml

The MLKit should produce an executable file "run":  

 $ ./run
 hello world

4. More Information
-------------------
See the MLKit home page http://www.itu.dk/research/mlkit/

Documentation for the MLKit is located in the distribution in the
directories share/doc/mlkit and man/man1. License information is
located in the file share/doc/mlkit/license/MLKit-LICENSE.

5. Comments and Bug Reports
---------------------------
Please see the MLKit home page for a list of known bugs and
limitations. Send bug reports to mlkit@itu.dk.

Appendix A: Directory Structure of the Distribution
---------------------------------------------------
  mlkit-4.3.6-i386.tgz:
     mlkit-4.3.6-i386/
        bin/mlkit
           /rp2ps
           /kittester
        lib/mlkit/lib/runtimeSystem.a
                     /runtimeSystemGC.a
                     ...
                 /basis/basis.mlb
                       /kitlib.mlb
                       /...
        share/man/man1/mlkit.1
                      /rp2ps.1
                      /...
        share/doc/mlkit/mlkit.pdf
                       /README_BIN
                       /licence/
                       /NEWS
             /mlkit/test/
                   /kitdemo/
Source: README_BIN, updated 2012-04-23