
* added -pipe to CFLAGS, builds are faster and /tmp usage is avoided at the cost of more memory used. * replaced ppl by isl as required by gcc 4.8
* added -pipe to CFLAGS, builds are faster and /tmp usage is avoided at the cost of more memory used. * replaced ppl by isl as required by gcc 4.8