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/INSTALL
ViewVC logotype

Diff of /sml/trunk/INSTALL

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

revision 1059, Mon Feb 11 17:05:33 2002 UTC revision 1261, Tue Jul 23 15:45:45 2002 UTC
# Line 153  Line 153 
153     2.7.  Can I move files to another directory after the fact?     2.7.  Can I move files to another directory after the fact?
154     -----------------------------------------------------------     -----------------------------------------------------------
155    
156     Yes.  But this requires two small tweaks (points 2. and 3. below).     Yes.
157    
158     Here is the procedure:     Here is the procedure:
159    
# Line 164  Line 164 
164    
165          $ mv $d/{bin,lib} $e          $ mv $d/{bin,lib} $e
166    
167       2. Edit $e/bin/.run-sml and change the value of       2. Before running the "sml" command, set the environment variable
168          the variable BIN_DIR to (the value of) $e/bin.          SMLNJ_HOME to point to $e:
         (If e=/usr/share/smlnj, then the value would have to be  
         /usr/share/smlnj/bin.)  
169    
170       3. Before running the "sml" command, set the environment variable          $ export SMLNJ_HOME=$e
         CM_PATHCONFIG to $e/lib.  You could do this globally, either  
         in a system-wide .profile or even by adding a line, e.g.,  
171    
172             export CM_PATHCONFIG=/usr/share/smlnj/lib          If you want to put the contents of $e/lib somewhere else, then
173            point CM_PATHCONFIG to wherever the path configuration file
174          to $e/bin/.run-sml.          lives.  (The default is $SMLNJ_HOME/lib/pathconfig.)
175    
176          Alternatively, each user who wants to run "sml" could set the          You can also scatter around the contents of $e/lib.  If you do so,
177          variable by him/herself.          you have to edit the path configuration file itself.  See the CM
178            manual for more information on path anchors and path configuration.
179    
180     2.8 Forcing the installer to use a particular URL getter program     2.8 Forcing the installer to use a particular URL getter program
181     ----------------------------------------------------------------     ----------------------------------------------------------------

Legend:
Removed from v.1059  
changed lines
  Added in v.1261

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