summaryrefslogtreecommitdiff
path: root/patches/ppl/0.10.2
AgeCommit message (Expand)AuthorFilesLines
2015-11-30PPL: Remove support for PPL and CLooG/PPLBryan Hundven2-54/+0
2013-07-24complibs/ppl: fix build when local system has libgmp already installedYann E. MORIN"1-0/+26
2010-08-05complibs/ppl: fix PPL build with GMP 5.x.xArnaud Lacombe1-0/+28
2010-07-14complibs/ppl: backout #9f0de857cb05Yann E. MORIN"1-19/+0
2010-07-11complibs/ppl: fix build for MINGWBart vdr Meulen1-0/+19