From 91ec0b189b6d1aa3c92aacf3a8ac032517498b6c Mon Sep 17 00:00:00 2001
From: Jeremie Koenig <jeremie.koenig@yale.edu>
Date: Fri, 22 Nov 2024 02:55:52 -0500
Subject: [PATCH] Source archive

---
 compcertoe/Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/compcertoe/Makefile b/compcertoe/Makefile
index ba7768c..0f87829 100644
--- a/compcertoe/Makefile
+++ b/compcertoe/Makefile
@@ -1,6 +1,7 @@
 MAIN = compcertoe
 LDIFREF = compcertoe-popl25-revised
 LDIFOPTS = --packages=amsmath,hyperref,biblatex
+SOURCES = acmart.cls ACM-Reference-Format.bst references.bib $(MAIN).tex $(MAIN).bbl Makefile
 
 $(MAIN).pdf: $(MAIN).bbl
 compcertoe-with-appendix.pdf: compcertoe-with-appendix.bbl
@@ -35,6 +36,10 @@ compcertoe-diff.tex: compcertoe.tex compcertoe-ref.tex
 	latexdiff $(LDIFOPTS) compcertoe-ref.tex compcertoe.tex > $@.n
 	mv $@.n $@
 
+source.zip: $(SOURCES)
+	rm -f $@
+	zip $@ $(SOURCES)
+
 clean:
 	rm -f $(patsubst %,$(MAIN).%,aux aux~ log pdf nav out bbl blg toc pyg)
 	rm -rf _minted-$(MAIN)