<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/78637c3facddbc4a249da705fcff07af9187c940">https://github.com/macports/macports-ports/commit/78637c3facddbc4a249da705fcff07af9187c940</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 78637c3  acl2: Use notes-append for variants related notes
</span>78637c3 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 78637c3facddbc4a249da705fcff07af9187c940
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Thu Apr 26 01:52:11 2018 +0530

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Use notes-append for variants related notes
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Multiple notes would overwrite the previous notes.
</span><span style='display:block; white-space:pre;color:#404040;'>    Hence use notes-append for following notes in variants
</span><span style='display:block; white-space:pre;color:#404040;'>    block.
</span>---
 math/acl2/Portfile | 4 ++--
 1 file changed, 2 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 c0640a9..c128f09 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;'>@@ -271,8 +271,8 @@ if {[variant_isset nonstd] && ![variant_isset ccl]} {
</span>     # Even upstream uses ccl by default
     # The following note will intimate the user to pass +ccl
     # variant along with +nonstd if they face errors.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    notes "acl2r might raise heap memory errors for some users when using sbcl backend.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    notes-append " \n"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    notes-append "acl2r might raise heap memory errors for some users when using sbcl backend.
</span> Please install +nonstd with +ccl variant to use acl2r, if you face any errors.
 "
 }
</pre><pre style='margin:0'>

</pre>