-
Notifications
You must be signed in to change notification settings - Fork 0
/
install.txt.w32
84 lines (62 loc) · 3.49 KB
/
install.txt.w32
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
File install.txt.w32 for Moscow ML 2.10.1 for Win95/98/ME/NT/2000/XP/?? (August 2014)
SYSTEM REQUIREMENTS
Moscow ML requires Windows 95, 98, ME, NT, 2000, XP or higher. The
installation requires around 18 MB disk space.
INSTALLING MOSCOW ML (BINARIES ONLY) UNDER WINDOWS 95/98/ME/NT/2000/XP/??
(1) Change directory to C:\ and unpack the Moscow ML distribution
by executing
unzip mosml-2.10.1.windows-bin.zip
NOTE: You must use a version of unzip that preserves long file
names, such as Info-Zip or Winzip.
This creates a directory C:\mosml with subdirectories
mosml/ readme, install.txt
bin/ mosml, mosmlc, mosmllex, mosmlyac, camlrunm,
and the dynamically loadable libraries
copyrght/ copyright notices
doc/ manual.pdf, mosmlref.pdf, mosmllib.pdf, ...
mosmllib/ HTML-documentation of the Moscow ML library
examples/ a few example programs
lib/ bytecode files and basis library units
tools/ mosmldep, Makefile.stub
(2) Add C:\mosml\bin to the PATH variable, and set the environment
variable `mosmllib' to C:\mosml\lib.
(a) In the case of Windows 95/98/ME your AUTOEXEC.BAT file should
contain something like:
set PATH=C:\dos; ... ;C:\mosml\bin
set MOSMLLIB=C:\mosml\lib
The system must be rebooted to enable the new environment
variables.
(b) In the case of Windows NT/2000/XP, choose
Start | Settings | Control Panel | System | Advanced
| Environment Variables | System Variables | New
Enter MOSMLLIB as Variable Name and C:\mosml\lib as Variable Value.
Double-click on Path and add ;C:\mosml\bin to the Variable Value.
(3) Start Moscow ML by entering the command line
mosml
To quit Moscow ML, type `quit();' or control-Z and return.
AUTHOR AND CREDITS
Moscow ML was written by
Sergei Romanenko ([email protected])
Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
Miusskaya Pl. 4, 125047 Moscow, Russia
and Claudio V. Russo ([email protected]), University of Cambridge.
Thanks to Don Sannella at LFCS, Division of Informatics,
University of Edinburgh for funding under EPSRC grant GR/K63795
and Peter Sestoft ([email protected]),
Department of Mathematics and Physics, Royal Veterinary and
Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C,
Denmark. Much of the work was done at the Technical University of
Denmark, and while visiting AT&T Bell Laboratories, New Jersey, USA.
Moscow ML owes much to:
* the CAML Light implementation by Xavier Leroy and Damien Doligez
(INRIA, Rocquencourt, France); especially the Caml Light bytecode
generator and the runtime system;
* the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
(Copenhagen University, Denmark, and Edinburgh University, Scotland);
* inspiration from the SML/NJ compiler developed at Princeton
University and AT&T Bell Laboratories, New Jersey, USA;
* the good work by Doug Currie, Flavors Technology, USA, on the
MacOS port and many improvements; and
* feedback, contributions, and useful suggestions, in particular
from Ken Friis Larsen, but also from Jonas Barklund, Mike Gordon,
Michael Norrish, Konrad Slind, and numerous other people.