diff options
author | Bryan Hundven <bryanhundven@gmail.com> | 2015-09-01 05:12:51 (GMT) |
---|---|---|
committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-09-01 05:12:51 (GMT) |
commit | 366255e75c9da7e5d3503b543cb9823a2caae5a7 (patch) | |
tree | b70b43818127d06c5843d787ba951163fe0827b7 /scripts/build/companion_libs/121-isl.sh | |
parent | 094b5be8fd9b8a99636b802430eb4ae2edc37710 (diff) | |
parent | 25dc2d44703ff24e512102a43731ffd5f4723d71 (diff) |
Merge pull request #143 from jasmin-j/fix_141
Added new config ISL_V_0_14_or_later and ISL_V_0_12_or_later to select
Diffstat (limited to 'scripts/build/companion_libs/121-isl.sh')
-rw-r--r-- | scripts/build/companion_libs/121-isl.sh | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/scripts/build/companion_libs/121-isl.sh b/scripts/build/companion_libs/121-isl.sh index 6c06ab0..5a623e1 100644 --- a/scripts/build/companion_libs/121-isl.sh +++ b/scripts/build/companion_libs/121-isl.sh @@ -87,6 +87,7 @@ do_isl_backend() { local cflags local cxxflags local ldflags + local -a extra_config local arg for arg in "$@"; do @@ -95,6 +96,15 @@ do_isl_backend() { CT_DoLog EXTRA "Configuring ISL" + if [ "${CT_ISL_V_0_12_or_later}" != "y" ]; then + extra_config+=("--with-libgmp-prefix=${prefix}") + extra_config+=("--with-libgmpxx-prefix=${prefix}") + fi + + if [ "${CT_ISL_V_0_14_or_later}" != "y" ]; then + extra_config+=("--with-piplib=no") + fi + CT_DoExecLog CFG \ CFLAGS="${cflags}" \ CXXFLAGS="${cxxflags}" \ @@ -103,14 +113,11 @@ do_isl_backend() { --build=${CT_BUILD} \ --host=${host} \ --prefix="${prefix}" \ - --with-libgmp-prefix="${prefix}" \ - --with-libgmpxx-prefix="${prefix}" \ - --with-gmp-prefix="${prefix}" \ + "${extra_config[@]}" \ --disable-shared \ --enable-static \ --with-gmp=system \ --with-gmp-prefix="${prefix}" \ - --with-piplib=no \ --with-clang=no CT_DoLog EXTRA "Building ISL" |