Build Failure on ports-10.6_x86_64: z3-java

[buildbot at macports.org]

Status:       Failure
Build slave:  ports-10.6_x86_64
Full logs:    https://build.macports.org/builders/ports-10.6_x86_64-watcher/builds/4482
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list:    z3
Subport list:
	- z3
	- py37-z3
	- py-z3
	- py27-z3
	- z3-fstar
	- z3-java
Variants:     None
Revision:     45dad4daaa7774aa0c5207d5f3ebbef650ac8eaf
Build time:   1:21:25
Author:       Landon Fuller <landonf at macports.org>

Log from failed builds:
	Building 'z3-java' ... [ERROR]
	> maintainers: landonf at macports.org.

Broken ports:
	- z3-java

Responsible maintainers:
	- landonf at macports.org

Links to individual build jobs:
- ports-10.6_x86_64-builder #20497
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20497
- ports-10.6_x86_64-builder #20498
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20498
- ports-10.6_x86_64-builder #20499
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20499
- ports-10.6_x86_64-builder #20500
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20500
- ports-10.6_x86_64-builder #20501
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20501
- ports-10.6_x86_64-builder #20502
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/20502

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