Permalink
Fetching contributors…
Cannot retrieve contributors at this time
executable file 26 lines (19 sloc) 511 Bytes
#!/bin/sh
# version.sh
#
# Generates src/version.sml and smackage.smackspec based on the current version
# Usage: version.sh X.Y.Z
# gdpe, Nov 2 2011
if [ $# -ne 1 ]
then
echo "Usage: version.sh X.Y.Z"
exit 1
fi
cat smackage.smackspec.in | sed "s/###VERSION###/$1/" > smackage.smackspec
echo "(* Generated by version.sh *)\n\
structure Version = \n\
struct\n\
val version = \"$1\"\n\
end\n" > src/version.sml
echo "Generated files."
echo "Now run 'git commit -a -m \"bump to v$1\"; git tag v$1'"