Build Failure on ports-10.6_x86_64: py-z3, py27-z3, py37-z3, z3, z3-fstar, z3-java
buildbot at macports.org
buildbot at macports.org
Tue Feb 18 01:52:10 UTC 2020
Status: Failure
Build slave: ports-10.6_x86_64
Full logs: https://build.macports.org/builders/ports-10.6_x86_64-watcher/builds/4356
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list: z3
Subport list:
- z3
- py37-z3
- py-z3
- py27-z3
- z3-fstar
- z3-java
Variants: None
Revision: 0b72d3d2c975e591eea6aad988d0a38cd18ff6e3
Build time: 0:27:15
Author: Landon Fuller <landonf at macports.org>
Log from failed builds:
Building 'z3' ... [ERROR]
> maintainers: landonf at macports.org.
Building 'py37-z3' ... [ERROR] (failed to install dependency 'z3')
> maintainers: landonf at macports.org,landonf at macports.org.
Building 'py-z3' ... [ERROR] (failed to install dependency 'z3')
> maintainers: landonf at macports.org,landonf at macports.org.
Building 'py27-z3' ... [ERROR] (failed to install dependency 'z3')
> maintainers: landonf at macports.org,landonf at macports.org.
Building 'z3-fstar' ... [ERROR]
> maintainers: landonf at macports.org.
Building 'z3-java' ... [ERROR] (failed to install dependency 'z3')
> maintainers: landonf at macports.org,landonf at macports.org.
Broken ports:
- py-z3
- py27-z3
- py37-z3
- z3
- z3-fstar
- z3-java
Responsible maintainers:
- landonf at macports.org
Links to individual build jobs:
- ports-10.6_x86_64-builder #20067
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20067
- ports-10.6_x86_64-builder #20068
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20068
- ports-10.6_x86_64-builder #20069
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20069
- ports-10.6_x86_64-builder #20070
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20070
- ports-10.6_x86_64-builder #20071
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20071
- ports-10.6_x86_64-builder #20072
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20072
--
Best regards,
MacPorts Buildbot
https://build.macports.org/
More information about the macports-builds
mailing list