[macports-ports] branch master updated (2882055 -> cce8b61)
Landon Fuller
landonf at users.noreply.github.com
Thu Oct 3 01:51:49 UTC 2019
Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.
from 2882055 certbot-dns-namecheap: fix python 3.x urllib issue
new 2a956ea fstar: use installation-relative path when locating z3
new cbc8041 fstar_select: integrate kremlin_select as a subport
new f4c721b fstar_select: add libexec/(fstar|kremlin)
new cce8b61 fstar: add select entry for libexec/(fstar|kremlin)
The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
lang/fstar/Portfile | 14 +++++++--
lang/fstar/files/fstar-select.in | 3 +-
lang/fstar/files/patch-z3-path | 2 +-
lang/fstar/files/patch-z3-path-generated-ml | 11 +++++++
lang/fstar/files/patch-z3-path-generated-ml-devel | 11 +++++++
sysutils/fstar_select/Portfile | 38 ++++++++++++++++++++---
sysutils/fstar_select/files/base | 2 --
sysutils/fstar_select/files/base.in | 3 ++
sysutils/fstar_select/files/none | 3 +-
sysutils/kremlin_select/Portfile | 33 --------------------
sysutils/kremlin_select/files/base | 2 --
sysutils/kremlin_select/files/none | 2 --
12 files changed, 75 insertions(+), 49 deletions(-)
create mode 100644 lang/fstar/files/patch-z3-path-generated-ml
create mode 100644 lang/fstar/files/patch-z3-path-generated-ml-devel
delete mode 100644 sysutils/fstar_select/files/base
create mode 100644 sysutils/fstar_select/files/base.in
delete mode 100644 sysutils/kremlin_select/Portfile
delete mode 100644 sysutils/kremlin_select/files/base
delete mode 100644 sysutils/kremlin_select/files/none
More information about the macports-changes
mailing list