diff --git a/RELEASE-CHECKS.md b/RELEASE-CHECKS.md index f8721b7c1..37ac9842e 100644 --- a/RELEASE-CHECKS.md +++ b/RELEASE-CHECKS.md @@ -37,6 +37,7 @@ Things to be checked, or done before a release is made. ## Announcements + [ ] Update website. + + [ ] Update web site with SHA256 hash of binary + [ ] Email Mailing list. + [ ] Make REDDIT post. + [ ] Tweet diff --git a/mkpkg.sh b/mkpkg.sh index a0608ac75..44ea150a3 100755 --- a/mkpkg.sh +++ b/mkpkg.sh @@ -62,3 +62,6 @@ pkgbuild --identifier org.idris-lang \ --version "v$VERSION" \ --root /tmp/idris-pkg/ \ idris-$VERSION.pkg + +echo "==> Creating SHA256 hash (don't forget to update web site!)" +shasum -a 256 idris-$VERSION.pkg > idris-$VERSION.pkg.sha256