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/_run-sml
ViewVC logotype

Diff of /config/releases/release-110.72/_run-sml

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

revision 722, Mon Nov 6 19:54:32 2000 UTC revision 937, Thu Sep 20 21:20:28 2001 UTC
# Line 53  Line 53 
53  #############################################################################  #############################################################################
54    
55  # special shortcut for frequent use (and for Linux' binfmt)  # special shortcut for frequent use (and for Linux' binfmt)
56  case "$1" in /* | ./* | ../* ) HEAP="@SMLload=$1"; shift ;; esac  if [ `basename $0` = sml ] ; then
57        case "$1" in
58            /* | ./* | ../* )
59                case "$1" in
60                    *.cm | *.sml | *.sig | *.fun )
61                        ;;
62                    * )
63                        HEAP="@SMLload=$1"
64                        shift
65                        ;;
66                esac
67                ;;
68        esac
69    fi
70    
71  ALLOC=""  ALLOC=""
72    
73  #  #
74  # Process command line arguments  # Process command line arguments
75  #  #
 ARGS=""  
76  while [ "$#" != "0" ]; do  while [ "$#" != "0" ]; do
77    arg=$1; shift    arg=$1
78    case $arg in    case $arg in
79      @SMLrun=*)      @SMLrun=*)
80          shift
81        RUN=`echo $arg | sed 's/@SMLrun=//'`        RUN=`echo $arg | sed 's/@SMLrun=//'`
82        ;;        ;;
83      @SMLload=*)      @SMLload=*)
84        HEAP=$arg;        shift
85          HEAP=$arg
86        ;;        ;;
87      @SMLappl)      @SMLappl)
88          shift
89        if [ "$#" = "0" ]; then        if [ "$#" = "0" ]; then
90          echo "$CMD: missing argument for @SMLappl option"          echo "$CMD: missing argument for @SMLappl option"
91          exit 1          exit 1
92        fi        fi
93        APPL=$1; shift        APPL=$1
94          shift
95        ;;        ;;
96      @SMLversion)      @SMLversion)
97        echo "$CMD @VERSION@"        echo "$CMD @VERSION@"
98        exit 0        exit 0
99        ;;        ;;
100      @SMLalloc=*)      @SMLalloc=*)
101          shift
102        ALLOC=$arg        ALLOC=$arg
103        ;;        ;;
104      *)      *)
105        ARGS="$ARGS $arg"        break
106        ;;        ;;
107    esac    esac
108  done  done
# Line 169  Line 186 
186  #  #
187  # run the sucker!  # run the sucker!
188  #  #
189  exec $RUN @SMLcmdname=$0 $HEAP $ALLOC $ARGS  exec $RUN @SMLcmdname=$0 $HEAP $ALLOC "$@"

Legend:
Removed from v.722  
changed lines
  Added in v.937

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