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 1047, Tue Jan 29 21:31:50 2002 UTC revision 1058, Fri Feb 8 20:02:56 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 ; 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 ; 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 108  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 126  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 159  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 238  Line 346 
346    
347  # wrapper for tar  # 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  # 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  # 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  # 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    
# Line 291  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 309  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 327  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 388  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 423  Line 529 
529           MYSRCDIR=$SRCDIR           MYSRCDIR=$SRCDIR
530      fi      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 $MYSRCDIR $1 $1          unpack $2 $MYSRCDIR $1 $1
# Line 443  Line 549 
549      fi      fi
550  }  }
551    
552    ######################################################################
553    
554  #  #
555  # create the various sub directories  # create the various sub directories
556  #  #
# Line 454  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 471  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 497  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 538  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 556  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 565  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 575  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 602  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 622  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 665  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 711  Line 815 
815          echo nowhere $TOOLDIR >>$CM_PATHCONFIG_DEFAULT          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 730  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 741  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 751  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.1047  
changed lines
  Added in v.1058

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