Agda homework grading

Makefile

AGDA_FILES=$(wildcard *.agda)
TEX_FILES=${AGDA_FILES:.agda=.tex}
PDF_FILES=${AGDA_FILES:.agda=.pdf}
MONO_FONT=DejaVu Sans Mono # FreeMono is another choice
PYGMENTS_STYLE=tango

GRADED_XOPP_FILES=$(wildcard *-graded.xopp)
GRADED_PDF_FILES=${GRADED_XOPP_FILES:.xopp=.pdf}

.PHONY: all
all: ${PDF_FILES} ${GRADED_PDF_FILES}

${TEX_FILES}:%.tex:%.agda Makefile
	echo > $@
	echo '\documentclass{article}' >> $@
	echo '\usepackage{fontspec}' >> $@
	echo '\usepackage{unicode-math}' >> $@
	echo '\setmonofont{${MONO_FONT}}' >> $@
	echo '\usepackage{fullpage}' >> $@
	echo '\usepackage{minted}' >> $@
	echo '\usemintedstyle{${PYGMENTS_STYLE}}' >> $@
	echo '\begin{document}' >> $@
	echo '\inputminted[breaklines,fontsize=\footnotesize]{agda}{$<}' >> $@
	echo '\end{document}' >> $@
	

${PDF_FILES}:%.pdf:%.tex
	xelatex --shell-escape $^

${GRADED_PDF_FILES}:%.pdf:%.xopp
	xournalpp -p $@ $^