diff options
author | 2015-12-08 02:41:02 (GMT) | |
---|---|---|
committer | 2015-12-08 02:41:02 (GMT) | |
commit | 2d3c70dd3ddc5a569c0fa1a833fd5920029b5794 (patch) | |
tree | 22ccd44378e386a8e72f6486728513ced4f0304a /config/companion_libs.in | |
parent | 8a87716fbfe1743ac4fecd11d5f31e02bbdcbe77 (diff) | |
parent | cfd2a6b69c4945808ae153552e6978afb1273ef7 (diff) |
Merge pull request #282 from bhundven/less_gcc_versions_part2
Less gcc versions part2
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r-- | config/companion_libs.in | 17 |
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 |