[macports-ports] branch master updated (272db2d9cfe -> 27367c8ca25)

[Landon Fuller]

Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.

    from 272db2d9cfe minicom: Add missing dependency on libiconv  - Add missing size parameter to checksums
     new e31d984a9d0 z3-fstar: minor fixes for the z3-fstar.profdata-generate.sh maintainer script, update profile data.
     new 27367c8ca25 z3-fstar: enable +pgo by default

The 2 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:
 math/z3/Portfile                            |  20 ++++++----
 math/z3/files/z3-fstar.profdata-generate.sh |  60 +++++++++++++++++++++-------
 math/z3/files/z3-fstar.profdata.tar.xz      | Bin 1881956 -> 1892084 bytes
 3 files changed, 58 insertions(+), 22 deletions(-)