Date: Tue, 6 Aug 2019 16:55:25 +0000 From: Brooks Davis <brooks@freebsd.org> To: Mark Millard <marklmi@yahoo.com> Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190806165525.GC94703@spindle.one-eyed-alien.net> In-Reply-To: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
--PuGuTyElPB9bOcsM Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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 On Mon, Aug 05, 2019 at 08:45:31PM -0700, Mark Millard via freebsd-toolchai= n wrote: > Building math/z3 involves: >=20 > # grep compiler /usr/ports/math/z3/Makefile > USES=3D compiler:c++11-lang python:2.7,build >=20 > But devel/llvm90 requires math/z3 to have been built before > devel/llvm90 is built: >=20 > # pkg info -d llvm90 > llvm90-9.0.0.r1: > libxml2-2.9.9 > z3-4.8.5_1 > python36-3.6.9 > perl5-5.28.2 > libedit-3.1.20190324,1 > # pkg info -B llvm90 > llvm90-9.0.0.r1: > libpython3.6m.so.1.0 > libedit.so.0 > libz3.so.0 > libxml2.so.2 >=20 >=20 > Hopefully this cycle can be avoided for system > clang to eventually have progressed to clang 9. > (I do not know the details.) >=20 > For architectures still at gcc/g++ 4.2.1, some > alternate c++ tool chain needs to be used to > build libz3.so but the result needs to be > compatible with llvm90 later using the libz3.so's > content. (I do not know the details.) >=20 > =3D=3D=3D > Mark Millard > marklmi at yahoo.com > ( dsl-only.net went > away in early 2018-Mar) >=20 > _______________________________________________ > freebsd-toolchain@freebsd.org mailing list > https://lists.freebsd.org/mailman/listinfo/freebsd-toolchain > To unsubscribe, send any mail to "freebsd-toolchain-unsubscribe@freebsd.o= rg" >=20 --PuGuTyElPB9bOcsM Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSbD8AAoJEKzQXbSebgfAEm8H/0tHYf0sr6G5exlRrRcWd4ak td+prXMYppEIRdsJzKTQvvjuibT7vC+Tvo+9ZPasTCaX2cUHPxqh4Tyg7ls3l1VM UO4Y1Z72tOvyckjjdOKhzKDhVxS5gs93oJ7oYTdLTFBtLSmEKQAX9ijM4yEm9gSU RLFNOMM0RDeI8g6Doa0V9so/MxMudx+SJ6RnEGGUvlEYxGsy1uK+5FqJlXLAV1fL v1kYzdHeL55Uw3+/uCmv/dQ+PqaUW7bnvF1sbFnJ9RJOuSWNrSLSvFHH/kBGM+UW TipAZhImOBmK5vK02wMCyI4JMAAAAlItuGiM+JslTAJsuyid/Kaz6+Iv0hzaiOU= =7JTo -----END PGP SIGNATURE----- --PuGuTyElPB9bOcsM--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20190806165525.GC94703>