
set(papi_PREFIX "/usr/local/tools/papi")
set(papi_DEFAULT_INCLUDE_DIRS "${papi_PREFIX}/include")
set(papi_DEFAULT_LIB_DIR "${papi_PREFIX}/lib")
set(papi_DEFAULT_LIBS "papi")

set(papi_DEFAULT_DEFINITIONS "-DKRIPKE_USE_PAPI")




