b5b8dcdeac
On llvm80, also disable discovery of libz3 to avoid an untracked dependency when math/z3 is installed during a manual build. PR: 237284 Reported by: arrowd Sponsored by: DARPA, AFRL |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
Makefile.COMMANDS | ||
pkg-descr | ||
pkg-plist |