Sign in
llvm
/
llvm-archive
/
48649d2c83b557841c9e5c978d9ab5af13cb52e5
/
.
/
safecode
/
lib
/
ProofWrap
/
Makefile
blob: 99355fce9c4723be757d4e368ee8e6ceeb51953a [
file
] [
log
] [
blame
]
LEVEL
=
../../
LIBRARYNAME
=
proofwrap
include $
(
LEVEL
)/
Makefile
.
common