Makefile - oopsla21_fvhls - Formal verification of high-level synthesis.

summary refs log tree commit diff stats

path: root/Makefile

blob: 096e62dedf7d93b24e3adec7481769fac27035f0 (plain)

all:
	latexmk -lualatex -shell-escape main.tex

.PHONY: all clean

clean:
	git clean -dfx