From 921b14835bde136296ec44622af64105a5587024 Mon Sep 17 00:00:00 2001
From: Ali Karbassi <ali@karbassi.com>
Date: Wed, 4 Aug 2021 16:52:16 +0000
Subject: [PATCH] Use 7zip on Windows

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4219bf22..6bd75e6d 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,12 @@ INSTALL_DATA = $(INSTALL) -m 644
 
 prefix = /usr/local
 
+ifeq ($(OS), Windows_NT)
+	ZIP_PROGRAM=7z a -r
+else
+	ZIP_PROGRAM=zip -r -9
+endif
+
 # ifdef check allows the user to pass custom dirs
 # as per the README
 
@@ -54,7 +60,7 @@ dist: $(DISTFILES) todo.sh
 	chmod +x "$(DISTNAME)/todo.sh"
 	tar cf $(DISTNAME).tar "$(DISTNAME)"
 	gzip -f -9 "$(DISTNAME).tar"
-	zip -r -9 "$(DISTNAME).zip" "$(DISTNAME)"
+	$(ZIP_PROGRAM) "$(DISTNAME).zip" "$(DISTNAME)"
 	rm -r "$(DISTNAME)"
 
 .PHONY: clean