diff options
author | Rob Savoye <rob.savoye@linaro.org> | 2013-05-31 18:15:02 -0600 |
---|---|---|
committer | Rob Savoye <rob.savoye@linaro.org> | 2013-05-31 18:15:02 -0600 |
commit | c0e5dfe485ca388d37920a34db1f2246ec07adf9 (patch) | |
tree | 52d20b76eae7c5468fe2f3234e2b6ca938e40d51 | |
parent | a76fd61472ca4edbafebd914fdcda66f50d0ff22 (diff) |
use --with-gmp=
-rw-r--r-- | config/cloog-parma.conf | 4 | ||||
-rw-r--r-- | config/cloog-polylib.conf | 4 | ||||
-rw-r--r-- | config/cloog-ppl.conf | 4 |
3 files changed, 9 insertions, 3 deletions
diff --git a/config/cloog-parma.conf b/config/cloog-parma.conf index 06144f6f..65980726 100644 --- a/config/cloog-parma.conf +++ b/config/cloog-parma.conf @@ -2,4 +2,6 @@ depends="polylib" # This is a list of default flags always supplied to configure -default_configure_flags="--with-gmp=${PWD}/${hostname}/${build}/depends --with-cloog-prefix=${PWD}/${hostname}/${build}/depends --with-gmp-prefix=${PWD}/${hostname}/${build}/depends --with-ppl-prefix=${PWD}/${hostname}/${build}/depends" +default_configure_flags="--with-cloog-prefix=${PWD}/${hostname}/${build}/depends --with-gmp-prefix=${PWD}/${hostname}/${build}/depends --with-ppl-prefix=${PWD}/${hostname}/${build}/depends" + + diff --git a/config/cloog-polylib.conf b/config/cloog-polylib.conf index d0be96d7..bb3e4714 100644 --- a/config/cloog-polylib.conf +++ b/config/cloog-polylib.conf @@ -2,4 +2,6 @@ depends="polylib" # This is a list of default flags always supplied to configure -default_configure_flags="--with-gmp=${PWD}/${hostname}/${build}/depends --with-cloog-prefix=${PWD}/${hostname}/${build}/depends --with-gmp-prefix=${PWD}/${hostname}/${build}/depends --with-polylib-prefix=${PWD}/${hostname}/${build}/depends" +default_configure_flags="--with-cloog-prefix=${PWD}/${hostname}/${build}/depends --with-gmp-prefix=${PWD}/${hostname}/${build}/depends --with-polylib-prefix=${PWD}/${hostname}/${build}/depends" + + diff --git a/config/cloog-ppl.conf b/config/cloog-ppl.conf index ccbf2220..db93c213 100644 --- a/config/cloog-ppl.conf +++ b/config/cloog-ppl.conf @@ -2,4 +2,6 @@ depends="ppl" # This is a list of default flags always supplied to configure -default_configure_flags="--with-gmp-prefix=${PWD}/${hostname}/${build}/depends --with-ppl=${PWD}/${hostname}/${build}/depends" +default_configure_flags="--with-gmp=${PWD}/${hostname}/${build}/depends --with-ppl=${PWD}/${hostname}/${build}/depends" + + |