[macports-ports] branch master updated (59e1f8cc424 -> 4fa7f2e8504)

Landon Fuller landonf at macports.org
Thu Jul 29 22:14:49 UTC 2021


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

    from 59e1f8cc424 pyupgrade: update to 2.23.1
     new 9fce1efe8e6 z3: drop override of compiler.fallback; use compiler.blacklist instead
     new a322a7502bc z3: adopt llvm-12, which provides polly support by default, update profiling data, and add +polly(_late|_vector) to our default_variants.
     new 4fa7f2e8504 z3: fix +lto build

The 3 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                       |  53 ++++++++++++---------------------
 math/z3/files/z3-fstar.profdata.tar.xz | Bin 1892084 -> 1887024 bytes
 2 files changed, 19 insertions(+), 34 deletions(-)



More information about the macports-changes mailing list