[macports-ports] branch master updated (66bd61bb082 -> 5681f831e1f)

[Perry E. Metzger]

Perry E. Metzger (pmetzger) pushed a change to branch master
in repository macports-ports.

    from 66bd61bb082 camlp5: synchronize dependencies with opam
     new 096ad1668d0 z3: update to 4.13.0
     new 74196ad170c z3: fix libomp flag
     new 5681f831e1f z3-fstar: depend on py-setuptools for 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 | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)