Build Failure on ports-10.8_x86_64_legacy: boolector

[buildbot at macports.org]

Status:       Failure
Build slave:  ports-10.8_x86_64_legacy
Full logs:    https://build.macports.org/builders/ports-10.8_x86_64_legacy-watcher/builds/19100
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:   1:20:25
Author:       

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

Broken ports:
	- boolector

Links to individual build jobs:
- ports-10.8_x86_64_legacy-builder #75134
  https://build.macports.org/builders/ports-10.8_x86_64_legacy-builder/builds/75134
- ports-10.8_x86_64_legacy-builder #75135
  https://build.macports.org/builders/ports-10.8_x86_64_legacy-builder/builds/75135
- ports-10.8_x86_64_legacy-builder #75136
  https://build.macports.org/builders/ports-10.8_x86_64_legacy-builder/builds/75136
- ports-10.8_x86_64_legacy-builder #75137
  https://build.macports.org/builders/ports-10.8_x86_64_legacy-builder/builds/75137

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