<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/f60066b4a4f51566e568f59943c2c4e46884dd9c">https://github.com/macports/macports-ports/commit/f60066b4a4f51566e568f59943c2c4e46884dd9c</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit f60066b4a4f51566e568f59943c2c4e46884dd9c
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Aug 3 10:25:10 2020 -0600
<span style='display:block; white-space:pre;color:#404040;'> (fstar|kremlin)-devel: update to 20200803-(52ed2ac|c33d71f)
</span>---
lang/fstar/Portfile | 21 ++++++++++-----------
.../files/kremlin-devel/patch-fix-kremlib-obj-dir | 11 -----------
2 files changed, 10 insertions(+), 22 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 42b1a57b6e5..3f5a7e3ee2e 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 20200728
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fstar.version 20200803
</span> fstar.release devel
}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -157,13 +157,13 @@ subport fstar {
</span> }
subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup ${github.author} ${github.project} a2f188b27dd395691bf2c77a07670611b99e15da
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup ${github.author} ${github.project} 52ed2acfb047ad31d544baf76e5142b3361ba93e
</span> version ${fstar.version}-[string range ${github.version} 0 6]
revision 0
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 d77188a0a8ce85f2fc9ae26451f03b0ac0c486ed \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 b73e99c4c3f78a1aae58f4d15f47e67f0fd0463f953ec42e76775b711532e78a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 7781249
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 00b27402fb366601866c2d69171c73f7ffe25c79 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 a8b26e197922c0a29cb29da5753e6e18cda9c36892cbb55564cae70defad647d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 7788550
</span> github.tarball_from tarball
patchfiles-append fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -207,19 +207,18 @@ subport kremlin {
</span> }
subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup ${github.author} ${fstar.project} 83354df228344be6dc62a7ea90b1817e752976f7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup ${github.author} ${fstar.project} c33d71fe529f6052cd05f8ad826287c0458402bf
</span> version ${fstar.version}-[string range ${github.version} 0 6]
revision 0
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 3cf85b4bc9d2f17ad3f19adbb908a44ba0545664 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 08a36bb4a7b300389cbb186ccd6f4d097b53d534a1fd69dd28dcf7a9ded58296 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 876729
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 4ae6c981d9f7286d064bbb1d39976dee4ed919e3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 9aa5a0b1c7ad0470f49260c295317f43e5c38f3a465409648853f5c5332f578f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 877845
</span>
patchfiles-append kremlin-devel/patch-clang-driver-options \
kremlin-devel/patch-fix-make-command \
kremlin-devel/patch-fstar-discover-path \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- kremlin-devel/patch-test_system_system.h \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- kremlin-devel/patch-fix-kremlib-obj-dir
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ kremlin-devel/patch-test_system_system.h
</span>
depends_lib-append port:ocaml-sedlex
depends_test-append port:ocaml-ctypes
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir b/lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 265cb70ff22..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- kremlib/Makefile.orig 2020-07-28 14:44:34.440259000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ kremlib/Makefile 2020-07-28 14:44:49.606155000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -31,7 +31,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- INCLUDE_PATHS = ../runtime
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--FSTAR = $(FSTAR_EXE) $(FSTAR_OPTIONS) --cache_checked_modules --cache_dir obj \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+FSTAR = $(FSTAR_EXE) $(FSTAR_OPTIONS) --cache_checked_modules \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- --hint_dir hints \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- $(addprefix --include , $(INCLUDE_PATHS)) --cmi \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- --already_cached 'Prims FStar -FStar.Kremlin.Endianness LowStar -LowStar.Lib'
</span></pre><pre style='margin:0'>
</pre>