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/config/install.sh
ViewVC logotype

Diff of /sml/trunk/config/install.sh

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

revision 537, Fri Feb 18 17:20:16 2000 UTC revision 569, Tue Mar 7 04:01:07 2000 UTC
# Line 63  Line 63 
63  TOOLDIR=$BINDIR  TOOLDIR=$BINDIR
64    
65  #  #
66    # files to be deleted after we are done...
67    #
68    tmpfiles=""
69    tmpfiles="$tmpfiles $ROOT/preloads.standard"
70    tmpfiles="$tmpfiles $LIBLIST"
71    tmpfiles="$tmpfiles $LOCALPATHCONFIG"
72    tmpfiles="$tmpfiles $LIBMOVESCRIPT"
73    #
74    # make sure we always clean up after ourselves...
75    #
76    trap 'rm -f $tmpfiles' 0 1 2 3 15
77    
78    
79    #
80  # set the CM configuration variables (these are environment variables  # set the CM configuration variables (these are environment variables
81  # that will be queried by the bootstrap code)  # that will be queried by the bootstrap code)
82  # Especially important is CM_PATHCONFIG_DEFAULT.  # Especially important is CM_PATHCONFIG_DEFAULT.
# Line 265  Line 279 
279  installdriver() {  installdriver() {
280      dsrc=$1      dsrc=$1
281      ddst=$2      ddst=$2
282      if [ -x $BINDIR/$ddst ]; then  # We install the driver unconditionally. (It would be better to test
283          echo Script $BINDIR/$ddst already exists.  # for an outdated driver script, but not all "test" commands understand
284      else  # the -nt comparison operator....)
285    #   if [ -x $BINDIR/$ddst ]; then
286    #       echo Script $BINDIR/$ddst already exists.
287    #   else
288            rm -f $BINDIR/$ddst
289          cat $CONFIGDIR/$dsrc | \          cat $CONFIGDIR/$dsrc | \
290          sed -e "s,@SHELL@,$SHELL,g" \          sed -e "s,@SHELL@,$SHELL,g" \
291              -e "s,@BINDIR@,$BINDIR," \              -e "s,@BINDIR@,$BINDIR," \
# Line 278  Line 296 
296              echo "!!! Installation of $BINDIR/${ddst} failed."              echo "!!! Installation of $BINDIR/${ddst} failed."
297              exit 1              exit 1
298          fi          fi
299      fi  #   fi
300  }  }
301    
302  installdriver _run-sml .run-sml  installdriver _run-sml .run-sml
# Line 323  Line 341 
341  BOOT_FILES=sml.boot.$ARCH-unix  BOOT_FILES=sml.boot.$ARCH-unix
342    
343  #  #
 # files to be deleted after we are done...  
 #  
 tmpfiles=""  
 tmpfiles="$tmpfiles $ROOT/preloads.standard"  
 tmpfiles="$tmpfiles $ROOT/$LIBLIST"  
 tmpfiles="$tmpfiles $ROOT/$LOCALPATHCONFIG"  
 tmpfiles="$tmpfiles $ROOT/$LIBMOVESCRIPT"  
 #  
 # also remove the boot dir because it won't have anything interesting in  
 # it after we are successful...  
 #  
 tmpfiles="$tmpfiles $ROOT/$BOOT_FILES"  
 #  
 # make sure we always clean up after ourselves...  
 #  
 trap 'rm -rf $tmpfiles' 0 1 2 3 15  
   
 #  
344  # build the run-time system  # build the run-time system
345  #  #
346  unpack "run-time" $SRCDIR runtime $ROOT/$VERSION-runtime  unpack "run-time" $SRCDIR runtime $ROOT/$VERSION-runtime

Legend:
Removed from v.537  
changed lines
  Added in v.569

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