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
Wed Dec 2 19:40:23 UTC 2020
- Previous message (by thread): Build Failure on ports-10.6_x86_64: py-z3, py27-z3, py37-z3, py38-z3, z3, z3-fstar, z3-java
- Next message (by thread): Build Failure on ports-10.6_x86_64: py-z3, py27-z3, py37-z3, py38-z3, z3, z3-fstar, z3-java
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Status: Failure
Build slave: ports-10.6_x86_64
Full logs: https://build.macports.org/builders/ports-10.6_x86_64-watcher/builds/12632
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: 63df17aff4cb2ab3ab59733e409c5fa4daee50d9
Build time: 0:31:08
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 #40273
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40273
- ports-10.6_x86_64-builder #40274
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40274
- ports-10.6_x86_64-builder #40275
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40275
- ports-10.6_x86_64-builder #40276
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40276
- ports-10.6_x86_64-builder #40277
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40277
- ports-10.6_x86_64-builder #40278
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40278
- ports-10.6_x86_64-builder #40279
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40279
--
Best regards,
MacPorts Buildbot
https://build.macports.org/
- Previous message (by thread): Build Failure on ports-10.6_x86_64: py-z3, py27-z3, py37-z3, py38-z3, z3, z3-fstar, z3-java
- Next message (by thread): Build Failure on ports-10.6_x86_64: py-z3, py27-z3, py37-z3, py38-z3, z3, z3-fstar, z3-java
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the macports-builds
mailing list