<pre style='margin:0'>
Jackson Isaac (JacksonIsaac) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/333d2dd34281cc73c27842554645111cdfcc6200">https://github.com/macports/macports-ports/commit/333d2dd34281cc73c27842554645111cdfcc6200</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 333d2dd  acl2: Add dist_subdir, set distname
</span>333d2dd is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 333d2dd34281cc73c27842554645111cdfcc6200
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Thu May 10 01:07:35 2018 +0530

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Add dist_subdir, set distname
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    - Use dist_subdir due to stealth update. The distfile
</span><span style='display:block; white-space:pre;color:#404040;'>    changed after using releases instead of github tarball.
</span><span style='display:block; white-space:pre;color:#404040;'>    - Use distname instead of distfiles.
</span><span style='display:block; white-space:pre;color:#404040;'>    - Use ${worksrcdir} instead of hard-coded path.
</span>---
 math/acl2/Portfile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/acl2/Portfile b/math/acl2/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 4707300..1c4bc1a 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/acl2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/acl2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -10,6 +10,9 @@ set shortversion    v8-0
</span> github.setup        acl2-devel ${name}-devel ${version}
 github.tarball_from releases
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+## Remove this when a new update is released.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+dist_subdir         ${name}/${version}_1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> license             BSD
 categories          math
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -43,7 +46,7 @@ in the included examples. This can take several hours.
</span> "
 
 homepage            http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
<span style='display:block; white-space:pre;background:#ffe0e0;'>-distfiles           ${name}-${version}${extract.suffix}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distname            ${name}-${version}
</span> 
 checksums           md5     b0269a6c7ea89b6442acafd59452764d \
                     sha1    197b90da2efc37b4558aad0f58314403ee8d25a4 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -141,7 +144,7 @@ build {
</span> 
 destroot {
     file mkdir ${destroot}/${target_path}
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    foreach f [glob -directory ${workpath}/${name}-devel-${version} *] {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    foreach f [glob -directory ${workpath}/${worksrcdir} *] {
</span>         file copy $f ${destroot}/${target_path}
     }
 
</pre><pre style='margin:0'>

</pre>