Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -213,4 +213,6 @@ base/system/smlnj/internal/version.sml
osx-dist/smlnj.dst
osx-dist/smlnj-*.pkg
win-dist/smlnj
/LOG-*
/smlnj

16 changes: 1 addition & 15 deletions admin/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,25 +5,11 @@ of the SML/NJ svn repository (and working copies).

README.md -- this file

build-tar-files.sh -- script to export sources from the svn repository
build-tar-files.sh -- script to export sources from the git repository
and then build zipped tar files for a distribution

checkout-all.sh -- script to checkout all of the sources from the
repository; use the `-e` option to specify the
**export** command to svn.

cvs2svn-smlnj.options

freeze-as.sh

make-release.sh -- tags sources with a release number

refresh-all.sh -- refresh all of the sources

stat-all.sh -- run `svn status` on all of the sources

svn-upgrade-all.sh -- run `svn upgrade` on all of the sources

switch-all-svn-https.sh

zip-bin-lib.sh
30 changes: 18 additions & 12 deletions admin/build-tar-files.sh
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,9 @@ set +x

# export all source files into the smlnj directory
#
git clone git@github.com:smlnj/legacy.git smlnj
cd smlnj
here=`pwd`
git clone . smlnj
cd smlnj || exit 1
here="$(pwd)"

# cleanup stuff that shouldn't be in the release
#
Expand Down Expand Up @@ -43,17 +43,17 @@ for d in $dirs ; do
#
case $d in
asdl)
cd asdl
cd asdl || exit 1
autoheader -Iconfig
autoconf -Iconfig
rm -rf autom4te.cache
cd $here
cd "$here" || exit 1
;;
esac
#
# build the tarball
#
tar -czf $here/$d.tgz $d
tar -czf "$here/$d.tgz" "$d"
done

base_dirs="\
Expand All @@ -64,24 +64,30 @@ base_dirs="\
old-basis \
"

cd $here/base
for d in $base_dirs ; do
tar -czf $here/$d.tgz $d
cd "$here/base" || exit 1
for d in $base_dirs; do
tar -czf "$here/$d.tgz" "$d"
done

# building the documentation requires configuring it and then generating the manual pages
# and HTML files
#
cd $here/doc
cd "$here/doc" || exit 1
autoconf -Iconfig || exit 1
rm -rf autom4te.cache
./configure
#
# generate the documentation into $here/doc/doc
@
#
make doc || exit 1
#
# build tar file of generated documentation
#
tar -czf $here/doc.tgz doc
tar -czf "$here/doc.tgz" doc

# TODO: Add boot files
tar -cf "$here/smlnj.tar" -C "$here" "doc"
for d in $dirs; do tar -uf "$here/smlnj.tar" -C "$here" "$d"; done
for d in $base_dirs; do tar -rf "$here/smlnj.tar" -C "$here" "base/$d"; done
gzip --stdout "$here/smlnj.tar" > "$here/smlnj.tgz"
rm -f "$here/smlnj.tar"
131 changes: 0 additions & 131 deletions admin/checkout-all.sh

This file was deleted.

Loading