Build Failure on ports-10.7_x86_64_legacy: boolector
buildbot at macports.org
buildbot at macports.org
Sat Oct 20 21:21:37 UTC 2018
Status: Failure
Build slave: ports-10.7_x86_64_legacy
Full logs: https://build.macports.org/builders/ports-10.7_x86_64_legacy-watcher/builds/19139
Build reason: A build was forced by 'ryandesign <ryandesign at localhost>': force build
Port list: acl2 boolector bc bayon blitzwave blitz add atlas aamath blitz-devel bact apophenia bcv arpack arowpp buddy
Subport list:
- apophenia
- bc
- bcv
- boolector
Variants: None
Revision:
Build time: 0:07:03
Author:
Log from failed builds:
Building 'boolector' ... [ERROR]
> maintainers: .
Broken ports:
- boolector
Links to individual build jobs:
- ports-10.7_x86_64_legacy-builder #82338
https://build.macports.org/builders/ports-10.7_x86_64_legacy-builder/builds/82338
- ports-10.7_x86_64_legacy-builder #82339
https://build.macports.org/builders/ports-10.7_x86_64_legacy-builder/builds/82339
- ports-10.7_x86_64_legacy-builder #82340
https://build.macports.org/builders/ports-10.7_x86_64_legacy-builder/builds/82340
- ports-10.7_x86_64_legacy-builder #82341
https://build.macports.org/builders/ports-10.7_x86_64_legacy-builder/builds/82341
--
Best regards,
MacPorts Buildbot
https://build.macports.org/
More information about the macports-builds
mailing list