<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/1ee45ec60672ce7d36101788ac86102db080af08">https://github.com/macports/macports-ports/commit/1ee45ec60672ce7d36101788ac86102db080af08</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 1ee45ec (fstar|kremlin)-devel: Update to 20191010-(53d21ab|2f84363)
</span>1ee45ec is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 1ee45ec60672ce7d36101788ac86102db080af08
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Oct 11 12:30:14 2019 -0600
<span style='display:block; white-space:pre;color:#404040;'> (fstar|kremlin)-devel: Update to 20191010-(53d21ab|2f84363)
</span>---
lang/fstar/Portfile | 34 +++++++++++++----------
lang/fstar/files/patch-z3-path-generated-ml | 11 --------
lang/fstar/files/patch-z3-path-generated-ml-devel | 11 --------
3 files changed, 20 insertions(+), 36 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 4b17118..7199796 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 20190925
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fstar.version 20191010
</span> fstar.release devel
}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -73,7 +73,6 @@ foreach key {home doc_dirs bin port select_name} {
</span> # Common fstar/fstar-devel configuration
if {${fstar.project} eq "fstar"} {
github.project FStar
<span style='display:block; white-space:pre;background:#ffe0e0;'>- revision 4
</span> license MIT
description General-purpose functional language aimed at program verification
long_description F* (pronounced F star) is a general-purpose \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -87,10 +86,16 @@ if {${fstar.project} eq "fstar"} {
</span>
patchfiles patch-z3-path \
patch-examples-fix-tests \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- patch-fix-get_exec_dir \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- "patch-z3-path-generated-ml${fstar.port_suffix}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ patch-fix-get_exec_dir
</span>
post-patch {
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Fix up the z3 path in the generated code, too.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # A patch file would be more of a headache here, as the autogenerated variable names
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # result in the patches not applying cleanly across updates.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace {s|FStar_Platform.exe "z3"|FStar_String.op_Hat fstar_bin_directory (FStar_Platform.exe "/z3")|g} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ src/ocaml-output/FStar_Options.ml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> # Provide required link to z3 binary
ln -shf ${prefix}/libexec/z3-fstar/bin/z3 \
${worksrcpath}/bin/z3
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -116,7 +121,6 @@ if {${fstar.project} eq "fstar"} {
</span> # Common kremlin/kremlin-devel configuration
} elseif {${fstar.project} eq "kremlin"} {
github.project kremlin
<span style='display:block; white-space:pre;background:#ffe0e0;'>- revision 1
</span> license Apache-2
description A tool for extracting low-level F* programs to readable C code
long_description KreMLin is a tool that extracts an F* program to readable C code.
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -142,6 +146,7 @@ if {${fstar.project} eq "fstar"} {
</span> # Subport-specific configuration
subport fstar {
github.setup ${github.author} ${github.project} ${fstar.version} V
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ revision 4
</span>
distname V${version}
checksums rmd160 bec45d793880ecf815bdc3d79cdb58f7f6ba7414 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -152,17 +157,17 @@ subport fstar {
</span> }
subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup ${github.author} ${github.project} 1edfde5a4cc03ad1fb60d6da7ffdd63815506276
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup ${github.author} ${github.project} 53d21ab55d40bf167084db94083c5977a1e2c17e
</span> version ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 74c0f8b563ea0b49fd27d3a0aeeb0c5b6bd174a4 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 ffff961a141b8242876053181ab73c925ba3a9d510b574f3522668129ae8294e \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 7265944
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 f1bc90c703f51ce8ac8a181eaebda80b596c6a79 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 f6061898b88d0e09f9330be7288191063b7d9a2bc1ddcf51060f60ad8d0d4005 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 7185299
</span> github.tarball_from tarball
post-patch {
# Disable the known-broken kv_parsing test
<span style='display:block; white-space:pre;background:#ffe0e0;'>- if {${github.version} ne "1edfde5a4cc03ad1fb60d6da7ffdd63815506276"} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {${github.version} ne "53d21ab55d40bf167084db94083c5977a1e2c17e"} {
</span> ui_error "Please verify that the kv_parsing test is still broken"
}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -173,6 +178,7 @@ subport fstar-devel {
</span>
subport kremlin {
github.setup ${github.author} ${fstar.project} 0.9.6.0 v
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ revision 4
</span>
distname v${version}
worksrcdir kremlin-${version}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -206,12 +212,12 @@ subport kremlin {
</span> }
subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup ${github.author} ${fstar.project} f6299a2aab5ad2b6a66048d22625033def041ad3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup ${github.author} ${fstar.project} 2f84363322ac9cf3e1ac8275303faf568a41b88b
</span> version ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 f2d10d648b606c3b93dcd324bbf5caad2d9199e3 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 f8ad6f4f2020d62df36f7a846f7d38c4b785137d9beaf9ba113cca5b6d460e8b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 739183
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 0862ea03f407d0388724a717a3a4e2b1d976a703 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 f7e22305f45cee34beea111e97337256e9119ac1b42ffd2d93823f4a812e3a25 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 739193
</span>
patchfiles-append kremlin-devel/patch-fix-make-command \
kremlin-devel/patch-test_system_system.h
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/patch-z3-path-generated-ml b/lang/fstar/files/patch-z3-path-generated-ml
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 1be14d9..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/patch-z3-path-generated-ml
</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;'>---- src/ocaml-output/FStar_Options.ml.orig 2019-10-02 15:54:03.893501000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ocaml-output/FStar_Options.ml 2019-10-02 15:55:31.328422000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -1925,7 +1925,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- fun uu____9547 ->
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- let uu____9548 = get_smt () in
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- match uu____9548 with
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-- | FStar_Pervasives_Native.None -> FStar_Platform.exe "z3"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ | FStar_Pervasives_Native.None -> FStar_String.op_Hat fstar_bin_directory (FStar_Platform.exe "/z3")
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- | FStar_Pervasives_Native.Some s -> s
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- let (z3_cliopt : unit -> Prims.string Prims.list) =
</span>\ No newline at end of file
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/patch-z3-path-generated-ml-devel b/lang/fstar/files/patch-z3-path-generated-ml-devel
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index c015e74..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/patch-z3-path-generated-ml-devel
</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;'>---- src/ocaml-output/FStar_Options.ml.orig 2019-09-25 00:19:00.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ocaml-output/FStar_Options.ml 2019-10-02 15:58:21.359369000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -1943,7 +1943,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- fun uu____9640 ->
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- let uu____9641 = get_smt () in
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- match uu____9641 with
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-- | FStar_Pervasives_Native.None -> FStar_Platform.exe "z3"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ | FStar_Pervasives_Native.None -> FStar_String.op_Hat fstar_bin_directory (FStar_Platform.exe "/z3")
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- | FStar_Pervasives_Native.Some s -> s
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- let (z3_cliopt : unit -> Prims.string Prims.list) =
</span>\ No newline at end of file
</pre><pre style='margin:0'>
</pre>