Build Failure on ports-10.6_x86_64_legacy: acl2, boolector, sbcl

buildbot at macports.org buildbot at macports.org
Sat Oct 20 16:16:16 UTC 2018


Status:       Failure
Build slave:  ports-10.6_x86_64_legacy
Full logs:    https://build.macports.org/builders/ports-10.6_x86_64_legacy-watcher/builds/19108
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:
	- acl2
	- apophenia
	- bc
	- bcv
	- blitzwave
	- boolector
Variants:     None
Revision:     
Build time:   0:20:01
Author:       

Log from failed builds:
	Building 'acl2' ... [ERROR] (failed to install dependency 'sbcl')
	> maintainers: ijackson at macports.org,easieste at macports.org.
	Building 'boolector' ... [ERROR]
	> maintainers: .

Broken ports:
	- acl2
	- boolector
	- sbcl

Responsible maintainers:
	- easieste at macports.org
	- ijackson at macports.org

Links to individual build jobs:
- ports-10.6_x86_64_legacy-builder #81811
  https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/81811
- ports-10.6_x86_64_legacy-builder #81812
  https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/81812
- ports-10.6_x86_64_legacy-builder #81813
  https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/81813
- ports-10.6_x86_64_legacy-builder #81814
  https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/81814
- ports-10.6_x86_64_legacy-builder #81815
  https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/81815
- ports-10.6_x86_64_legacy-builder #81816
  https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/81816

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



More information about the macports-builds mailing list