summaryrefslogtreecommitdiff
path: root/config/companion_libs.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r--config/companion_libs.in17
1 files changed, 1 insertions, 16 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index 3567512..67094cb 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -28,11 +28,6 @@ config MPFR_NEEDED
select MPFR
select COMPLIBS_NEEDED
-config PPL_NEEDED
- bool
- select PPL
- select COMPLIBS_NEEDED
-
config ISL_NEEDED
bool
select ISL
@@ -83,11 +78,6 @@ config MPFR
select GMP
select COMPLIBS
-config PPL
- bool
- select GMP
- select COMPLIBS
-
config ISL
bool
select GMP
@@ -137,9 +127,6 @@ endif
if MPFR
source "config/companion_libs/mpfr.in"
endif
-if PPL
-source "config/companion_libs/ppl.in"
-endif
if ISL
source "config/companion_libs/isl.in"
endif
@@ -182,9 +169,7 @@ config COMPLIBS_CHECK
If you suspect that one (or more) of your companion libraries is the
cause for incorrectly generated code, you should answer 'Y' here.
- Note however that this will take a really long time. For example,
- building PPL on my machine takes roughly 1'40", while checking it takes
- about 1h40'...
+ Note however that this will take a really long time.
endif # COMPLIBS