projects
/
libreriscv.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
f99d01114078db531823e8ed1c88bb1c02d57ee1
[libreriscv.git]
/
conferences
/
fosdem2024
/
fosdem2024_formal
/
Makefile
1
all
:
formal.pdf
2
3
formal.pdf
:
formal.md states_enable.png states_one.png states_output.png \
4
states_input.png states_verification.png states_complete.png \
5
test_enable.png
6
7
%
.pdf
: %
.md
8
pandoc
-
t beamer
$< -
o
$
@
9
10
%
.svg
: %
.dia
11
dia
-
e
$*
.svg
$<
12
13
%
.png
: %
.svg
14
inkscape
-
w
800
-
e
$
@
$*
.svg