1.1 --- a/config/companion_libs.in	Sat May 04 00:08:34 2013 +0200
     1.2 +++ b/config/companion_libs.in	Sun May 05 00:01:05 2013 +0200
     1.3 @@ -67,7 +67,6 @@
     1.4  config CLOOG
     1.5      bool
     1.6      select GMP
     1.7 -    select PPL
     1.8      select COMPLIBS
     1.9  
    1.10  config MPC