summaryrefslogtreecommitdiff
path: root/lang/polyml/patches
AgeCommit message (Expand)AuthorFilesLines
2014-09-29Make compiler wrapper add RPATH.asau1-1/+13
2014-09-24Use C++ frontend to link the code.asau3-0/+60
2014-09-13Update to Poly/ML 5.5.2asau2-21/+5
2014-03-05Fix compilation script to actually work.asau1-2/+2
2013-12-15Update to Poly/ML 5.5.1asau2-5/+21
2012-03-22Update to Poly/ML 5.4.1asau2-15/+18
2009-12-13Update to Poly/ML Version 5.3asau1-0/+15