diff options
-rw-r--r-- | config/clogg-ppl.conf | 6 | ||||
-rw-r--r-- | config/gmp.conf | 6 | ||||
-rw-r--r-- | config/infrastructure.conf | 4 | ||||
-rw-r--r-- | config/mpfr.conf | 6 |
4 files changed, 22 insertions, 0 deletions
diff --git a/config/clogg-ppl.conf b/config/clogg-ppl.conf new file mode 100644 index 00000000..f17a4fd2 --- /dev/null +++ b/config/clogg-ppl.conf @@ -0,0 +1,6 @@ +# This is a list of other components need to build this component +depends="ppl" + +# This is a list of default flags always supplied to configure +default_configure_flags="--with-ppl=${PWD}/${hostname}/${build}/depends" + diff --git a/config/gmp.conf b/config/gmp.conf new file mode 100644 index 00000000..94c4bf32 --- /dev/null +++ b/config/gmp.conf @@ -0,0 +1,6 @@ +# This is a list of other components need to build this component +depends="gmp" + +# This is a list of default flags always supplied to configure +default_configure_flags="--with-gmp-prefix=${PWD}/${hostname}/${build}/depends" + diff --git a/config/infrastructure.conf b/config/infrastructure.conf new file mode 100644 index 00000000..46fa59ec --- /dev/null +++ b/config/infrastructure.conf @@ -0,0 +1,4 @@ +# These are the only libaries we build from the infrastructure directory +# They are built and installed in the order they are listed. +depends="ppl gmp isl mpc mpfr cloog-ppl" + diff --git a/config/mpfr.conf b/config/mpfr.conf new file mode 100644 index 00000000..628fc3a1 --- /dev/null +++ b/config/mpfr.conf @@ -0,0 +1,6 @@ +# This is a list of other components need to build this component +depends="gmp" + +# This is a list of default flags always supplied to configure +default_configure_flags="--with-gmp=${PWD}/${hostname}/${build}/depends" + |