README.html
changeset 3279 815ef5848324
parent 3274 70939b0fadfb
child 3306 13d955a405f3
equal deleted inserted replaced
3278:636322bfd057 3279:815ef5848324
    30 
    30 
    31 Furthermore, it needs the following software, which is not part of the
    31 Furthermore, it needs the following software, which is not part of the
    32 distribution:
    32 distribution:
    33 <ul>
    33 <ul>
    34 <li> A full Standard ML Compiler (e.g. Poly/ML or SML of New Jersey).
    34 <li> A full Standard ML Compiler (e.g. Poly/ML or SML of New Jersey).
    35 <li> The GNU bash shell (version 1.14.x or 2.x).
    35 <li> The GNU bash shell (version 1.x or 2.x).
    36 <li> Perl 5.x - the Pathologically Eclectic Rubbish Lister.
    36 <li> Perl 5.x - the Pathologically Eclectic Rubbish Lister.
    37 </ul>
    37 </ul>
    38 
    38 
    39 The ML system and GNU bash are absolutely essential. Perl is optional
    39 The ML system and GNU bash are absolutely essential. Perl is optional
    40 for core functionality, but still highly recommended.
    40 for core functionality, but still highly recommended.
    42 <p>
    42 <p>
    43 
    43 
    44 The following ML system and platform combinations are known to work
    44 The following ML system and platform combinations are known to work
    45 quite well:
    45 quite well:
    46 <ul>
    46 <ul>
    47 <li> Poly/ML versions 2.x and 3.1 on Suns (running SunOS 4.1.x or
    47 <li> Poly/ML versions 2.x and 3.1 on Suns.
    48 Solaris 2.x).
       
    49 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
    48 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
    50 problems with Linux and HP-UX.
    49 problems with Linux and HP-UX.
    51 <li> SML/NJ 1.07 on Suns, Linux, etc.
    50 <li> SML/NJ 1.07 on Suns, Linux, etc.
    52 <li> SML/NJ 1.09.27 on Suns, Linux, etc.
    51 <li> SML/NJ 1.09.27 on Suns, Linux, etc.
    53 </ul>
    52 </ul>