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 18:22:17 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/12629
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: 43aa46f6608e6dec6e411ad37086b956019e9aaf
Build time: 0:36:55
Author: Ryan Schmidt <ryandesign 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 #40258
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40258
- ports-10.6_x86_64-builder #40259
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40259
- ports-10.6_x86_64-builder #40260
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40260
- ports-10.6_x86_64-builder #40261
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40261
- ports-10.6_x86_64-builder #40262
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40262
- ports-10.6_x86_64-builder #40263
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40263
- ports-10.6_x86_64-builder #40264
https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/40264
--
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