notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Why was the website so slow for so long?

The cause of the slowdown was a change to the ZFS dataset. In conjunction with the database server, very little caching was being done. This combination resulted in increased disk I/O as the system churned through the database. Details in the blog post which outlines the various things which changed. Many graphs.

Port details
py-z3-solver Python binding for Z3 Theorem Prover
4.8.4_3 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 4.8.4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-07-24 21:04:04
Last Update: 2019-07-28 19:29:13
SVN Revision: 507522
License: MIT
Description:
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:

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

USES:

Master Sites:
  1. https://codeload.github.com/Z3Prover/z3/tar.gz/z3-4.8.4?dummy=/
Notes from UPDATING
These upgrade notes are taken from /usr/ports/UPDATING
  • 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
    
    

Number of commits found: 9

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
28 Jul 2019 18:29:13
Original commit files touched by this commit  4.8.4_3
Revision:507522
yuri search for other commits by this committer
math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help

Reported to the upstream.

Reported by:	fallout
26 Jul 2019 20:46:57
Original commit files touched by this commit  4.8.4_3
Revision:507372
gerald search for other commits by this committer
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
09 Jun 2019 04:17:35
Original commit files touched by this commit  4.8.4_2
Revision:503778
yuri search for other commits by this committer
math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs
19 May 2019 04:35:11
Original commit files touched by this commit  4.8.4_1
Revision:502012
yuri search for other commits by this committer
math/py-z3-solver: Fix build on 13-CURRENT i386

Reported by:	fallout
10 Feb 2019 18:17:14
Original commit files touched by this commit  4.8.4
Revision:492625
yuri search for other commits by this committer
math/py-z3-solver: Update 4.7.1 -> 4.8.4
12 Jan 2019 23:11:23
Original commit files touched by this commit  4.7.1
Revision:490085
linimon search for other commits by this committer
This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.

PR:		234336
Submitted by:	Piotr Kubaj
Approved by:	maintainer
30 Jul 2018 20:17:05
Original commit files touched by this commit  4.7.1
Revision:475913
yuri search for other commits by this committer
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
25 Jul 2018 19:14:54
Original commit files touched by this commit  4.7.1
Revision:475328
yuri search for other commits by this committer
math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name

Reported by:	arrowd
24 Jul 2018 21:03:48
Original commit files touched by this commit  4.7.1
Revision:475278
yuri search for other commits by this committer
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

Number of commits found: 9

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
mbedtlsFeb 24
mbedtlsFeb 24
opensmtpdFeb 24
opensmtpdFeb 24
opensmtpdFeb 24
weechatFeb 21
webkit2-gtk3Feb 19
dovecotFeb 13
gitlab-ceFeb 13
grub2-bhyveFeb 12
libexifFeb 11
linux-flashplayerFeb 11
nginxFeb 09
nginx-develFeb 09
ksh93Feb 07

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


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38466
Broken 645
Deprecated 418
Ignore 916
Forbidden 3
Restricted 150
No CDROM 72
Vulnerable 23
Expired 3
Set to expire 390
Interactive 0
new 24 hours 3
new 48 hours26
new 7 days48
new fortnight72
new month326

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.