svf-tools
Version:
* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.
13 lines (11 loc) • 340 B
Plain Text
prefix=${pcfiledir}/../..
exec_prefix=${prefix}
bindir=${exec_prefix}/@SVF_INSTALL_BINDIR@
libdir=${exec_prefix}/@SVF_INSTALL_LIBDIR@
includedir=${exec_prefix}/@SVF_INSTALL_INCLUDEDIR@
Name: SVF
Description: SVF Points to Analysis Framework
Version: @SVF_VERSION@
Requires: z3
Libs: -L${libdir} -lSvfCore -lSvfLLVM
Cflags: -I${includedir}