Re: [MacPorts] #13342: polyml fails to build on Mac OS X 10.5 Leopard