Build Failure on ports-10.14_x86_64: bcv, boolector

[buildbot at macports.org]

Status:       Failure
Build slave:  ports-10.14_x86_64
Full logs:    https://build.macports.org/builders/ports-10.14_x86_64-watcher/builds/709
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:
	- aamath
	- acl2
	- add
	- apophenia
	- arowpp
	- atlas
	- bact
	- bayon
	- bc
	- bcv
	- blitzwave
	- boolector
	- buddy
Variants:     None
Revision:     
Build time:   0:34:43
Author:       

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

Broken ports:
	- bcv
	- boolector

Links to individual build jobs:
- ports-10.14_x86_64-builder #6263
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6263
- ports-10.14_x86_64-builder #6264
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6264
- ports-10.14_x86_64-builder #6265
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6265
- ports-10.14_x86_64-builder #6266
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6266
- ports-10.14_x86_64-builder #6267
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6267
- ports-10.14_x86_64-builder #6268
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6268
- ports-10.14_x86_64-builder #6269
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6269
- ports-10.14_x86_64-builder #6270
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6270
- ports-10.14_x86_64-builder #6271
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6271
- ports-10.14_x86_64-builder #6272
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6272
- ports-10.14_x86_64-builder #6273
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6273
- ports-10.14_x86_64-builder #6274
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6274
- ports-10.14_x86_64-builder #6275
  https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/6275

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