Build Failure on ports-10.6_x86_64: py-z3, py27-z3, py37-z3, py38-z3, z3, z3-fstar, z3-java
buildbot at macports.org
buildbot at macports.org
Thu Nov 5 18:22:55 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/11782
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list: z3
Subport list:
- z3
- py38-z3
- py-z3
- py27-z3
- py37-z3
- z3-fstar
- z3-java
Variants: None
Revision: 0411bea85ba6a80e2e3877dfe0708774b4939455
Build time: 0:31:22
Author: Landon Fuller <landonf at macports.org>
Log from failed builds:
Building 'z3' ... [ERROR]
> maintainers: landonf at macports.org.
Building 'py38-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 'py37-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
- py38-z3
- z3
- z3-fstar
- z3-java
Responsible maintainers:
- landonf at macports.org
Links to individual build jobs:
- ports-10.6_x86_64-builder #38249
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38249
- ports-10.6_x86_64-builder #38250
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38250
- ports-10.6_x86_64-builder #38251
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38251
- ports-10.6_x86_64-builder #38252
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38252
- ports-10.6_x86_64-builder #38253
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38253
- ports-10.6_x86_64-builder #38254
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38254
- ports-10.6_x86_64-builder #38255
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/38255
--
Best regards,
MacPorts Buildbot
https://build.macports.org/
More information about the macports-builds
mailing list