ci: rename binaries in release target

Makefile

@@ -92,22 +92,15 @@ release:
 	@echo "SPEX_BIN=$(SPEX_BIN)"
   ifeq ($(GITHUB_ACTIONS),true)
 	ls -R $(SPEX_BIN)
-	#upx -q $(SPEX_BIN)/*/*
-	#gh release create --draft --notes-file=CHANGELOG.md \
-	#	"v$(NEW_VERSION)" $(SPEX_BIN)/*/*
+	for dir in $$(ls $(SPEX_BIN)); do \
+		mv $(SPEX_BIN)/$$dir/spex \
+		   $(SPEX_BIN)/spex-$(NEW_VERSION)-$$(basename $$dir); \
+	done
+	upx -q $(SPEX_BIN)/spex-*
+	gh release create --draft --notes-file=CHANGELOG.md \
+		"v$(NEW_VERSION)" $(SPEX_BIN)/spex-*
   else
 	@echo Running locally, skipping automatic release...
-	@echo 
-	@echo If you really want to make a release, manually run:
-	@echo 
-	@echo "  upx -q $(SPEX_BIN)/spex"
-	@echo "  gh release create --draft --notes-file=CHANGELOG.md \
-		"v$(NEW_VERSION)" $(SPEX_BIN)/spex"
-	@echo 
-	@echo You might want to add more binaries. One of the reasons for releasing 
-	@echo "being disabled locally, is because it's difficult to tell programatically"
-	@echo exactly what binaries to include in the release. See the following issue:
-	@echo https://github.com/haskell/cabal/issues/9732 for more infomation.
   endif
 
 clean: