summaryrefslogtreecommitdiff
path: root/patches/ppl/0.11.2/200-fix-build-with-local-gmp.patch
AgeCommit message (Expand)AuthorFilesLines
2015-11-30PPL: Remove support for PPL and CLooG/PPLBryan Hundven1-24/+0
2013-07-24complibs/ppl: fix build when local system has libgmp already installedYann E. MORIN"1-0/+24