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 828, Fri May 11 18:32:07 2001 UTC revision 999, Tue Nov 27 06:28:37 2001 UTC
# Line 14  Line 14 
14  #  #
15  # get the target list  # get the target list
16  #  #
17  if [ ! -r config/targets ]; then  if [ -r config/targets.customized ] ; then
18        . config/targets.customized
19    elif [ ! -r config/targets ]; then
20      echo "$this: !!! File config/targets is missing."      echo "$this: !!! File config/targets is missing."
21      exit 1      exit 1
22  fi  else
23  . config/targets  . config/targets
24    fi
25    
26  #  #
27  # create the preloads.standard file  # create the preloads.standard file
# Line 35  Line 38 
38  #  #
39  MAKE=make  MAKE=make
40    
41    #
42    # Make sure we don't have any unpleasant surprises due to the installing
43    # user's process environment:
44    #
45    unset CM_PATHCONFIG
46    
47  SHELL=/bin/sh  SHELL=/bin/sh
48  echo $this: Using shell $SHELL.  echo $this: Using shell $SHELL.
49    
# Line 63  Line 72 
72  URLGETTER=unknown  URLGETTER=unknown
73    
74  #  #
75  # 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
76  # ml-makedepend live  # ml-makedepend live.  This path will be interpreted relative to $LIBDIR.
77  #  #
78  TOOLDIR=$BINDIR  TOOLDIR=../bin
79    
80  #  #
81  # A temporary file for post-editing the pathconfig file...  # A temporary file for post-editing the pathconfig file...
# Line 110  Line 119 
119  echo $this: URL of source archive is $SRCARCHIVEURL.  echo $this: URL of source archive is $SRCARCHIVEURL.
120    
121  #  #
122  # Function to make a directory (and advertise such action).  # Function to make a directory including its ancestors.
123  #  #
124  makedir() {  makedir() {
125      if [ ! -d $1 ] ; then      if [ x$1 = x ] ; then
126          echo $this: Making directory $1          :
127        elif [ -d $1 ] ; then
128            :
129        else
130            makedir `dirname $1`
131            echo "$this: Making directory $1"
132          if mkdir $1 ; then          if mkdir $1 ; then
133              : everything is fine              :
134          else          else
135              echo "$this: !!! Unable to make directory $1!"              echo "$this: !!! Unable to make directory $1!"
136              exit 1              exit 1
# Line 177  Line 191 
191      lynx -source $1/$2 >$3      lynx -source $1/$2 >$3
192  }  }
193    
194    usecurl() {
195        curl -s $1/$2 >$3
196    }
197    
198  testurlgetter() {  testurlgetter() {
199      (exec >/dev/null 2>&1 ; exec $*)      (exec >/dev/null 2>&1 ; exec $*)
200  }  }
# Line 189  Line 207 
207      if [ "$URLGETTER" = unknown ] ; then      if [ "$URLGETTER" = unknown ] ; then
208          if testurlgetter wget --help ; then          if testurlgetter wget --help ; then
209              URLGETTER="fetchurl usewget"              URLGETTER="fetchurl usewget"
210            elif testurlgetter curl --help ; then
211                URLGETTER="fetchurl usecurl"
212          elif testurlgetter lynx -help ; then          elif testurlgetter lynx -help ; then
213              URLGETTER="fetchurl uselynx"              URLGETTER="fetchurl uselynx"
214          else          else
# Line 299  Line 319 
319      fi      fi
320  }  }
321    
322  #  # move stable library file from $1 to $2
323  # Move the stable archive of a library whose description file was $1/$2 to  movelib()
324  # $LIBDIR/$2/CM/$ARCH-unix/$2 so that it appears as if the description file  {
325  # had been at $LIBDIR/$2/$2      SOURCE=$1
326  #      TARGET=$2
327  # (This script will also move all other libraries that show up in      TARGETDIR=`dirname ${TARGET}`
328  #  $1/CM/$ARCH-unix because in the case of the boot directory this indicates      if [ ! -d ${TARGETDIR} ] ; then
329  #  that some library did not have its own path anchor but was specified          makedir ${TARGETDIR}
330  #  relative to $1/$2. Still, don't rely on this to be robust -- rather make      fi
331  #  separate anchors for every library!)      mv ${SOURCE} ${TARGET}
 #  
 movelibs() {  
     for lib in `/bin/ls $1/CM/$ARCH-unix` ; do  
         case $lib in  
         *.cm | *.cmi)  
             if [ $lib != $2 ] ; then  
                 echo "$this: Warning:" $lib specified relative to $2  
             fi  
             echo $this: Moving library $lib to $LIBDIR  
             makedir $LIBDIR/$2  
             makedir $LIBDIR/$2/CM  
             makedir $LIBDIR/$2/CM/$ARCH-unix  
             mv $1/CM/$ARCH-unix/$lib $LIBDIR/$2/CM/$ARCH-unix/$lib  
             ;;  
         *)  
             ;;  
         esac  
      done  
332  }  }
333    
334  # A shell function that registers a library for being built.  # A shell function that registers a library for being built.
335  # This function takes two arguments: 1. a name under which the library  # This function takes 3 arguments:
336  # is to be known later (something.cm) and 2. the path relative to $SRCDIR  #   $1 = controlling anchor
337  # that leads to the library's .cm file.  The library's .cm file must be the  #   $2 = name relative to controlling anchor
338  # same as $1.  #   $3 = dir (relative to ${SRCDIR}) corresponding to $1
339  #  #
340  # This works by adding ML code to file $LIBLIST.  The code in this file  # This works by adding ML code to file $LIBLIST.  The code in this file
341  # will be executed near the end of this script.  If $MOVE_LIBRARIES is  # will be executed near the end of this script.  If $MOVE_LIBRARIES is
342  # set to true, then reglib will also register a "movelibs" to be executed at  # set to true, then reglib will also register a "movelib" to be executed at
343  # the end by putting a "movelibs" line into $LIBMOVESCRIPT.  # the end by putting a "movelib" line into $LIBMOVESCRIPT.
   
344  reglib() {  reglib() {
345        ANCHOR=$1
346        RELNAME=$2
347        LIBNAME='$'${ANCHOR}/${RELNAME}
348        ADIR=${SRCDIR}/$3
349        RELDIR=`dirname $RELNAME`
350        RELBASE=`basename $RELNAME`
351        if [ x$RELDIR = x. ] ; then
352            RELDIR=
353        else
354            RELDIR=/$RELDIR
355        fi
356        RELLOC=${RELDIR}/CM/${ARCH}-unix/${RELBASE}
357        SRCFINALLOC=${ADIR}${RELLOC}
358      if [ x$MOVE_LIBRARIES = xtrue ] ; then      if [ x$MOVE_LIBRARIES = xtrue ] ; then
359          FINALLOCATION=$LIBDIR/$1          FINALLOC=${LIBDIR}/${ANCHOR}${RELLOC}
360          FINALCONFIGPATH=$1          FINALCONFIGPATH=${ANCHOR}
361      else      else
362          FINALLOCATION=$SRCDIR/$2          FINALLOC=${SRCFINALLOC}
363          FINALCONFIGPATH=$FINALLOCATION          FINALCONFIGPATH=${ADIR}
364      fi      fi
365      if [ -d $FINALLOCATION/CM/$ARCH-unix ] ; then  
366          echo "$this: Library $1 already exists in $FINALLOCATION."      if [ -f ${FINALLOC} ] ; then
367            echo "$this: Library ${LIBNAME} already exists in ${FINALLOC}"
368      else      else
369          echo "$this: Scheduling library $1 to be built in $FINALLOCATION."          echo "$this: Scheduling library ${LIBNAME} to be built as ${FINALLOC}."
370          echo "  andalso CM.stabilize false \"\$/$1\"" >>$LIBLIST          echo "  andalso CM.stabilize false \"${LIBNAME}\"" >>${LIBLIST}
371          echo $1 $SRCDIR/$2 >>$LOCALPATHCONFIG          echo ${ANCHOR} ${ADIR} >>${LOCALPATHCONFIG}
372          if [ x$MOVE_LIBRARIES = xtrue ] ; then          if [ x$MOVE_LIBRARIES = xtrue ] ; then
373              echo movelibs $SRCDIR/$2 $1 >>$LIBMOVESCRIPT              echo movelib ${SRCFINALLOC} ${FINALLOC} >>${LIBMOVESCRIPT}
374          fi          fi
375      fi      fi
376      echo $1 $FINALCONFIGPATH >>$CM_PATHCONFIG_DEFAULT      echo ${ANCHOR} ${FINALCONFIGPATH} >>${CM_PATHCONFIG_DEFAULT}
377  }  }
378    
379  #  #
# Line 383  Line 398 
398          echo $this: Building $TARGET.          echo $this: Building $TARGET.
399          unpack $2 $SRCDIR $1 $1          unpack $2 $SRCDIR $1 $1
400          cd $SRCDIR/$1          cd $SRCDIR/$1
401          ./build          # build it, but make sure we don't pick up some (unrelated)
402            # local path configuration...
403            CM_LOCAL_PATHCONFIG=/dev/null ./build
404          if [ -r $TARGETLOC ] ; then          if [ -r $TARGETLOC ] ; then
405              mv $TARGETLOC $HEAPDIR/$TARGET              mv $TARGETLOC $HEAPDIR/$TARGET
406              if [ ! -f $BINDIR/$1 ] ; then              if [ ! -f $BINDIR/$1 ] ; then
# Line 605  Line 622 
622    
623          # Don't make the Util library -- it came pre-made and has been          # Don't make the Util library -- it came pre-made and has been
624          # installed when making the base system.  In other words, don't do...          # installed when making the base system.  In other words, don't do...
625              #reglib smlnj-lib.cm smlnj-lib/Util              #reglib smlnj-lib.cm smlnj-lib.cm smlnj-lib/Util
626          # ... and don't make the HTML library ...          # ... and don't make the HTML library ...
627              #reglib html-lib.cm smlnj-lib/HTML              #reglib html-lib.cm html-lib.cm smlnj-lib/HTML
628          # ... and don't make the PP library ...          # ... and don't make the PP library ...
629              #reglib pp-lib.cm smlnj-lib/PP              #reglib pp-lib.cm pp-lib.cm smlnj-lib/PP
630          # make the Unix library          # make the Unix library
631              reglib unix-lib.cm smlnj-lib/Unix              reglib unix-lib.cm unix-lib.cm smlnj-lib/Unix
632          # make the INet library          # make the INet library
633              reglib inet-lib.cm smlnj-lib/INet              reglib inet-lib.cm inet-lib.cm smlnj-lib/INet
634          # make the RegExp library          # make the RegExp library
635              reglib regexp-lib.cm smlnj-lib/RegExp              reglib regexp-lib.cm regexp-lib.cm smlnj-lib/RegExp
636          # make the Reactive library          # make the Reactive library
637              reglib reactive-lib.cm smlnj-lib/Reactive              reglib reactive-lib.cm reactive-lib.cm smlnj-lib/Reactive
638          ;;          ;;
639        cml)        cml)
640          unpack CML $SRCDIR cml cml          unpack CML $SRCDIR cml cml
641          reglib core-cml.cm cml/src/core-cml          reglib cml core-cml.cm cml/src
642          reglib cml.cm cml/src          reglib cml cml-internal.cm cml/src
643          reglib cml-basis.cm cml          reglib cml cml.cm cml/src
644            reglib cml basis.cm cml/src
645          ;;          ;;
646        cml-lib)        cml-lib)
647          unpack CML $SRCDIR cml cml          unpack CML $SRCDIR cml cml
648          reglib cml-lib.cm cml/cml-lib          reglib cml-lib trace-cml.cm cml/cml-lib/cm
649            reglib cml-lib smlnj-lib.cm cml/cml-lib/cm
650          ;;          ;;
651        eXene)        eXene)
652          unpack EXene $SRCDIR eXene eXene          unpack EXene $SRCDIR eXene eXene
653          reglib eXene.cm eXene          reglib eXene.cm eXene.cm eXene
654          ;;          ;;
655        ckit)        ckit)
656          unpack "C-Kit" $ROOT ckit ckit          unpack "C-Kit" $ROOT ckit ckit
657          reglib ckit-lib.cm ../ckit/src          reglib ckit-lib.cm ckit-lib.cm ../ckit/src
658          ;;          ;;
659        ml-nlffi-lib)        ml-nlffi-lib)
660          unpack "NLFFI Library" $SRCDIR ml-nlffi-lib ml-nlffi-lib          unpack "NLFFI Library" $SRCDIR ml-nlffi-lib ml-nlffi-lib
661          reglib memory.cm ml-nlffi-lib/memory          reglib memory.cm memory.cm ml-nlffi-lib/memory
662          reglib c-int.cm ml-nlffi-lib/internals          reglib c-int.cm c-int.cm ml-nlffi-lib/internals
663          reglib c.cm ml-nlffi-lib          reglib c.cm c.cm ml-nlffi-lib
664            ;;
665          pgraph-util)
666            unpack "CM source code" $SRCDIR cm cm
667            reglib pgraph-util.cm pgraph-util.cm cm/pgraph
668            ;;
669          mlrisc-tools)
670            unpack "MLRISC Tools Library" $SRCDIR MLRISC MLRISC
671            reglib mlrisc-tools pp.cm MLRISC/Tools
672            reglib mlrisc-tools source-map.cm MLRISC/Tools
673            reglib mlrisc-tools sml-ast.cm MLRISC/Tools
674            reglib mlrisc-tools prec-parser.cm MLRISC/Tools
675            reglib mlrisc-tools parser.cm MLRISC/Tools
676            reglib mlrisc-tools match-compiler.cm MLRISC/Tools
677          ;;          ;;
678        doc)        doc)
679          unpack Doc $ROOT doc doc          unpack Doc $ROOT doc doc

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

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