From 815a2e4911a50579350539485b2d421cd025bbdc Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Wed, 12 Aug 2020 21:04:37 +0200
Subject: [PATCH] Add generation of checksum file

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6b59be3..16c3cc0 100644
--- a/Makefile
+++ b/Makefile
@@ -34,7 +34,8 @@ ghdl-formal_${TAG}.tar.gz:
 	docker run --rm -dit --name=ghdl-dummy ghdl-formal:${TAG} > /dev/null
 	docker cp ghdl-dummy:/opt/. artefacts
 	docker rm -f ghdl-dummy > /dev/null
-	tar -C artefacts -czf ghdl-formal_${TAG}.tar.gz .
+	tar -C artefacts -czf $@ .
+	shasum --algorithm 256 --UNIVERSAL $@ > $@.sha256
 
 
 clean: