From 6b35bbb01d8c83db7210b5a86e0d0bd8eff325ad Mon Sep 17 00:00:00 2001
From: Edwin Brady <ecb10@st-andrews.ac.uk>
Date: Wed, 8 Mar 2017 10:59:30 +0000
Subject: [PATCH] Calculate SHA256 in mkpkg.sh

---
 RELEASE-CHECKS.md | 1 +
 mkpkg.sh          | 3 +++
 2 files changed, 4 insertions(+)

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