git.iko.soy/Idris-dev
on master help sign in
Calculate SHA256 in mkpkg.sh
6b35bbbEdwin Brady
RELEASE-CHECKS.md+1
compare with master
unifiedsplit
@@ -37,6 +37,7 @@ Things to be checked, or done before a release is made.
37## Announcements
37## Announcements
38
38
39+ [ ] Update website.
39+ [ ] Update website.
40+ + [ ] Update web site with SHA256 hash of binary
40+ [ ] Email Mailing list.
41+ [ ] Email Mailing list.
41+ [ ] Make REDDIT post.
42+ [ ] Make REDDIT post.
42+ [ ] Tweet
43+ [ ] Tweet
mkpkg.sh+3
@@ -62,3 +62,6 @@ pkgbuild --identifier org.idris-lang \
62 --version "v$VERSION" \
62 --version "v$VERSION" \
63 --root /tmp/idris-pkg/ \
63 --root /tmp/idris-pkg/ \
64 idris-$VERSION.pkg
64 idris-$VERSION.pkg
65+
66+echo "==> Creating SHA256 hash (don't forget to update web site!)"
67+shasum -a 256 idris-$VERSION.pkg > idris-$VERSION.pkg.sha256