Drop the mig-require-libz3 patch since upstream removed that test. Two new
tests need handling for our Z3-less external-llvm build: disable Z3
discovery with Z3_DISABLE so the z3 integration tests skip instead of
running against a circt that has no Z3 backend, and symlink circt's empty
llvm submodule at the real tree so the circt-tblgen tests find their mlir
tablegen includes.
Signed-off-by: Huang Rui <vowstar@gmail.com>
The circt-synth mig.mlir integration test was missing the libz3 and
circt-lec-jit REQUIRES guards that every sibling LEC test carries, so it
ran its circt-lec JIT commands and failed on unresolved Z3 symbols
instead of being skipped. Patch it to add the guards.
Closes: https://bugs.gentoo.org/977874
Signed-off-by: Huang Rui <vowstar@gmail.com>
The firtool tools link libzstd through LLVM, so declare the runtime
dependency and force the link on to keep it out of automagic territory.
Closes: https://bugs.gentoo.org/977877
Signed-off-by: Huang Rui <vowstar@gmail.com>
Install only the tools that were actually built so a missing slang or Z3
frontend no longer aborts the merge, and drop the upstream check-mlir
stage whose mlir-runner JIT tests need shared runtime libs that our
static build does not expose.
Closes: https://bugs.gentoo.org/977442
Closes: https://bugs.gentoo.org/977441
Signed-off-by: Huang Rui <vowstar@gmail.com>
