Sign in
llvm
/
llvm-archive
/
873759cf4bb352d063878fbe42443e99be5c38df
/
.
/
safecode
/
lib
/
ProofWrap
/
Makefile
blob: a41c8013afab9276682b9672d7b246c9a0db825d [
file
] [
log
] [
blame
]
LEVEL
=
../../
SHARED_LIBRARY
=
1
LIBRARYNAME
=
proofwrap
include $
(
LEVEL
)/
Makefile
.
common
