diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ all: - latexmk -lualatex -pdf -shell-escape main.tex + latexmk -lualatex -shell-escape main.tex .PHONY: all clean |
index : oopsla21_fvhls | ||
Formal verification of high-level synthesis. |
summaryrefslogtreecommitdiffstats |