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 1038, Mon Jan 28 00:18:03 2002 UTC revision 1145, Fri Mar 15 02:30:53 2002 UTC
# Line 9  Line 9 
9  # by M.Blume (2/2000).  # by M.Blume (2/2000).
10  #  #
11    
12    if [ x${INSTALL_QUIETLY} = xtrue ] ; then
13        export CM_VERBOSE=false
14    fi
15    
16    vsay() {
17        if [ x${INSTALL_DEBUG} = xtrue ] ; then
18            echo "$@"
19        elif [ x${INSTALL_QUIETLY} = xtrue ] ; then
20            :
21        else
22            echo "$@"
23        fi
24    }
25    
26    dsay() {
27        if [ x${INSTALL_DEBUG} = xtrue ] ; then
28            echo "$@"
29        fi
30    }
31    
32    complain() {
33        echo "$@"
34        exit 1
35    }
36    
37    # The following variable holds the name of all possible targets.
38    # The names must occur in the order in which targets are to be built.
39    ALLTARGETS=\
40    "src-smlnj \
41     ml-yacc \
42     ml-lex \
43     ml-burg \
44     ml-nlffigen \
45     smlnj-lib \
46     cml \
47     cml-lib \
48     eXene \
49     ckit \
50     ml-nlffi-lib \
51     pgraph-util \
52     mlrisc-tools \
53     nowhere \
54     doc"
55    
56  this=$0  this=$0
57    
58    # By default, move libraries to lib directory:
59    MOVE_LIBRARIES=true
60    
61    # function to be used in config/targets:
62    dont_move_libraries() { MOVE_LIBRARIES=false ; }
63    
64    # Initialize target list.
65    TARGETS=""
66    
67    # function to be used in config/targets:
68    request() { TARGETS="$TARGETS $1" ; }
69    
70  #  #
71  # get the target list  # get the target list
72  #  #
73  if [ -r config/targets.customized ] ; then  if [ -r config/targets.customized ] ; then
74      . config/targets.customized      . config/targets.customized
75  elif [ ! -r config/targets ]; then  elif [ ! -r config/targets ]; then
76      echo "$this: !!! File config/targets is missing."      complain "$this: !!! File config/targets is missing."
     exit 1  
77  else  else
78      . config/targets      . config/targets
79  fi  fi
80    
81  #  #
82    # resolve dependencies
83    #
84    isnotin() {
85        tested_x=$1
86        shift
87        for set_y in "$@" ; do
88            if [ ${tested_x} = ${set_y} ] ; then
89                return 1
90            fi
91        done
92        return 0
93    }
94    
95    require() {
96        require_who=$1
97        shift
98        if isnotin ${require_who} ${TARGETS} ; then
99            :
100        else
101            for required_x in "$@" ; do
102                if isnotin ${required_x} ${TARGETS} ; then
103                    echo "Including ${required_x} (needed by ${require_who})."
104                    request ${required_x}
105                    CHANGED=true
106                fi
107            done
108        fi
109    }
110    
111    onepass() {
112        while read depline ; do
113            require $depline
114        done
115    }
116    
117    if [ -r config/dependencies ] ; then
118        CHANGED=true
119        while [ $CHANGED = true ]; do
120            CHANGED=false
121            onepass <config/dependencies
122        done
123    fi
124    
125    #
126    # Rebuild target list using the order defined by ALLTARGETS.
127    #
128    NEWTARGETS=""
129    for t in ${ALLTARGETS} ; do
130        if isnotin $t ${TARGETS} ; then
131            :
132        else
133            NEWTARGETS="$NEWTARGETS $t"
134        fi
135    done
136    TARGETS=$NEWTARGETS
137    
138    #
139  # create the preloads.standard file  # create the preloads.standard file
140  #  #
141  if [ ! -r config/preloads ]; then  if [ ! -r config/preloads ]; then
142      echo "$this: !!! File config/preloads is missing."      complain "$this: !!! File config/preloads is missing."
     exit 1  
143  fi  fi
144  cp config/preloads preloads.standard  cp config/preloads preloads.standard
145    
# Line 45  Line 156 
156  unset CM_PATHCONFIG  unset CM_PATHCONFIG
157    
158  SHELL=/bin/sh  SHELL=/bin/sh
159  echo $this: Using shell $SHELL.  vsay $this: Using shell $SHELL.
160    
161  #  #
162  # set the SML root directory  # set the SML root directory
163  #  #
164  REAL_PWD=`pwd`  REAL_PWD=`pwd`
165  ROOT=${PWD:-$REAL_PWD}  ROOT=${PWD:-$REAL_PWD}
166  echo $this: SML root is $ROOT.  vsay $this: SML root is $ROOT.
167  echo $this: Installation directory is ${INSTALLDIR:=$ROOT}.  vsay $this: Installation directory is ${INSTALLDIR:=$ROOT}.
168    
169  #  #
170  # set the various directory and file pathname variables  # set the various directory and file pathname variables
# Line 69  Line 180 
180  LIBMOVESCRIPT=$ROOT/libmove     # a temporary script  LIBMOVESCRIPT=$ROOT/libmove     # a temporary script
181  LOCALPATHCONFIG=$INSTALLDIR/pathconfig # a temporary pathconfig file  LOCALPATHCONFIG=$INSTALLDIR/pathconfig # a temporary pathconfig file
182    
 URLGETTER=unknown  
   
183  #  #
184  # The path to the dir where ml-yacc, ml-burg, ml-lex, ml-build, and  # The path to the dir where ml-yacc, ml-burg, ml-lex, ml-build, and
185  # ml-makedepend live.  This path will be interpreted relative to $LIBDIR.  # ml-makedepend live.  This path will be interpreted relative to $LIBDIR.
# Line 110  Line 219 
219  # the release version that we are installing  # the release version that we are installing
220  #  #
221  VERSION=`cat $CONFIGDIR/version`  VERSION=`cat $CONFIGDIR/version`
222  echo $this: Installing version $VERSION.  vsay $this: Installing version $VERSION.
223    
224  #  #
225  # the URL for the (usually remote) source archive  # the URL for the (usually remote) source archive
226  #  #
227  SRCARCHIVEURL=`cat $CONFIGDIR/srcarchiveurl`  SRCARCHIVEURL=`cat $CONFIGDIR/srcarchiveurl`
228  echo $this: URL of source archive is $SRCARCHIVEURL.  vsay $this: URL of source archive is $SRCARCHIVEURL.
229    
230  #  #
231  # Function to make a directory including its ancestors.  # Function to make a directory including its ancestors.
# Line 128  Line 237 
237          :          :
238      else      else
239          makedir `dirname $1`          makedir `dirname $1`
240          echo "$this: Making directory $1"          if [ x${INSTALL_VERBOSE} = xtrue ] ; then
241                vsay "$this: Making directory $1"
242            fi
243          if mkdir $1 ; then          if mkdir $1 ; then
244              :              :
245          else          else
246              echo "$this: !!! Unable to make directory $1!"              complain "$this: !!! Unable to make directory $1!"
             exit 1  
247          fi          fi
248      fi      fi
249  }  }
# Line 161  Line 271 
271  #  #
272  fetchurl() {  fetchurl() {
273      getter=$1 ; shift      getter=$1 ; shift
274      echo $this: Fetching $1 from $3. Please stand by...      vsay $this: Fetching $1 from $3. Please stand by...
275      fetched=no      fetched=no
276      for base in $2 $VERSION-$2 ; do      for base in $2 $VERSION-$2 ; do
277          for ext in tar.gz tgz tar.Z tz tar tar.bz2 ; do          for ext in tar.gz tgz tar.Z tz tar tar.bz2 ; do
278              try=$base.$ext              try=$base.$ext
279              echo $this: Trying $try ...              vsay $this: Trying $try ...
280              if $getter $3 $try $ROOT/$try ; then              if $getter $3/$try $ROOT/$try ; then
281                  fetched=yes                  fetched=yes
282                  echo $this: Fetching $try was a success.                  vsay $this: Fetching $try was a success.
283                  break 2         # get out of both for-loops                  break 2         # get out of both for-loops
284              else              else
285                  rm -f $ROOT/$try                  rm -f $ROOT/$try
# Line 183  Line 293 
293      fi      fi
294  }  }
295    
296    # wrapper for wget
297  usewget() {  usewget() {
298      wget -nv -O $3 $1/$2      wget -nv -O $2 $1
299  }  }
300    
301    # wrapper for lynx
302  uselynx() {  uselynx() {
303      lynx -source $1/$2 >$3      lynx -source $1 >$2
304  }  }
305    
306    # wrapper for curl
307  usecurl() {  usecurl() {
308      curl -s $1/$2 >$3      curl -s $1 >$2
309  }  }
310    
311  testurlgetter() {  testurlgetter() {
# Line 201  Line 314 
314    
315  #  #
316  # Function to check whether wget or lynx is available.  # Function to check whether wget or lynx is available.
317  # Set URLGETTER accordingly.  # Set URLGETTER accordingly.  URLGETTER can be set externally
318    # to either 'wget' or 'curl' or 'lynx' -- in which case the
319    # corresponding command will be used (properly wrapped).  Any
320    # other external setting will be passed directly to fetchurl (without
321    # wrapping -- meaning it must take precisely two argumets: source and
322    # destination, in that order).
323  #  #
324  urlgetter() {  urlgetter() {
325      if [ "$URLGETTER" = unknown ] ; then      case ${URLGETTER:-unknown} in
326            fetchurl*)
327                ;;
328            unknown)
329                # automatically figure out which wrapper to use
330          if testurlgetter wget --help ; then          if testurlgetter wget --help ; then
331              URLGETTER="fetchurl usewget"              URLGETTER="fetchurl usewget"
332          elif testurlgetter curl --help ; then              elif testurlgetter curl -s -O file:///dev/null -o /dev/null ; then
333              URLGETTER="fetchurl usecurl"              URLGETTER="fetchurl usecurl"
334          elif testurlgetter lynx -help ; then          elif testurlgetter lynx -help ; then
335              URLGETTER="fetchurl uselynx"              URLGETTER="fetchurl uselynx"
336          else          else
337              URLGETTER="askurl"              URLGETTER="askurl"
338          fi          fi
339      fi              ;;
340            wget|curl|lynx)
341                # special getters we know how to wrap
342                URLGETTER="fetchurl use${URLGETTER}"
343                ;;
344            *)
345                # other -- must be able to work without wrapper
346                URLGETTER="fetchurl ${URLGETTER}"
347                ;;
348        esac
349  }  }
350    
351    # wrapper for tar
352  un_tar() {  un_tar() {
353      echo "$this: Un-TAR-ing $1 archive."      vsay "$this: Un-TAR-ing $1 archive."
354      tar -xf $2      tar -xf $2
355  }  }
356    
357    # wrapper for zcat followed by tar
358  un_tar_Z() {  un_tar_Z() {
359      echo "$this: Un-COMPRESS-ing and un-TAR-ing $1 archive."      vsay "$this: Un-COMPRESS-ing and un-TAR-ing $1 archive."
360      zcat $2 | tar -xf -      zcat $2 | tar -xf -
361  }  }
362    
363    # wrapper for gunzip followed by tar
364  un_tar_gz() {  un_tar_gz() {
365      echo "$this: Un-GZIP-ing and un-TAR-ing $1 archive."      vsay "$this: Un-GZIP-ing and un-TAR-ing $1 archive."
366      gunzip -c $2 | tar -xf -      gunzip -c $2 | tar -xf -
367  }  }
368    
369    # wrapper for bunzip2 followed by tar
370  un_tar_bz2() {  un_tar_bz2() {
371      echo "$this: Un-BZIP2-ing and un-TAR-ing $1 archive."      vsay "$this: Un-BZIP2-ing and un-TAR-ing $1 archive."
372      bunzip2 -c $2 | tar -xf -      bunzip2 -c $2 | tar -xf -
373  }  }
374    
375    # unarchive archive without and with version number attached
376  unarchive() {  unarchive() {
377      # $1: descriptive string, $2: archive, $3: unpacker      # $1: descriptive string, $2: archive, $3: unpacker
378      if [ -r $ROOT/$2 ] ; then      if [ -r $ROOT/$2 ] ; then
# Line 267  Line 403 
403         unarchive "$1" $4.tgz un_tar_gz ||         unarchive "$1" $4.tgz un_tar_gz ||
404         unarchive "$1" $4.tar.Z un_tar_Z ||         unarchive "$1" $4.tar.Z un_tar_Z ||
405         unarchive "$1" $4.tar un_tar ||         unarchive "$1" $4.tar un_tar ||
406         unarchive "$1" $4.tar.bz1 un_tar_bz2 ||         unarchive "$1" $4.tar.bz2 un_tar_bz2 ||
407         unarchive "$1" $4.tz un_tar_Z         unarchive "$1" $4.tz un_tar_Z
408      then      then
409          : we are done          : we are done
# Line 285  Line 421 
421  unpack() {  unpack() {
422      tryfetch=yes      tryfetch=yes
423      if [ -d $2/$3 ]; then      if [ -d $2/$3 ]; then
424          echo "$this: The $1 tree already exists."          vsay "$this: The $1 tree already exists."
425      else      else
426          fetch_n_unpack "$1" "$2" "$3" "$4"          fetch_n_unpack "$1" "$2" "$3" "$4"
427      fi      fi
428      if [ ! -d $2/$3 ]; then      if [ ! -d $2/$3 ]; then
429          echo "$this: !!! Unable to unpack $1 archive."          complain "$this: !!! Unable to unpack $1 archive."
         exit 1  
430      fi      fi
431  }  }
432    
# Line 303  Line 438 
438      if [ -d $1 ] ; then      if [ -d $1 ] ; then
439          if [ ! -d $2 ] ; then          if [ ! -d $2 ] ; then
440              if [ -f $2 ] ; then              if [ -f $2 ] ; then
441                  echo $this: $2 exists as a non-directory.                  complain $this: $2 exists as a non-directory.
                 exit 1  
442              fi              fi
443              mkdir $2              mkdir $2
444          fi          fi
# Line 364  Line 498 
498      fi      fi
499    
500      if [ -f ${FINALLOC} ] ; then      if [ -f ${FINALLOC} ] ; then
501          echo "$this: Library ${LIBNAME} already exists in ${FINALLOC}"          vsay "$this: Library ${LIBNAME} already exists in ${FINALLOC}"
502      else      else
503          echo "$this: Scheduling library ${LIBNAME} to be built as ${FINALLOC}."          vsay "$this: Scheduling library ${LIBNAME} to be built as ${FINALLOC}."
504          echo "  andalso CM.stabilize false \"${LIBNAME}\"" >>${LIBLIST}          echo "  andalso CM.stabilize false \"${LIBNAME}\"" >>${LIBLIST}
505          echo ${ANCHOR} ${ADIR} >>${LOCALPATHCONFIG}          echo ${ANCHOR} ${ADIR} >>${LOCALPATHCONFIG}
506          if [ x$MOVE_LIBRARIES = xtrue ] ; then          if [ x$MOVE_LIBRARIES = xtrue ] ; then
# Line 399  Line 533 
533           MYSRCDIR=$SRCDIR           MYSRCDIR=$SRCDIR
534      fi      fi
535      if [ -r $HEAPDIR/$TARGET ] ; then      if [ -r $HEAPDIR/$TARGET ] ; then
536          echo $this: Target $TARGET already exists.          vsay $this: Target $TARGET already exists.
537      else      else
538          echo $this: Building $TARGET.          echo $this: Building $TARGET.
539          unpack $2 $MYSRCDIR $1 $1          unpack $2 $MYSRCDIR $1 $1
# Line 419  Line 553 
553      fi      fi
554  }  }
555    
556    ######################################################################
557    
558  #  #
559  # create the various sub directories  # create the various sub directories
560  #  #
# Line 430  Line 566 
566  # install the script that tests the architecture, and make sure that it works  # install the script that tests the architecture, and make sure that it works
567  #  #
568  if [ -x $BINDIR/.arch-n-opsys ]; then  if [ -x $BINDIR/.arch-n-opsys ]; then
569      echo $this: Script $BINDIR/.arch-n-opsys already exists.      vsay $this: Script $BINDIR/.arch-n-opsys already exists.
570  else  else
571      cat $CONFIGDIR/_arch-n-opsys \      cat $CONFIGDIR/_arch-n-opsys \
572      | sed -e "s,@SHELL@,$SHELL,g" > $BINDIR/.arch-n-opsys      | sed -e "s,@SHELL@,$SHELL,g" > $BINDIR/.arch-n-opsys
573      chmod 555 $BINDIR/.arch-n-opsys      chmod 555 $BINDIR/.arch-n-opsys
574      if [ ! -x $BINDIR/.arch-n-opsys ]; then      if [ ! -x $BINDIR/.arch-n-opsys ]; then
575          echo "$this: !!! Installation of $BINDIR/.arch-n-opsys failed."          complain "$this: !!! Installation of $BINDIR/.arch-n-opsys failed."
         exit 1  
576      fi      fi
577  fi  fi
578    
# Line 447  Line 582 
582      echo "$this: !!! You must patch this by hand and repeat the installation."      echo "$this: !!! You must patch this by hand and repeat the installation."
583      exit 2      exit 2
584  else  else
585      echo $this: Script $BINDIR/.arch-n-opsys reports $ARCH_N_OPSYS.      vsay $this: Script $BINDIR/.arch-n-opsys reports $ARCH_N_OPSYS.
586  fi  fi
587  eval $ARCH_N_OPSYS  eval $ARCH_N_OPSYS
588    
# Line 473  Line 608 
608              > $BINDIR/$ddst              > $BINDIR/$ddst
609          chmod 555 $BINDIR/$ddst          chmod 555 $BINDIR/$ddst
610          if [ ! -x $BINDIR/$ddst ]; then          if [ ! -x $BINDIR/$ddst ]; then
611              echo "$this: !!! Installation of $BINDIR/${ddst} failed."              complain "$this: !!! Installation of $BINDIR/${ddst} failed."
             exit 1  
612          fi          fi
613  #   fi  #   fi
614  }  }
# Line 514  Line 648 
648      linux)      linux)
649          EXTRA_DEFS=`$CONFIGDIR/chk-global-names.sh`          EXTRA_DEFS=`$CONFIGDIR/chk-global-names.sh`
650          if [ "$?" != "0" ]; then          if [ "$?" != "0" ]; then
651              echo "$this: !!! Problems checking for underscores in asm names."              complain "$this: !!! Problems checking for underscores in asm names."
             exit 1  
652          fi          fi
653          EXTRA_DEFS="XDEFS=$EXTRA_DEFS"          EXTRA_DEFS="XDEFS=$EXTRA_DEFS"
654          ;;          ;;
# Line 532  Line 665 
665  #  #
666  unpack "run-time" $SRCDIR runtime runtime  unpack "run-time" $SRCDIR runtime runtime
667  if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then  if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then
668      echo $this: Run-time system already exists.      vsay $this: Run-time system already exists.
669  else  else
670      cd $SRCDIR/runtime/objs      cd $SRCDIR/runtime/objs
671      echo $this: Compiling the run-time system.      echo $this: Compiling the run-time system.
# Line 541  Line 674 
674          mv run.$ARCH-$OPSYS $RUNDIR          mv run.$ARCH-$OPSYS $RUNDIR
675          $MAKE MAKE=$MAKE clean          $MAKE MAKE=$MAKE clean
676      else      else
677          echo "$this: !!! Run-time system build failed for some reason."          complain "$this: !!! Run-time system build failed for some reason."
         exit 1  
678      fi      fi
679  fi  fi
680  cd $SRCDIR  cd $SRCDIR
# Line 551  Line 683 
683  # boot the base SML system  # boot the base SML system
684  #  #
685  if [ -r $HEAPDIR/sml.$HEAP_SUFFIX ]; then  if [ -r $HEAPDIR/sml.$HEAP_SUFFIX ]; then
686      echo $this: Heap image $HEAPDIR/sml.$HEAP_SUFFIX already exists.      vsay $this: Heap image $HEAPDIR/sml.$HEAP_SUFFIX already exists.
687  else  else
688      unpack bin $ROOT $BOOT_FILES $BOOT_ARCHIVE      unpack bin $ROOT $BOOT_FILES $BOOT_ARCHIVE
689      cd $ROOT/$BOOT_FILES      cd $ROOT/$BOOT_FILES
# Line 578  Line 710 
710              rm -rf $BOOT_FILES              rm -rf $BOOT_FILES
711    
712          else          else
713              echo "$this !!! No heap image generated (sml.$HEAP_SUFFIX)."              complain "$this !!! No heap image generated (sml.$HEAP_SUFFIX)."
             exit 1  
714          fi          fi
715      else      else
716          echo "$this !!! Boot code failed, no heap image (sml.$HEAP_SUFFIX)."          complain "$this !!! Boot code failed, no heap image (sml.$HEAP_SUFFIX)."
         exit 1  
717      fi      fi
718  fi  fi
719    
# Line 598  Line 728 
728  # now build (or prepare to build) the individual targets  # now build (or prepare to build) the individual targets
729  #  #
730  cd $SRCDIR  cd $SRCDIR
731  echo $this: Installing other targets.  vsay $this: Installing other targets.
732  for i in $TARGETS ; do  for i in $TARGETS ; do
733      case $i in      case $i in
734        src-smlnj)        src-smlnj)
# Line 633  Line 763 
763              #reglib html-lib.cm html-lib.cm smlnj-lib/HTML              #reglib html-lib.cm html-lib.cm smlnj-lib/HTML
764          # ... and don't make the PP library ...          # ... and don't make the PP library ...
765              #reglib pp-lib.cm pp-lib.cm smlnj-lib/PP              #reglib pp-lib.cm pp-lib.cm smlnj-lib/PP
766            # ... and don't make the controls library ...
767                #reglib controls-lib.cm controls-lib.cm smlnj-lib/Controls
768          # make the Unix library          # make the Unix library
769              reglib unix-lib.cm unix-lib.cm smlnj-lib/Unix              reglib unix-lib.cm unix-lib.cm smlnj-lib/Unix
770          # make the INet library          # make the INet library
# Line 641  Line 773 
773              reglib regexp-lib.cm regexp-lib.cm smlnj-lib/RegExp              reglib regexp-lib.cm regexp-lib.cm smlnj-lib/RegExp
774          # make the Reactive library          # make the Reactive library
775              reglib reactive-lib.cm reactive-lib.cm smlnj-lib/Reactive              reglib reactive-lib.cm reactive-lib.cm smlnj-lib/Reactive
776            # make the HashCons library
777                reglib hash-cons-lib.cm hash-cons-lib.cm smlnj-lib/HashCons
778          ;;          ;;
779        cml)        cml)
780          unpack CML $SRCDIR cml cml          unpack CML $SRCDIR cml cml
# Line 664  Line 798 
798          ;;          ;;
799        ml-nlffi-lib)        ml-nlffi-lib)
800          unpack "NLFFI Library" $SRCDIR ml-nlffi-lib ml-nlffi-lib          unpack "NLFFI Library" $SRCDIR ml-nlffi-lib ml-nlffi-lib
801          reglib memory.cm memory.cm ml-nlffi-lib/memory          reglib c memory/memory.cm ml-nlffi-lib
802          reglib c-int.cm c-int.cm ml-nlffi-lib/internals          reglib c internals/c-int.cm ml-nlffi-lib
803          reglib c.cm c.cm ml-nlffi-lib          reglib c c.cm ml-nlffi-lib
804          ;;          ;;
805        pgraph-util)        pgraph-util)
806          unpack "CM source code" $SRCDIR cm cm          unpack "CM source code" $SRCDIR cm cm
# Line 682  Line 816 
816          reglib mlrisc-tools match-compiler.cm MLRISC/Tools          reglib mlrisc-tools match-compiler.cm MLRISC/Tools
817          ;;          ;;
818        nowhere)        nowhere)
819            unpack "MLRISC Tools Library" $SRCDIR MLRISC MLRISC
820          echo standalone nowhere NoWhere . MLRISC/Tools >>$LATESTANDALONES          echo standalone nowhere NoWhere . MLRISC/Tools >>$LATESTANDALONES
821          echo nowhere $TOOLDIR >>$CM_PATHCONFIG_DEFAULT          echo nowhere $TOOLDIR >>$CM_PATHCONFIG_DEFAULT
822          ;;          ;;
823        doc)        doc)
824          unpack Doc $ROOT doc doc          echo Package doc is currently unavailable.
825          cd $ROOT/doc          # unpack Doc $ROOT doc doc
826          build $ROOT          # cd $ROOT/doc
827            # build $ROOT
828          ;;          ;;
829        *)        *)
830          echo "$this: !!! Unknown target $i."          echo "$this: !!! Unknown target $i."
# Line 705  Line 841 
841  echo $this: Compiling library code.  echo $this: Compiling library code.
842  echo 'then OS.Process.success else OS.Process.failure));' >>$LIBLIST  echo 'then OS.Process.success else OS.Process.failure));' >>$LIBLIST
843  if CM_LOCAL_PATHCONFIG=$LOCALPATHCONFIG $BINDIR/sml <$LIBLIST ; then  if CM_LOCAL_PATHCONFIG=$LOCALPATHCONFIG $BINDIR/sml <$LIBLIST ; then
844      echo $this: Libraries compiled successfully.      vsay $this: Libraries compiled successfully.
845  else  else
846      echo "$this: !!! Something went wrong when compiling the libraries."      complain "$this: !!! Something went wrong when compiling the libraries."
     exit 1  
847  fi  fi
848    
849  #  #
# Line 716  Line 851 
851  #  #
852    
853  if [ -r $LIBMOVESCRIPT ] ; then  if [ -r $LIBMOVESCRIPT ] ; then
854      echo $this: Moving libraries to $LIBDIR.      vsay $this: Moving libraries to $LIBDIR.
855      . $LIBMOVESCRIPT      . $LIBMOVESCRIPT
856  fi  fi
857    
# Line 726  Line 861 
861  #  #
862    
863  if [ -r $LATESTANDALONES ] ; then  if [ -r $LATESTANDALONES ] ; then
864      echo $this: Building late standalone programs.      vsay $this: Building late standalone programs.
865      . $LATESTANDALONES      . $LATESTANDALONES
866  fi  fi
867    

Legend:
Removed from v.1038  
changed lines
  Added in v.1145

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