| 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 |
|
|
| 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 |
---------------------------------------------------------------- |
---------------------------------------------------------------- |
Parent Directory
| 
Revision Log
| 
Patch
