Build Failure on ports-10.13_x86_64: bcv, boolector

buildbot at macports.org buildbot at macports.org
Sat Oct 20 22:02:14 UTC 2018


Status:       Failure
Build slave:  ports-10.13_x86_64
Full logs:    https://build.macports.org/builders/ports-10.13_x86_64-watcher/builds/9966
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
	- bact
	- bayon
	- bc
	- bcv
	- blitzwave
	- boolector
Variants:     None
Revision:     
Build time:   0:14:15
Author:       

Log from failed builds:
	Building 'bcv' ... [ERROR]
	> maintainers: .
	Building 'boolector' ... [ERROR]
	> maintainers: .

Broken ports:
	- bcv
	- boolector

Links to individual build jobs:
- ports-10.13_x86_64-builder #38981
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38981
- ports-10.13_x86_64-builder #38982
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38982
- ports-10.13_x86_64-builder #38983
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38983
- ports-10.13_x86_64-builder #38984
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38984
- ports-10.13_x86_64-builder #38985
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38985
- ports-10.13_x86_64-builder #38986
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38986
- ports-10.13_x86_64-builder #38987
  https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/38987

-- 
Best regards,
MacPorts Buildbot
https://build.macports.org/



More information about the macports-builds mailing list