Calculate SHA256 in mkpkg.sh
commit6b35bbb01d8c83db7210b5a86e0d0bd8eff325ad
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 8 Mar 2017, 10:59 (10 years ago)
parent9607683
RELEASE-CHECKS.md+1
@@ -37,6 +37,7 @@ Things to be checked, or done before a release is made.
3737## Announcements
3838
3939+ [ ] Update website.
40+ + [ ] Update web site with SHA256 hash of binary
4041+ [ ] Email Mailing list.
4142+ [ ] Make REDDIT post.
4243+ [ ] Tweet
mkpkg.sh+3
@@ -62,3 +62,6 @@ pkgbuild --identifier org.idris-lang \
6262 --version "v$VERSION" \
6363 --root /tmp/idris-pkg/ \
6464 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