Mentions the possibility of pathnames in ISABELLECOMP;
authorpaulson
Mon Oct 21 11:37:21 1996 +0200 (1996-10-21)
changeset 21191d8ae796f3bf
parent 2118 7c12923a50c6
child 2120 df91b1610c05
Mentions the possibility of pathnames in ISABELLECOMP;
README
     1.1 --- a/README	Mon Oct 21 11:36:57 1996 +0200
     1.2 +++ b/README	Mon Oct 21 11:37:21 1996 +0200
     1.3 @@ -37,10 +37,10 @@
     1.4  ML_DBASE is an *absolute* pathname to the initial Poly/ML database.  It is not
     1.5  required for New Jersey ML.
     1.6  
     1.7 -ISABELLECOMP is the ML compiler, typically "poly -noDisplay" or "sml".  If
     1.8 -ISABELLECOMP begins with the letters "poly" then the Makefiles assume that
     1.9 -it is Poly/ML; if it begins with the letters "sml" then they assume
    1.10 -Standard ML of New Jersey.  
    1.11 +ISABELLECOMP is the ML compiler, typically "poly -noDisplay" or "/bin/sml".
    1.12 +If, after stripping a leading pathname, the compiler begins with the letters
    1.13 +"poly" then the Makefiles assume Poly/ML.  If it begins with the letters "sml"
    1.14 +then they assume Standard ML of New Jersey.
    1.15  
    1.16  If a Poly/ML session fails with the message "Run out of store" then you
    1.17  have used up the entire heap.  If your tactic is not in a loop, allocating