Date: Thu, 17 Jul 2014 07:53:02 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 191914] New: update port: lang/polyml Message-ID: <bug-191914-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191914 Bug ID: 191914 Summary: update port: lang/polyml Product: Ports Tree Version: Latest Hardware: Any OS: Any Status: Needs Triage Severity: Affects Only Me Priority: Normal Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: beyert@cs.ucr.edu Created attachment 144743 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=144743&action=edit 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 -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-191914-13>