1.1 --- a/config/companion_libs.in	Sat May 04 00:08:34 2013 +0200
     1.2 +++ b/config/companion_libs.in	Sun May 11 23:31:54 2014 +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