py-z3-solver Python binding for Z3 Theorem Prover

4.8.4_3 math =0 4.8.4Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2018-07-24 21:04:04

Last Update: 2019-07-28 19:29:13

SVN Revision: 507522

License: MIT

Description:

Python binding for Z3, a high-performance theorem prover developed at Microsoft Research. WWW: https://github.com/Z3Prover/z3

SVNWeb : Homepage

There is no configure plist information for this port.

Dependency lines:

• py36-z3-solver>0:math/py-z3-solver

To install the port: cd /usr/ports/math/py-z3-solver/ && make install clean

To add the package: pkg install py36-z3-solver

PKGNAME: py36-z3-solver

Package flavors (<flavor>: <package>)

• py36: py36-z3-solver
• py27: py27-z3-solver

distinfo:

TIMESTAMP = 1549820977 SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. py36-setuptools>0 : devel/py-setuptools@py36
2. python3.6 : lang/python36

Runtime dependencies:

1. py36-setuptools>0 : devel/py-setuptools@py36
2. python3.6 : lang/python36

There are no ports dependent upon this port

Configuration Options

No options to configure

USES:

compiler:c++11-lang python

Master Sites:

1. https://codeload.github.com/Z3Prover/z3/tar.gz/z3-4.8.4?dummy=/

• 2017-11-30

  Affects: */py*

  Author: mat@FreeBSD.org

  Reason: 
    Ports using Python via USES=python are now flavored.  All the py3-* ports
    have been removed and folded into their py-* master ports.
  
    People using Poudriere 3.2+ and binary packages do not have to do anything.
  
    For other people, to build the Python 3.6 version of, for example,
    databases/py-gdbm, you need to run:
  
      # make FLAVOR=py36 install
  
  

math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help

Reported to the upstream.

Reported by:	fallout

Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330

math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs

math/py-z3-solver: Fix build on 13-CURRENT i386

Reported by:	fallout

math/py-z3-solver: Update 4.7.1 -> 4.8.4

This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.

PR:		234336
Submitted by:	Piotr Kubaj
Approved by:	maintainer

math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website

z3 is a different project on PyPI.

Reported by:	koobs

math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name

Reported by:	arrowd

math/z3: Fix the python binding to work for all python versions

The python binding is removed from math/z3 and placed into a separate
port math/mpy-z3-solver that builds for all python versions.

While here, remove the unnecessary CONFLICTS statement.

PR:		229937
Approved by:	portmgr

12 vulnerabilities affecting 52 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-02-25 03:07:51