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 /admin/prepare-release.sh
ViewVC logotype

Diff of /admin/prepare-release.sh

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

revision 6041, Fri Dec 13 18:57:12 2019 UTC revision 6042, Fri Dec 13 18:58:08 2019 UTC
# Line 43  Line 43 
43  #  #
44  LOG=LOG-$VERSION  LOG=LOG-$VERSION
45    
46    # determine the size of the installed version of SML that we are going to
47    # use to build the release.
48    #
49    if [ -x bin/sml ] ; then
50      case $(bin/sml @SMLsuffix) in
51        amd64-*) SZ_OPT="-64" ;;
52        *) SZ_OPT="-32" ;;
53      esac
54    else
55      echo "bin/sml is missing"
56      exit 1
57    fi
58    
59  # function to compile to fixed point and build an installation from  # function to compile to fixed point and build an installation from
60  # the compiled code.  This corresponds to steps 2 -- 6 in the guide.  # the compiled code.  This corresponds to steps 2 -- 6 in the guide.
61  #  #
# Line 51  Line 64 
64    echo "compiling to a fixed point ..."    echo "compiling to a fixed point ..."
65    echo "***** cd base/system" >> $LOG    echo "***** cd base/system" >> $LOG
66    cd base/system    cd base/system
67    echo "***** ./fixpt" >> $LOG    echo "***** ./fixpt $SZ_OPT" >> $LOG
68    ./fixpt >> $LOG 2>&1 || exit 1    ./fixpt $SZ_OPT >> $LOG 2>&1 || exit 1
69    
70    # makeml    # makeml
71    echo "makeml ..."    echo "makeml ..."
72    echo "***** ./makeml" >> $LOG    echo "***** ./makeml $SZ_OPT" >> $LOG
73    ./makeml >> $LOG 2>&1 || exit 1    ./makeml $SZ_OPT >> $LOG 2>&1 || exit 1
74    
75    # installml    # installml
76    echo "installml ..."    echo "installml ..."
77    echo "***** ./installml -clean" >> $LOG    echo "***** ./installml $SZ_OPT -clean" >> $LOG
78    ./installml -clean >> $LOG 2>&1 || exit 1    ./installml $SZ_OPT -clean >> $LOG 2>&1 || exit 1
79    
80    # install.sh    # install.sh
81    echo "config/install.sh ..."    echo "config/install.sh ..."
82    echo "***** cd $HERE" >> $LOG    echo "***** cd $HERE" >> $LOG
83    cd $HERE    cd $HERE
84    echo "***** ./config/install.sh" >> $LOG    echo "***** ./config/install.sh $SZ_OPT" >> $LOG
85    ./config/install.sh >> $LOG 2>&1 || exit 1    ./config/install.sh $SZ_OPT >> $LOG 2>&1 || exit 1
86  }  }
87    
88  # step 1: refresh output  # step 1: refresh output

Legend:
Removed from v.6041  
changed lines
  Added in v.6042

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