<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>