1.1 --- a/config/companion_libs.in Sat May 04 00:08:34 2013 +0200
1.2 +++ b/config/companion_libs.in Wed Jun 25 23:33:01 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