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

Diff of /config/releases/release-110.72/install.sh

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

revision 1385, Fri Sep 19 20:55:21 2003 UTC revision 1391, Wed Sep 24 21:31:51 2003 UTC
# Line 376  Line 376 
376  cd $ROOT  cd $ROOT
377    
378  #  #
379  # Now do all the rest using the libinstall.sml script:  # Now do all the rest using the precompiled installer:
380  #  #
381  echo $this: Installing other libraries and programs:  echo $this: Installing other libraries and programs:
382  if $BINDIR/sml $CONFIGDIR/libinstall.sml <<EOF  export ROOT CONFIGDIR BINDIR
383  LibInstall.proc { smlnjroot = "${ROOT}",  if $BINDIR/sml -m \$smlnj/installer.cm
                   buildcmd = "CM_LOCAL_PATHCONFIG=/dev/null ./build",  
                   unpackcmd = SOME "$CONFIGDIR/unpack",  
                   instcmd = fn target => let  
                               val new = "$BINDIR/" ^ target  
                             in  
                                if OS.FileSys.access (new, []) then ()  
                                else  
                                  Posix.FileSys.symlink  
                                     { old = "$BINDIR/.run-sml",  
                                       new = new }  
                              end }  
 EOF  
384  then  then
385      vsay $this: Installation complete.      vsay $this: Installation complete.
386  else  else

Legend:
Removed from v.1385  
changed lines
  Added in v.1391

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