<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/adc4f7a91e5449fb532c22d1ed2204594c654cfa">https://github.com/macports/macports-ports/commit/adc4f7a91e5449fb532c22d1ed2204594c654cfa</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new adc4f7a polyml: use system libffi
</span>adc4f7a is described below
<span style='display:block; white-space:pre;color:#808000;'>commit adc4f7a91e5449fb532c22d1ed2204594c654cfa
</span>Author: Phil Clayton <phil.clayton@veonix.com>
AuthorDate: Sat Oct 20 22:14:31 2018 +0100
<span style='display:block; white-space:pre;color:#404040;'> polyml: use system libffi
</span>---
lang/polyml/Portfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/polyml/Portfile b/lang/polyml/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index ee78dac..b2e920e 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/polyml/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/polyml/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -17,10 +17,10 @@ checksums rmd160 17644f9f9c3073486788e1bf6a368247788cfd35 \
</span> sha256 31d01e21af6203af75f8b377eeb90aa3eb8b7b1a6e2d942323da53ae390c57e5 \
size 7218581
<span style='display:block; white-space:pre;background:#ffe0e0;'>-depends_lib port:gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib port:gmp port:libffi
</span>
configure.args --mandir=${prefix}/share/man --build=${build_arch}-apple-darwin${os.major} \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- --enable-shared
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ --enable-shared --with-system-libffi
</span>
post-destroot {
xinstall -m 755 -d ${destroot}${prefix}/share/doc/${name}
</pre><pre style='margin:0'>
</pre>