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 /pages/trunk/dist/working/110.82/INSTALL
ViewVC logotype

Diff of /pages/trunk/dist/working/110.82/INSTALL

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

revision 4546, Sat Apr 28 15:50:28 2018 UTC revision 4547, Mon Apr 30 19:06:03 2018 UTC
# Line 21  Line 21 
21    
22     - Download config.tgz, e.g.     - Download config.tgz, e.g.
23    
24        $ v=110.79               # or whatever is the version you desire        $ v=110.81               # 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 266  Line 266 
266     to acquire the 32-bit emulation libraries for your particular Linux     to acquire the 32-bit emulation libraries for your particular Linux
267     distribution.     distribution.
268    
269     For Debian and Ubuntu, you will need three packages: gcc-multilib,     For Debian (7.0 Wheezy and later) and recent version of Ubuntu, you will
270     g++-multilib, and ia32-libs. These can be installed using apt-get:     need to enable multiarch support.  See https://wiki.debian.org/Multiarch or
271       https://wiki.ubuntu.com/MultiarchSpec for details, or try the following
272       commands:
273    
274            dpkg --add-architecture i386
275            apt-get update
276            apt-get install libc6:i386
277    
278       For older versions of Debian and Ubuntu, you will need to install three
279       packages using apt-get:
280    
281        apt-get install gcc-multilib g++-multilib ia32-libs        apt-get install gcc-multilib g++-multilib ia32-libs
282    
# Line 276  Line 285 
285    
286        yum install glibc-devel.i686        yum install glibc-devel.i686
287    
288     For Red Hat Enterprise Linux (or CentOS) 6.2, you may also have to     For Red Hat Enterprise Linux (or CentOS), you may also have to
289     install the rpm package libgcc-multilib, e.g.:     install the rpm package libgcc-multilib, e.g.:
290    
291        rpm -ivh libgcc-multilib-4.4.2-5.x86_64.rpm          yum groupinstall "Development tools"
292            yum install libgcc.i686
293            yum install glibc-devel.i686
294    
295       Older instructions for RHEL and CentOS: download the libgcc-multilib package
296       from rpmseek.com and then run
297    
298            rpm -ivh libgcc-multilib-xxx.x86_64.rpm
299    
300       where the libgcc-multilib package is the one you downloaded.
301    
302     where the libgcc-multilib package is downloaded from the rpmseek web site.     For openSUSE use the YaST administration tool to install the gcc-32bit
303       package.
304    
305  ----------------------------------------------------------------------------  ----------------------------------------------------------------------------

Legend:
Removed from v.4546  
changed lines
  Added in v.4547

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