The ML Kit ------------------------------------------------------------ Copyright (C) 1993 by Copenhagen and Edinburgh Universities This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. ------------------------------------------------------------ The GNU General Public License may be found in the file COPYING ------------------------------------------------------------ This file describes how to obtain and install the latest relase of The ML Kit, which is an implementation of Standard ML written in Standard ML. The implementation contains an interpreter and a compiler. The interface is however the same; the compiler compiles to lambda code which is interpreted. This distribution also contains documentation of the implementation; we urge the user to read the documentation. Send comments and bug reports to Lars Birkedal DIKU, University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen East Denmark Email: birkedal@diku.dk FTP distribution instructions ----------------------------- The ML Kit can be obtained by anonymous ftp from both the University of Copenhagen, and the University of Edinburgh: Host ftp.diku.dk Directory diku/users/birkedal Host ftp.lfcs.ed.ac.uk Directory export/ml/mlkit These directories contain this README file, the COPYING file, and the following compressed tar files: src.tar.Z the src directory containing source code doc.tar.Z the doc directory containing documentation tools.tar.Z the tools directory containing some utilities examples.tar.Z the examples directory containing examples Here are sample dialogs ftp ftp.diku.dk ftp ftp.lfcs.ed.ac.uk Name: anonymous Name: anonymous Password: <your loginname@host> Password: <your loginname@host> ftp> binary ftp> binary ftp> cd diku/users/birkedal ftp> cd export/ml/mlkit ftp> get README ftp> get README ftp> get COPYING ftp> get COPYING ftp> get src.tar.Z ftp> get src.tar.Z ftp> get doc.tar.Z ftp> get doc.tar.Z ftp> get tools.tar.Z ftp> get tools.tar.Z ftp> get examples.tar.Z ftp> get examples.tar.Z ftp> bye ftp> bye After the files are transferred they should be uncompressed and then extracted using tar into a directory called Kit. For example mkdir Kit mv src.tar.Z Kit cd Kit zcat src.tar.Z | tar xf - will install the src directory (i.e., a directory src appears in directory Kit). Installation ------------ No executable version of the Kit is supplied, i.e., you have to compile the sources yourself. However, this is easily done as described below. The Kit can be compiled using either Standard ML of New Jersey or Poly/ML. However, a stand-alone batch version can only be made using SML/NJ. The tools directory is needed to compile with as described below. Notice, that the executables will be big (around nine megabytes) and it is preferable if you compile using a machine with a lot of memory (it takes around 10 minutes to compile under SML/NJ on a SPARC station with 64 Mb of memory.) SML/NJ is available from LFCS, as above, but in directory export/ml/njml. Poly ML is a commercially supported system, available from Abstract Hardware Ltd. (ahl@ahl.co.uk) The Edinburgh Standard ML Library is in the public domain and is available from LFCS in the directory export/ml/library. Compilation under Standard ML of New Jersey We assume you have a version of SML/NJ with the Edinburgh Standard ML Library loaded (either the full library, or just the Make facility). Then change directory to the src directory and set the variable NJSML in the Makefile to the name of your executable version of SML/NJ. When the Makefile has been modified use one of the commands below to build either the interpreter, the compiler or the batch interpreter. Command Builds ------------------------------------------------------------------ make kit-int-NJ The interpreter, an executable file kit is made make kit-comp-NJ The compiler, an executable file kit is made make kit-batch-NJ The batch interpreter, an executable file evalFile is made We recommend to build the interpreter and perhaps also the batch interpreter as the compiler is incomplete. Compilation under Poly/ML We assume you have a database file with the Edinburgh Standard ML Library (either the full library, or just the Make facility). Then simply change directory to the src directory and set the variables POLYDATABASEFILE and POLY in the Makefile. When the Makefile has been modified use one of the commands below to build either the interpreter or the compiler (no batch system is provided) Command Builds ------------------------------------------------------------------ make kit-int-Poly The interpreter, a child database called kit is made make kit-comp-Poly The compiler, a child database called kit is made The database containing the Library is first copied such that this database is not modified by the installation. We recommend to build the interpreter as the compiler is incomplete.
Name Last modified Size Description
COPYING 1993-03-09 17:35 18K doc.tar.Z 1993-03-09 17:40 448K examples.tar.Z 1993-03-09 17:40 403 src.tar.Z 1993-03-09 17:44 439K tools.tar.Z 1993-03-09 17:44 2.0K