diff options
| author |   Alexey Neyman <stilor@att.net> | 2022-02-14 08:11:42 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2022-02-14 08:11:42 (GMT) |
| commit | 681aaef1f1ff39c341fdc529e0db2c14639a58d8 (patch) | |
| tree | ce98c2b3d9648db065d27add325370392a35d584 /scripts/build/companion_libs/121-isl.sh | |
| parent | ba680a3e5b8c62a7c1554e71f6d09903dac95a2f (diff) | |
| parent | 86c2982568de1ad4d4cc12a65b19231331484405 (diff) | |
Merge pull request #1674 from stilor/master
Updates to make `ct-ng build-all` pass
Diffstat (limited to 'scripts/build/companion_libs/121-isl.sh')
| -rw-r--r-- | scripts/build/companion_libs/121-isl.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/build/companion_libs/121-isl.sh b/scripts/build/companion_libs/121-isl.sh index 8b1b720..3577b75 100644 --- a/scripts/build/companion_libs/121-isl.sh +++ b/scripts/build/companion_libs/121-isl.sh @@ -84,15 +84,6 @@ do_isl_backend() { CT_DoLog EXTRA "Configuring ISL" - if [ "${CT_ISL_NEEDS_WITH_GMP}" != "y" ]; then - extra_config+=("--with-libgmp-prefix=${prefix}") - extra_config+=("--with-libgmpxx-prefix=${prefix}") - fi - - if [ "${CT_ISL_HAS_WITH_PIPLIB}" != "y" ]; then - extra_config+=("--with-piplib=no") - fi - CT_DoExecLog CFG \ CFLAGS="${cflags}" \ CXXFLAGS="${cxxflags}" \ |