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

Diff of /config/trunk/install.sh

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

revision 999, Tue Nov 27 06:28:37 2001 UTC revision 1078, Tue Feb 19 21:26:48 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        for required_x in "$@" ; do
99            if isnotin ${required_x} ${TARGETS} ; then
100                echo "Including ${required_x} (needed by ${require_who})."
101                request ${required_x}
102                CHANGED=true
103            fi
104        done
105    }
106    
107    onepass() {
108        while read depline ; do
109            require $depline
110        done
111    }
112    
113    if [ -r config/dependencies ] ; then
114        CHANGED=true
115        while [ $CHANGED = true ]; do
116            CHANGED=false
117            onepass <config/dependencies
118        done
119    fi
120    
121    #
122    # Rebuild target list using the order defined by ALLTARGETS.
123    #
124    NEWTARGETS=""
125    for t in ${ALLTARGETS} ; do
126        if isnotin $t ${TARGETS} ; then
127            :
128        else
129            NEWTARGETS="$NEWTARGETS $t"
130        fi
131    done
132    TARGETS=$NEWTARGETS
133    
134    #
135  # create the preloads.standard file  # create the preloads.standard file
136  #  #
137  if [ ! -r config/preloads ]; then  if [ ! -r config/preloads ]; then
138      echo "$this: !!! File config/preloads is missing."      complain "$this: !!! File config/preloads is missing."
     exit 1  
139  fi  fi
140  cp config/preloads preloads.standard  cp config/preloads preloads.standard
141    
# Line 45  Line 152 
152  unset CM_PATHCONFIG  unset CM_PATHCONFIG
153    
154  SHELL=/bin/sh  SHELL=/bin/sh
155  echo $this: Using shell $SHELL.  vsay $this: Using shell $SHELL.
156    
157  #  #
158  # set the SML root directory  # set the SML root directory
159  #  #
160  REAL_PWD=`pwd`  REAL_PWD=`pwd`
161  ROOT=${PWD:-$REAL_PWD}  ROOT=${PWD:-$REAL_PWD}
162  echo $this: SML root is $ROOT.  vsay $this: SML root is $ROOT.
163  echo $this: Installation directory is ${INSTALLDIR:=$ROOT}.  vsay $this: Installation directory is ${INSTALLDIR:=$ROOT}.
164    
165  #  #
166  # set the various directory and file pathname variables  # set the various directory and file pathname variables
# Line 69  Line 176 
176  LIBMOVESCRIPT=$ROOT/libmove     # a temporary script  LIBMOVESCRIPT=$ROOT/libmove     # a temporary script
177  LOCALPATHCONFIG=$INSTALLDIR/pathconfig # a temporary pathconfig file  LOCALPATHCONFIG=$INSTALLDIR/pathconfig # a temporary pathconfig file
178    
 URLGETTER=unknown  
   
179  #  #
180  # 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
181  # 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 215 
215  # the release version that we are installing  # the release version that we are installing
216  #  #
217  VERSION=`cat $CONFIGDIR/version`  VERSION=`cat $CONFIGDIR/version`
218  echo $this: Installing version $VERSION.  vsay $this: Installing version $VERSION.
219    
220  #  #
221  # the URL for the (usually remote) source archive  # the URL for the (usually remote) source archive
222  #  #
223  SRCARCHIVEURL=`cat $CONFIGDIR/srcarchiveurl`  SRCARCHIVEURL=`cat $CONFIGDIR/srcarchiveurl`
224  echo $this: URL of source archive is $SRCARCHIVEURL.  vsay $this: URL of source archive is $SRCARCHIVEURL.
225    
226  #  #
227  # Function to make a directory including its ancestors.  # Function to make a directory including its ancestors.
# Line 128  Line 233 
233          :          :
234      else      else
235          makedir `dirname $1`          makedir `dirname $1`
236          echo "$this: Making directory $1"          if [ x${INSTALL_VERBOSE} = xtrue ] ; then
237                vsay "$this: Making directory $1"
238            fi
239          if mkdir $1 ; then          if mkdir $1 ; then
240              :              :
241          else          else
242              echo "$this: !!! Unable to make directory $1!"              complain "$this: !!! Unable to make directory $1!"
             exit 1  
243          fi          fi
244      fi      fi
245  }  }
# Line 161  Line 267 
267  #  #
268  fetchurl() {  fetchurl() {
269      getter=$1 ; shift      getter=$1 ; shift
270      echo $this: Fetching $1 from $3. Please stand by...      vsay $this: Fetching $1 from $3. Please stand by...
271      fetched=no      fetched=no
272      for base in $2 $VERSION-$2 ; do      for base in $2 $VERSION-$2 ; do
273          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
274              try=$base.$ext              try=$base.$ext
275              echo $this: Trying $try ...              vsay $this: Trying $try ...
276              if $getter $3 $try $ROOT/$try ; then              if $getter $3/$try $ROOT/$try ; then
277                  fetched=yes                  fetched=yes
278                  echo $this: Fetching $try was a success.                  vsay $this: Fetching $try was a success.
279                  break 2         # get out of both for-loops                  break 2         # get out of both for-loops
280              else              else
281                  rm -f $ROOT/$try                  rm -f $ROOT/$try
# Line 183  Line 289 
289      fi      fi
290  }  }
291    
292    # wrapper for wget
293  usewget() {  usewget() {
294      wget -nv -O $3 $1/$2      wget -nv -O $2 $1
295  }  }
296    
297    # wrapper for lynx
298  uselynx() {  uselynx() {
299      lynx -source $1/$2 >$3      lynx -source $1 >$2
300  }  }
301    
302    # wrapper for curl
303  usecurl() {  usecurl() {
304      curl -s $1/$2 >$3      curl -s $1 >$2
305  }  }
306    
307  testurlgetter() {  testurlgetter() {
# Line 201  Line 310 
310    
311  #  #
312  # Function to check whether wget or lynx is available.  # Function to check whether wget or lynx is available.
313  # Set URLGETTER accordingly.  # Set URLGETTER accordingly.  URLGETTER can be set externally
314    # to either 'wget' or 'curl' or 'lynx' -- in which case the
315    # corresponding command will be used (properly wrapped).  Any
316    # other external setting will be passed directly to fetchurl (without
317    # wrapping -- meaning it must take precisely two argumets: source and
318    # destination, in that order).
319  #  #
320  urlgetter() {  urlgetter() {
321      if [ "$URLGETTER" = unknown ] ; then      case ${URLGETTER:-unknown} in
322            fetchurl*)
323                ;;
324            unknown)
325                # automatically figure out which wrapper to use
326          if testurlgetter wget --help ; then          if testurlgetter wget --help ; then
327              URLGETTER="fetchurl usewget"              URLGETTER="fetchurl usewget"
328          elif testurlgetter curl --help ; then              elif testurlgetter curl -s -O file:///dev/null -o /dev/null ; then
329              URLGETTER="fetchurl usecurl"              URLGETTER="fetchurl usecurl"
330          elif testurlgetter lynx -help ; then          elif testurlgetter lynx -help ; then
331              URLGETTER="fetchurl uselynx"              URLGETTER="fetchurl uselynx"
332          else          else
333              URLGETTER="askurl"              URLGETTER="askurl"
334          fi          fi
335      fi              ;;
336            wget|curl|lynx)
337                # special getters we know how to wrap
338                URLGETTER="fetchurl use${URLGETTER}"
339                ;;
340            *)
341                # other -- must be able to work without wrapper
342                URLGETTER="fetchurl ${URLGETTER}"
343                ;;
344        esac
345  }  }
346    
347    # wrapper for tar
348  un_tar() {  un_tar() {
349      echo "$this: Un-TAR-ing $1 archive."      vsay "$this: Un-TAR-ing $1 archive."
350      tar -xf $2      tar -xf $2
351  }  }
352    
353    # wrapper for zcat followed by tar
354  un_tar_Z() {  un_tar_Z() {
355      echo "$this: Un-COMPRESS-ing and un-TAR-ing $1 archive."      vsay "$this: Un-COMPRESS-ing and un-TAR-ing $1 archive."
356      zcat $2 | tar -xf -      zcat $2 | tar -xf -
357  }  }
358    
359    # wrapper for gunzip followed by tar
360  un_tar_gz() {  un_tar_gz() {
361      echo "$this: Un-GZIP-ing and un-TAR-ing $1 archive."      vsay "$this: Un-GZIP-ing and un-TAR-ing $1 archive."
362      gunzip -c $2 | tar -xf -      gunzip -c $2 | tar -xf -
363  }  }
364    
365    # wrapper for bunzip2 followed by tar
366  un_tar_bz2() {  un_tar_bz2() {
367      echo "$this: Un-BZIP2-ing and un-TAR-ing $1 archive."      vsay "$this: Un-BZIP2-ing and un-TAR-ing $1 archive."
368      bunzip2 -c $2 | tar -xf -      bunzip2 -c $2 | tar -xf -
369  }  }
370    
371    # unarchive archive without and with version number attached
372  unarchive() {  unarchive() {
373      # $1: descriptive string, $2: archive, $3: unpacker      # $1: descriptive string, $2: archive, $3: unpacker
374      if [ -r $ROOT/$2 ] ; then      if [ -r $ROOT/$2 ] ; then
# Line 267  Line 399 
399         unarchive "$1" $4.tgz un_tar_gz ||         unarchive "$1" $4.tgz un_tar_gz ||
400         unarchive "$1" $4.tar.Z un_tar_Z ||         unarchive "$1" $4.tar.Z un_tar_Z ||
401         unarchive "$1" $4.tar un_tar ||         unarchive "$1" $4.tar un_tar ||
402         unarchive "$1" $4.tar.bz1 un_tar_bz2 ||         unarchive "$1" $4.tar.bz2 un_tar_bz2 ||
403         unarchive "$1" $4.tz un_tar_Z         unarchive "$1" $4.tz un_tar_Z
404      then      then
405          : we are done          : we are done
# Line 285  Line 417 
417  unpack() {  unpack() {
418      tryfetch=yes      tryfetch=yes
419      if [ -d $2/$3 ]; then      if [ -d $2/$3 ]; then
420          echo "$this: The $1 tree already exists."          vsay "$this: The $1 tree already exists."
421      else      else
422          fetch_n_unpack "$1" "$2" "$3" "$4"          fetch_n_unpack "$1" "$2" "$3" "$4"
423      fi      fi
424      if [ ! -d $2/$3 ]; then      if [ ! -d $2/$3 ]; then
425          echo "$this: !!! Unable to unpack $1 archive."          complain "$this: !!! Unable to unpack $1 archive."
         exit 1  
426      fi      fi
427  }  }
428    
# Line 303  Line 434 
434      if [ -d $1 ] ; then      if [ -d $1 ] ; then
435          if [ ! -d $2 ] ; then          if [ ! -d $2 ] ; then
436              if [ -f $2 ] ; then              if [ -f $2 ] ; then
437                  echo $this: $2 exists as a non-directory.                  complain $this: $2 exists as a non-directory.
                 exit 1  
438              fi              fi
439              mkdir $2              mkdir $2
440          fi          fi
# Line 364  Line 494 
494      fi      fi
495    
496      if [ -f ${FINALLOC} ] ; then      if [ -f ${FINALLOC} ] ; then
497          echo "$this: Library ${LIBNAME} already exists in ${FINALLOC}"          vsay "$this: Library ${LIBNAME} already exists in ${FINALLOC}"
498      else      else
499          echo "$this: Scheduling library ${LIBNAME} to be built as ${FINALLOC}."          vsay "$this: Scheduling library ${LIBNAME} to be built as ${FINALLOC}."
500          echo "  andalso CM.stabilize false \"${LIBNAME}\"" >>${LIBLIST}          echo "  andalso CM.stabilize false \"${LIBNAME}\"" >>${LIBLIST}
501          echo ${ANCHOR} ${ADIR} >>${LOCALPATHCONFIG}          echo ${ANCHOR} ${ADIR} >>${LOCALPATHCONFIG}
502          if [ x$MOVE_LIBRARIES = xtrue ] ; then          if [ x$MOVE_LIBRARIES = xtrue ] ; then
# Line 378  Line 508 
508    
509  #  #
510  # Function to build a standalone program such as ml-yacc.  The function takes  # Function to build a standalone program such as ml-yacc.  The function takes
511  # 2 or 3 arguments.  First the name of the program which at the same time  # 2 or 3 or 4 arguments.  First the name of the program which at the same time
512  # is the directory name under $SRCDIR where the sources reside.  The second  # is the directory name under $SRCDIR/$4 where the sources reside.  The second
513  # argument is a descriptive name for the program (passed on to "unpack").  # argument is a descriptive name for the program (passed on to "unpack").
514  # The optional third argument specifies the path relative to $SRCDIR/$1  # The optional third argument specifies the path relative to $SRCDIR/$4/$1
515  # of the directory where the program's heap image is to be found.  # of the directory where the program's heap image is to be found.
516    # The fourth argument, if missing, defaults to "."
517  #  #
518    
519  standalone() {  standalone() {
# Line 392  Line 523 
523      else      else
524          TARGETLOC=$TARGET          TARGETLOC=$TARGET
525      fi      fi
526        if [ $# = 4 ] ; then
527             MYSRCDIR=$SRCDIR/$4
528        else
529             MYSRCDIR=$SRCDIR
530        fi
531      if [ -r $HEAPDIR/$TARGET ] ; then      if [ -r $HEAPDIR/$TARGET ] ; then
532          echo $this: Target $TARGET already exists.          vsay $this: Target $TARGET already exists.
533      else      else
534          echo $this: Building $TARGET.          echo $this: Building $TARGET.
535          unpack $2 $SRCDIR $1 $1          unpack $2 $MYSRCDIR $1 $1
536          cd $SRCDIR/$1          cd $MYSRCDIR/$1
537          # build it, but make sure we don't pick up some (unrelated)          # build it, but make sure we don't pick up some (unrelated)
538          # local path configuration...          # local path configuration...
539          CM_LOCAL_PATHCONFIG=/dev/null ./build          CM_LOCAL_PATHCONFIG=/dev/null ./build
# Line 413  Line 549 
549      fi      fi
550  }  }
551    
552    ######################################################################
553    
554  #  #
555  # create the various sub directories  # create the various sub directories
556  #  #
# Line 424  Line 562 
562  # 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
563  #  #
564  if [ -x $BINDIR/.arch-n-opsys ]; then  if [ -x $BINDIR/.arch-n-opsys ]; then
565      echo $this: Script $BINDIR/.arch-n-opsys already exists.      vsay $this: Script $BINDIR/.arch-n-opsys already exists.
566  else  else
567      cat $CONFIGDIR/_arch-n-opsys \      cat $CONFIGDIR/_arch-n-opsys \
568      | sed -e "s,@SHELL@,$SHELL,g" > $BINDIR/.arch-n-opsys      | sed -e "s,@SHELL@,$SHELL,g" > $BINDIR/.arch-n-opsys
569      chmod 555 $BINDIR/.arch-n-opsys      chmod 555 $BINDIR/.arch-n-opsys
570      if [ ! -x $BINDIR/.arch-n-opsys ]; then      if [ ! -x $BINDIR/.arch-n-opsys ]; then
571          echo "$this: !!! Installation of $BINDIR/.arch-n-opsys failed."          complain "$this: !!! Installation of $BINDIR/.arch-n-opsys failed."
         exit 1  
572      fi      fi
573  fi  fi
574    
# Line 441  Line 578 
578      echo "$this: !!! You must patch this by hand and repeat the installation."      echo "$this: !!! You must patch this by hand and repeat the installation."
579      exit 2      exit 2
580  else  else
581      echo $this: Script $BINDIR/.arch-n-opsys reports $ARCH_N_OPSYS.      vsay $this: Script $BINDIR/.arch-n-opsys reports $ARCH_N_OPSYS.
582  fi  fi
583  eval $ARCH_N_OPSYS  eval $ARCH_N_OPSYS
584    
# Line 467  Line 604 
604              > $BINDIR/$ddst              > $BINDIR/$ddst
605          chmod 555 $BINDIR/$ddst          chmod 555 $BINDIR/$ddst
606          if [ ! -x $BINDIR/$ddst ]; then          if [ ! -x $BINDIR/$ddst ]; then
607              echo "$this: !!! Installation of $BINDIR/${ddst} failed."              complain "$this: !!! Installation of $BINDIR/${ddst} failed."
             exit 1  
608          fi          fi
609  #   fi  #   fi
610  }  }
# Line 508  Line 644 
644      linux)      linux)
645          EXTRA_DEFS=`$CONFIGDIR/chk-global-names.sh`          EXTRA_DEFS=`$CONFIGDIR/chk-global-names.sh`
646          if [ "$?" != "0" ]; then          if [ "$?" != "0" ]; then
647              echo "$this: !!! Problems checking for underscores in asm names."              complain "$this: !!! Problems checking for underscores in asm names."
             exit 1  
648          fi          fi
649          EXTRA_DEFS="XDEFS=$EXTRA_DEFS"          EXTRA_DEFS="XDEFS=$EXTRA_DEFS"
650          ;;          ;;
# Line 526  Line 661 
661  #  #
662  unpack "run-time" $SRCDIR runtime runtime  unpack "run-time" $SRCDIR runtime runtime
663  if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then  if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then
664      echo $this: Run-time system already exists.      vsay $this: Run-time system already exists.
665  else  else
666      cd $SRCDIR/runtime/objs      cd $SRCDIR/runtime/objs
667      echo $this: Compiling the run-time system.      echo $this: Compiling the run-time system.
# Line 535  Line 670 
670          mv run.$ARCH-$OPSYS $RUNDIR          mv run.$ARCH-$OPSYS $RUNDIR
671          $MAKE MAKE=$MAKE clean          $MAKE MAKE=$MAKE clean
672      else      else
673          echo "$this: !!! Run-time system build failed for some reason."          complain "$this: !!! Run-time system build failed for some reason."
         exit 1  
674      fi      fi
675  fi  fi
676  cd $SRCDIR  cd $SRCDIR
# Line 545  Line 679 
679  # boot the base SML system  # boot the base SML system
680  #  #
681  if [ -r $HEAPDIR/sml.$HEAP_SUFFIX ]; then  if [ -r $HEAPDIR/sml.$HEAP_SUFFIX ]; then
682      echo $this: Heap image $HEAPDIR/sml.$HEAP_SUFFIX already exists.      vsay $this: Heap image $HEAPDIR/sml.$HEAP_SUFFIX already exists.
683  else  else
684      unpack bin $ROOT $BOOT_FILES $BOOT_ARCHIVE      unpack bin $ROOT $BOOT_FILES $BOOT_ARCHIVE
685      cd $ROOT/$BOOT_FILES      cd $ROOT/$BOOT_FILES
# Line 572  Line 706 
706              rm -rf $BOOT_FILES              rm -rf $BOOT_FILES
707    
708          else          else
709              echo "$this !!! No heap image generated (sml.$HEAP_SUFFIX)."              complain "$this !!! No heap image generated (sml.$HEAP_SUFFIX)."
             exit 1  
710          fi          fi
711      else      else
712          echo "$this !!! Boot code failed, no heap image (sml.$HEAP_SUFFIX)."          complain "$this !!! Boot code failed, no heap image (sml.$HEAP_SUFFIX)."
         exit 1  
713      fi      fi
714  fi  fi
715    
# Line 592  Line 724 
724  # now build (or prepare to build) the individual targets  # now build (or prepare to build) the individual targets
725  #  #
726  cd $SRCDIR  cd $SRCDIR
727  echo $this: Installing other targets.  vsay $this: Installing other targets.
728  for i in $TARGETS ; do  for i in $TARGETS ; do
729      case $i in      case $i in
730        src-smlnj)        src-smlnj)
# Line 635  Line 767 
767              reglib regexp-lib.cm regexp-lib.cm smlnj-lib/RegExp              reglib regexp-lib.cm regexp-lib.cm smlnj-lib/RegExp
768          # make the Reactive library          # make the Reactive library
769              reglib reactive-lib.cm reactive-lib.cm smlnj-lib/Reactive              reglib reactive-lib.cm reactive-lib.cm smlnj-lib/Reactive
770            # make the HashCons library
771                reglib hash-cons-lib.cm hash-cons-lib.cm smlnj-lib/HashCons
772          ;;          ;;
773        cml)        cml)
774          unpack CML $SRCDIR cml cml          unpack CML $SRCDIR cml cml
# Line 658  Line 792 
792          ;;          ;;
793        ml-nlffi-lib)        ml-nlffi-lib)
794          unpack "NLFFI Library" $SRCDIR ml-nlffi-lib ml-nlffi-lib          unpack "NLFFI Library" $SRCDIR ml-nlffi-lib ml-nlffi-lib
795          reglib memory.cm memory.cm ml-nlffi-lib/memory          reglib c memory/memory.cm ml-nlffi-lib
796          reglib c-int.cm c-int.cm ml-nlffi-lib/internals          reglib c internals/c-int.cm ml-nlffi-lib
797          reglib c.cm c.cm ml-nlffi-lib          reglib c c.cm ml-nlffi-lib
798          ;;          ;;
799        pgraph-util)        pgraph-util)
800          unpack "CM source code" $SRCDIR cm cm          unpack "CM source code" $SRCDIR cm cm
# Line 675  Line 809 
809          reglib mlrisc-tools parser.cm MLRISC/Tools          reglib mlrisc-tools parser.cm MLRISC/Tools
810          reglib mlrisc-tools match-compiler.cm MLRISC/Tools          reglib mlrisc-tools match-compiler.cm MLRISC/Tools
811          ;;          ;;
812          nowhere)
813            unpack "MLRISC Tools Library" $SRCDIR MLRISC MLRISC
814            echo standalone nowhere NoWhere . MLRISC/Tools >>$LATESTANDALONES
815            echo nowhere $TOOLDIR >>$CM_PATHCONFIG_DEFAULT
816            ;;
817        doc)        doc)
818          unpack Doc $ROOT doc doc          echo Package doc is currently unavailable.
819          cd $ROOT/doc          # unpack Doc $ROOT doc doc
820          build $ROOT          # cd $ROOT/doc
821            # build $ROOT
822          ;;          ;;
823        *)        *)
824          echo "$this: !!! Unknown target $i."          echo "$this: !!! Unknown target $i."
# Line 695  Line 835 
835  echo $this: Compiling library code.  echo $this: Compiling library code.
836  echo 'then OS.Process.success else OS.Process.failure));' >>$LIBLIST  echo 'then OS.Process.success else OS.Process.failure));' >>$LIBLIST
837  if CM_LOCAL_PATHCONFIG=$LOCALPATHCONFIG $BINDIR/sml <$LIBLIST ; then  if CM_LOCAL_PATHCONFIG=$LOCALPATHCONFIG $BINDIR/sml <$LIBLIST ; then
838      echo $this: Libraries compiled successfully.      vsay $this: Libraries compiled successfully.
839  else  else
840      echo "$this: !!! Something went wrong when compiling the libraries."      complain "$this: !!! Something went wrong when compiling the libraries."
     exit 1  
841  fi  fi
842    
843  #  #
# Line 706  Line 845 
845  #  #
846    
847  if [ -r $LIBMOVESCRIPT ] ; then  if [ -r $LIBMOVESCRIPT ] ; then
848      echo $this: Moving libraries to $LIBDIR.      vsay $this: Moving libraries to $LIBDIR.
849      . $LIBMOVESCRIPT      . $LIBMOVESCRIPT
850  fi  fi
851    
# Line 716  Line 855 
855  #  #
856    
857  if [ -r $LATESTANDALONES ] ; then  if [ -r $LATESTANDALONES ] ; then
858      echo $this: Building late standalone programs.      vsay $this: Building late standalone programs.
859      . $LATESTANDALONES      . $LATESTANDALONES
860  fi  fi
861    

Legend:
Removed from v.999  
changed lines
  Added in v.1078

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