Sign in
dart
/
sdk.git
/
14c523591aa64dd521da24fd911615e9f87643a5
/
.
/
pkg
/
kernel
/
coq
/
Makefile
blob: 67fafc61d81cdbea98f9bf1415c1be88c4f483ff [
file
] [
log
] [
blame
]
FLAGS
=-
R
.
Kernel
all
:
common syntax types
%.
vo
:
%.
v
coqc $
{
FLAGS
}
-
o $@ $
^
common
:
CpdtTactics
.
vo
Common
.
vo
CommonTactics
.
vo
syntax
:
common
SyntaxRaw
.
vo
Syntax
.
vo
types
:
common syntax
ObjectModel
.
vo
clean
:
rm
-
f
*.
aux
*.
vo
*.
glob
.*.
aux