Added funding acks and arxiv target

isotope-project · Nov 13, 2024 · 7292457 · 7292457
1 parent 2623230
commit 7292457
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -1,11 +1,17 @@
-all: paper.pdf resources.pdf 
+all: paper.pdf # resources.pdf 
 
 paper.pdf: paper.tex references.bib acmart.cls 
 	latexmk -pdf paper.tex
 
 resources.pdf: resources.tex acmart.cls references.bib 
 	latexmk -pdf resources.tex
 
+# Needs paper.bbl for arXiv reasons, but I'm too lazy to make that
+# a separate target, so I'm adding paper.pdf as a dep  
+arxiv.tar.gz: paper.tex references.bib paper.pdf 
+	tar cvzf archive.tar.gz acmart.bib acmart.cls acmauthoryear.cbx acm-jdslogo.png acmnumeric.cbx paper.bbl paper.tex references.bib string-diagrams.sty 
+
+
 clean: 
 	rm -f *.aux *.dtx *.bbx *.dbx *.bbl *.fdb_latexmk *.fls *.log *.out *~
 

diff --git a/arxiv.tar.gz b/arxiv.tar.gz
diff --git a/paper.tex b/paper.tex
@@ -5259,6 +5259,10 @@ \subsubsection{Guarded Iteration}
 labelled-iteration and SSA implied by the similarities between our respective syntaxes and
 semantics.
 
+\subsection*{Acknowledgements}
+
+This work was supported in part by a European Research Council (ERC) Consolidator Grant for the project ``TypeFoundry'', funded under the European Union's Horizon 2020 Framework Programme (grant agreement no. 101002277).
+
 \bibliographystyle{ACM-Reference-Format}
 \bibliography{references}