Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place

On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote:
> 
> 
> On 2019-Aug-6, at 09:55, Brooks Davis <brooks at freebsd.org> wrote:
> 
> > I'd prefer to disable this dependency.  There's a knob that worked in
> > the 8.0 timeframe, but the lit build now autodetects z3 when it is
> > present and I've failed to find a knob to disable it.  For now, the easy
> > workaround is probably to disable options LIT.  We could make that the
> > default on non-LLVM platforms is that makes sense.
> > 
> > -- Brooks
> 
> Okay.
> 
> poudriere-devel automatically built math/z3 because
> I'd indicated to build devel/llvm90 . math/z3 was not
> previously built: I've never had other use of it. So
> my context was not one of an implicit autodetect.

The dependency is there because if z3 is installed then the package
that is built depends on z3.  Thus I had not choice but to add a z3
dependency until I find a way to turn it off.  You can either help find
a way to disable z3 detection in the cmake infrastructure or turn off
LIT.  I don't have any use for reports on the effects of commenting out
the DEPENDS line.  I know what that does.

-- Brooks

-----BEGIN PGP SIGNATURE-----

iQEcBAEBAgAGBQJdSjKaAAoJEKzQXbSebgfAOI8H+gLPiQEVfEUGO2ldGyfm8I4o
cChqmkMZWjgBCmdpNiNloqfb9HVL129eeqE1rul8LaF7dsCu6dPJJ05bH4PuEkwi
KXquOjDUb9buxhKa6EaJ1xMqRD0wCSmTp8hyMmRD5JyQ+D47+ax0vuGFQP16In9n
5bm9JmIUZda8n1JlqXwjln2Z6yqdr9u3pbUSKXjnIK3w7dNgTxAadLdOEhtbUMfM
PICiwt8Y1ipOtUWOiWZALYsp0vWst+0lkHAfFzrzUQNPtIy1rX5DdH9ylV46n2Ho
xnYJpYA4Wsj+H5XaYfjM+Lo2NaEZQHXOffMDBLbx5XSsvyVFynMXZdUkjdEAZ8A=
=fwp+
-----END PGP SIGNATURE-----