Created attachment 144743 [details] polyml.diff - update to version 5.5.2 - use more modern ports conventions (USES libtool:keepla, pkgconfig pathfix) - add support for system libffi - Use sed instead of patch to configure file How-To-Repeat: Apply patch and build port Fix: The included patch
Status of RedPorts: lang/polyml 5.5.2 10.0-RELEASE/amd64 success 15 minutes Buildlog 10.0-RELEASE/i386 success 2 minutes Buildlog 9.2-RELEASE/amd64 success 3 minutes Buildlog 9.2-RELEASE/i386 success 14 minutes Buildlog QATty depend (missing_header in lang/gcc) 7 minutes Buildlog https://redports.org/buildarchive/20140717062600-58905/ Note that the missing_header in QATty is for lang/gcc, not the port itself, so I believe that it is irrelevant.
Created attachment 144746 [details] output of "port test" - Output of "port test" included
Output of "portlint -CA" looks fine.
A commit references this bug: Author: marino Date: Sun Jul 27 07:59:57 UTC 2014 New revision: 363018 URL: http://svnweb.freebsd.org/changeset/ports/363018 Log: lang/polyml: Upgrade version 5.5 => 5.5.2 Also: * add support for system libffi * Use sed instead of patch to fix configure * Adopt modern port conventions PR: 191914 Submitted by: maintainer (Timothy Beyer) Changes: head/lang/polyml/Makefile head/lang/polyml/distinfo head/lang/polyml/files/
Thanks!