Commit d4975a05 authored by Noric Couderc's avatar Noric Couderc
Browse files

Changed the order of options for PAPI location

We'll look into /usr/local/ first.
parent 783337cf
......@@ -38,9 +38,9 @@ class PAPIPlugin implements Plugin<Project> {
}
def findPapi() {
def options = [Paths.get("/usr", "lib", "x86_64-linux-gnu", "libpapi.so"),
Paths.get("/usr", "local", "lib", "x86_64-linux-gnu", "libpapi.so"),
Paths.get("/usr", "local", "lib", "libpapi.so")]
def options = [Paths.get("/usr", "local", "lib", "libpapi.so"),
Paths.get("/usr", "lib", "x86_64-linux-gnu", "libpapi.so"),
Paths.get("/usr", "local", "lib", "x86_64-linux-gnu", "libpapi.so")]
def env = System.getenv()
if (env.containsKey("PAPI_LIBRARY_PATH")) {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment