<pre style='margin:0'>
Landon Fuller (landonf) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/81af29855c656f1af6c3e8c3640a27f225cec30d">https://github.com/macports/macports-ports/commit/81af29855c656f1af6c3e8c3640a27f225cec30d</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 81af29855c656f1af6c3e8c3640a27f225cec30d
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Wed Mar 18 19:59:52 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200318-(fc97abe|0405434)
</span>---
 lang/fstar/Portfile                                 | 21 ++++++++++++---------
 .../patch-examples_machine__integers_Makefile       | 11 +++++++++++
 lang/fstar/files/fstar-devel/patch-fix-make-cmd     |  8 ++++++++
 3 files changed, 31 insertions(+), 9 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/Portfile b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 41dd284..b887a86 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -45,7 +45,7 @@ if {${fstar.stable}} {
</span>     # Strip everything but <major>.<minor>
     fstar.release       [regsub {^([^\.]+\.[^\.]+).*} ${fstar.version} {\1}]
 } else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    fstar.version       20200226
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200318
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -157,14 +157,17 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} f1c1818fd8940d3e3a578ce3a60d348d095873a7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} fc97abe1a25875c2f4ab7de2954acf0932546491
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  0d6e2fe4ae57fe265698febeebf690ee1d1bc8d6 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  24fc79347dc3732651f64017eb1f9a3cd3d16726397d0226348e4d1e1360a9cf \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7436005
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  6daba0fd723337039bb604a324fa7aa3b252a704 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  03a7cf4a634cc319ac7b379984d3a55a240be78e683546c7e63ad17c89de3c55 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7459940
</span>     github.tarball_from tarball
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    patchfiles-append   fstar-devel/patch-fix-make-cmd \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        fstar-devel/patch-examples_machine__integers_Makefile
</span> }
 
 subport kremlin {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -205,13 +208,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} 2c5891d70f665d37f9796778315862c776fa964f
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 04054342cb527ecb97633d0d88a739ae0b320146
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  e0e6e08900f54bf54c644304e6cf3b1b3d5f12c5 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  2684c459d00edb8f021d65c3ae55ab1a7f90891e0c081578b2e362e2bb65b0de \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    758434
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  7d146ef70d493605084d5f35b29ef2b1aae36e7f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  2294b5910a1963a7ef18a6ac1e0264479be3e00b7aeccefa237ddd5afff25503 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    759023
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/fstar-devel/patch-examples_machine__integers_Makefile b/lang/fstar/files/fstar-devel/patch-examples_machine__integers_Makefile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..d97a119
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/fstar-devel/patch-examples_machine__integers_Makefile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,11 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- examples/machine_integers/Makefile.orig        2020-03-18 21:04:06.344766000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ examples/machine_integers/Makefile     2020-03-18 21:04:26.871814000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -15,7 +15,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ %.exe: %.fst | out
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(eval B := $(patsubst %.exe,%,$@))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(FSTAR) $(FSTAR_DEFAULT_ARGS) --odir out --codegen OCaml --extract '${B}' '${B}.fst'
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  /bin/echo -e '\n\nlet _ = main ()\n' >> out/${B}.ml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  printf '\n\nlet _ = main ()\n' >> out/${B}.ml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(OCAMLOPT) out/${B}.ml -o $@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ %.out: %.exe
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/fstar-devel/patch-fix-make-cmd b/lang/fstar/files/fstar-devel/patch-fix-make-cmd
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..e2649bb
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/fstar-devel/patch-fix-make-cmd
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,8 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/ocaml-output/Makefile.orig 2020-03-18 19:35:25.146911000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/ocaml-output/Makefile      2020-03-18 19:35:43.678629000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -294,4 +294,4 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -include .depend
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ intfiles:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  make -C ../../ulib/ml/ intfiles
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  $(MAKE) -C ../../ulib/ml/ intfiles
</span></pre><pre style='margin:0'>

</pre>