SCM Repository
[smlnj] / sml / trunk / config / install.sh |
Diff of /sml/trunk/config/install.sh
Parent Directory
|
Revision Log
|
Patch
revision 418, Fri Sep 3 23:51:27 1999 UTC | revision 429, Wed Sep 8 09:47:00 1999 UTC | |
---|---|---|
# | Line 159 | Line 159 |
159 | # the end by putting a "movelib" line into $LIBMOVESCRIPT. | # the end by putting a "movelib" line into $LIBMOVESCRIPT. |
160 | ||
161 | reglib() { | reglib() { |
162 | echo Scheduling library $1 to be built. | if [ x$MOVE_LIBRARIES = xtrue ] ; then |
163 | FINALLOCATION=$LIBDIR/$1 | |
164 | else | |
165 | FINALLOCATION=$SRCDIR/$2 | |
166 | fi | |
167 | if [ -d $FINALLOCATION ] ; then | |
168 | echo "Library $1 already exists in $FINALLOCATION." | |
169 | else | |
170 | echo "Scheduling library $1 to be built in $FINALLOCATION." | |
171 | echo "andalso CM.stabilize false \"$1\"" >>$LIBLIST | echo "andalso CM.stabilize false \"$1\"" >>$LIBLIST |
172 | echo $1 $SRCDIR/$2 >>$LOCALPATHCONFIG | echo $1 $SRCDIR/$2 >>$LOCALPATHCONFIG |
173 | if [ x$MOVE_LIBRARIES = xtrue ] ; then | if [ x$MOVE_LIBRARIES = xtrue ] ; then |
174 | echo movelib $SRCDIR/$2 $1 >>$LIBMOVESCRIPT | echo movelib $SRCDIR/$2 $1 >>$LIBMOVESCRIPT |
175 | echo $1 $LIBDIR/$1 >>$CM_PATHCONFIG_DEFAULT | fi |
176 | else | echo $1 $FINALLOCATION >>$CM_PATHCONFIG_DEFAULT |
echo $1 $SRCDIR/$2 >>$CM_PATHCONFIG_DEFAULT | ||
177 | fi | fi |
178 | } | } |
179 | ||
# | Line 357 | Line 364 |
364 | for i in $TARGETS ; do | for i in $TARGETS ; do |
365 | case $i in | case $i in |
366 | src-smlnj) | src-smlnj) |
367 | for src in compiler comp-lib new-cm MLRISC smlnj-lib ml-yacc system | for src in compiler comp-lib cm MLRISC smlnj-lib ml-yacc system |
368 | do | do |
369 | unpack $src $ROOT/src $src $ROOT/$VERSION-$src | unpack $src $ROOT/src $src $ROOT/$VERSION-$src |
370 | done | done |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |