Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/INSTALL
ViewVC logotype

Diff of /sml/trunk/NOTES/INSTALL

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 5872, Mon Oct 21 18:35:46 2019 UTC revision 5873, Mon Oct 21 18:53:04 2019 UTC
# Line 15  Line 15 
15    
16     - Pick a place to do the installation, e.g.     - Pick a place to do the installation, e.g.
17    
18        $ d=/usr/share/smlnj     # or whatever you like        $ d=/usr/local/smlnj     # or whatever you like
19        $ mkdir $d        $ mkdir $d
20        $ cd $d        $ cd $d
21    
22     - Download config.tgz, e.g.     - Download config.tgz, e.g.
23    
24        $ v=110.81               # or whatever is the version you desire        $ v=110.93               # or whatever is the version you desire
25        $ wget http://smlnj.cs.uchicago.edu/dist/working/$v/config.tgz        $ wget http://smlnj.cs.uchicago.edu/dist/working/$v/config.tgz
26    
27     - Gunzip and untar, e.g.     - Gunzip and untar, e.g.
# Line 38  Line 38 
38    
39        $ config/install.sh        $ config/install.sh
40    
41         On the x86-64 (aka amd64) hardware, the installer supports installing
42         either 32- or 64-bit versions of SML/NJ on macOS and Linux.  The
43         relevant options are
44    
45            -default <sz>   -- installs the system with the specified host
46                               size (either 32 or 64 bits) as the default.
47                               Currently, if this option is not specified,
48                               then the default hostsize is 32.
49    
50            -32 | -64       -- installs the specified version of the system,
51                               but does not override the default size.  These
52                               options can be used to install both the 32-
53                               and 64-bit versions in the same location
54                               (by running the install.sh script twice).
55    
56         ** WARNING **
57         The 64-bit version of SML/NJ is new as of 110.94 and has not been
58         as thoroughly tested as the 32-bit version.
59    
60       If the installer complains about not being able to fetch those       If the installer complains about not being able to fetch those
61       tarballs, try step 2.1.       tarballs, try step 2.1.
62    
# Line 254  Line 273 
273     3.2. The install fails with a message about 32-bit support     3.2. The install fails with a message about 32-bit support
274     ----------------------------------------------------------     ----------------------------------------------------------
275    
276     SML/NJ is a 32-bit system.  This means that on a 64-bit architecture,     By default, SML/NJ is a 32-bit system.  We have recently (as of
277     such as the x86-64, there must be support for running 32-bit binaries.     version 110.94) added beta support for 64-bit Linux and macOS
278     On Mac OS X, this is standard, but some 64-bit Linux systems are     systems.  See Section 1 above for more information.
279     not configured with 32-bit support.  In such a case, you will get  
280     the message     To install the 32-bit version on a 64-bit architecture, you must
281       have support for running 32-bit binaries.  On macOS (prior to
282       macOS 10.15 Catalena), this support is standard, but some 64-bit
283       Linux systems are not configured with 32-bit support.  In such a
284       case, you will ge the message
285    
286          !!! SML/NJ requires support for 32-bit executables          !!! SML/NJ requires support for 32-bit executables
287    

Legend:
Removed from v.5872  
changed lines
  Added in v.5873

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