<pre style='margin:0'>
Jeremy L (nerdling) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/e4ed879ed23db2318bb55f0290487588be8a341b">https://github.com/macports/macports-ports/commit/e4ed879ed23db2318bb55f0290487588be8a341b</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit e4ed879ed23db2318bb55f0290487588be8a341b
</span>Author: Jeremy Lavergne <snc@macports.org>
AuthorDate: Mon Mar 23 11:00:09 2020 -0400

<span style='display:block; white-space:pre;color:#404040;'>    sbsat: fix sites, silent upgrade
</span>---
 science/sbsat/Portfile                  | 26 +++++++-------------------
 science/sbsat/files/patch-peephole.diff | 22 ++++++++++++++++++++++
 2 files changed, 29 insertions(+), 19 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/sbsat/Portfile b/science/sbsat/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index e3844bd..84691cc 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/science/sbsat/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/science/sbsat/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,7 +4,8 @@ PortSystem          1.0
</span> 
 name                sbsat
 version             2.7b
<span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+dist_subdir         ${name}/${version}_1
</span> categories          science math
 maintainers         {snc @nerdling}
 license             Permissive
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -13,26 +14,13 @@ long_description    SBSAT is a software package used primarily for solving \
</span>                     instances of a generalization of the well-known \
                     Satisfiability problem.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage            http://www.cs.uc.edu/~weaversa/SBSAT.html
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            http://gauss.ececs.uc.edu/franco_files/sbsat.html
</span> platforms           freebsd darwin
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites        http://www.cs.uc.edu/~weaversa/SBSAT_files/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160 0ef8e2ee04d54b71fe837407ba3f771cca381636 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  deeddec6495a8065c28f4bf29823d5e8b702688e61e777cc281cead3881b1f52
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-variant jeremy description {Enable Jeremy's modifications} {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    depends_run     path:bin/python:python27
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles      patch-src-generator-Makefile.am.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-src-generator-gentest.cc.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-configure.ac.diff
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    post-patch {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        file copy ${filespath}/slider3_base.py ${worksrcpath}/src/generator/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        reinplace s|@@PREFIX@@|${prefix}/bin| ${worksrcpath}/src/generator/gentest.cc
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    }
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    use_autoreconf      yes
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+master_sites        http://gauss.ececs.uc.edu/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  68196b70cb83ad361c5af9e5db17ad292a5a5f26 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  4190ab2b2a5890b5b8d0f56bb6bd54092e84c57e3120f7c1ff001fbcff3eb48f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1560948
</span> 
 depends_build-append port:help2man
 
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/sbsat/files/patch-peephole.diff b/science/sbsat/files/patch-peephole.diff
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..77dda60
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/science/sbsat/files/patch-peephole.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,22 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- configure.ac   2020-03-23 10:43:36.000000000 -0400
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ configure.ac.orig      2020-03-23 10:43:23.000000000 -0400
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -21,7 +21,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_ARG_ENABLE(optimization, 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [  --enable-optimization   Turn on compiler optimization (default=no)],
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     [if eval "test x$enable_optimization = xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-        MYCXXFLAGS="-O3 -DNDEBUG -ffast-math -fno-strict-aliasing -funroll-all-loops -fno-peephole -fexpensive-optimizations -fomit-frame-pointer -finline-limit=10000"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++        MYCXXFLAGS="-O3 -DNDEBUG -ffast-math -fno-strict-aliasing -funroll-all-loops -fexpensive-optimizations -fomit-frame-pointer -finline-limit=10000"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   MYCCFLAGS="-xO5 -KPIC -dalign -native"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     fi])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- configure      2020-03-23 10:43:53.000000000 -0400
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ configure.orig 2020-03-23 10:43:27.000000000 -0400
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -3177,7 +3177,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Check whether --enable-optimization was given.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if test "${enable_optimization+set}" = set; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   enableval=$enable_optimization; if eval "test x$enable_optimization = xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-        MYCXXFLAGS="-O3 -DNDEBUG -ffast-math -fno-strict-aliasing -funroll-all-loops -fno-peephole -fexpensive-optimizations -fomit-frame-pointer -finline-limit=10000"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++        MYCXXFLAGS="-O3 -DNDEBUG -ffast-math -fno-strict-aliasing -funroll-all-loops -fexpensive-optimizations -fomit-frame-pointer -finline-limit=10000"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   MYCCFLAGS="-xO5 -KPIC -dalign -native"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fi
</span></pre><pre style='margin:0'>

</pre>