Pin the llvm-project commit the firtool-1.159.0 tag points at. A tarball
build has no git repo, so src_prepare seds the version fallback and
firtool reports firtool-1.159.0 instead of unknown git version.
Signed-off-by: Huang Rui <vowstar@gmail.com>
Upstream moved the output directory to YOSYS_CMAKE_BINARY_DIR, so the
respect-flags patch is regenerated under the 0.69 name.
Signed-off-by: Huang Rui <vowstar@gmail.com>
The release sets VERILATOR_SRC_VERSION, which src/config_rev reads before
falling back to git, so the Gentoo revision stamp applies. The 9999 ebuild
loses the dead guard that tried the same thing through sed.
Signed-off-by: Huang Rui <vowstar@gmail.com>
Verilator FST waveform tracing links liblz4, seen in verilated.mk under
VM_TRACE_FST, but RDEPEND declared only zlib. On a clean image FST traced
models fail to link, breaking the verilator FST tests in sci-electronics/circt.
Closes: https://bugs.gentoo.org/978769
Signed-off-by: Huang Rui <vowstar@gmail.com>
Upstream 0.67 replaced the GNU make build with CMake, so the ebuild now inherits
cmake.eclass with slang and pyosys disabled to match the previous build.
Signed-off-by: Huang Rui <vowstar@gmail.com>
The diagnostic tests match on the plain-text miette report, but owo_colors
injects ANSI escapes when it detects color support, splitting caused by
from the cause string and failing test_stderr_contains_caused_by_chain.
Closes: https://bugs.gentoo.org/978810
Signed-off-by: Huang Rui <vowstar@gmail.com>
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>
Upstream renamed the release tarball asset from yosys.tar.gz to
yosys-src.tar.gz, so point SRC_URI at the new name.
Signed-off-by: Huang Rui <vowstar@gmail.com>
This release moves KactusColors and LibraryModel into libKactusAPI, so
the executable now links symbols from it. Force the in-tree lib dir ahead
of /usr/lib64 in the link path, otherwise an already installed kactus2
shadows the fresh library and the build fails with undefined references.
Also drop py3.10/py3.11 and the stale 3.12/3.13 ebuilds.
Signed-off-by: Huang Rui <vowstar@gmail.com>
Build without the new default slang feature, which fetches and compiles
the slang SystemVerilog parser and its C++ dependencies from the network
at build time. Bump RUST_MIN_VER to 1.89 to match upstream.
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 desktop file ships a MimeType key, so the package must refresh the desktop
mimeinfo cache on install and removal. Inherit xdg so pkg_postinst and pkg_postrm run
update-desktop-database.
Closes: https://bugs.gentoo.org/977937
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>
Under USE=debug cargo builds into target/debug, so the hardcoded
target/release path made dobin fail. Use cargo_target_dir so the
install path follows the active profile.
Closes: https://bugs.gentoo.org/977872
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>
- /-/raw/main/ assets drift and stop matching the recorded Manifest size
- the v0.7.0 tarball already ships surfer/assets so the extra fetch is dropped
- strip the .png from the desktop Icon key to pass desktop-file validation
Closes: https://bugs.gentoo.org/975824
Signed-off-by: Huang Rui <vowstar@gmail.com>
- llvm-r2 pkg_setup shadowed python-any-r1 so PYTHON was empty in all phases
- call python_setup in pkg_setup and drop the src_prepare shebang/chmod loop
- python_fix_shebang the installed yosys-smtbmc and yosys-witness wrappers
Closes: https://bugs.gentoo.org/976328
Signed-off-by: Huang Rui <vowstar@gmail.com>
- Empty CFG_CXXFLAGS_OPT/DBG and CFG_LDFLAGS_DBG so user CXXFLAGS wins.
- Strip -Os/-O0 from verilated.mk, driver.py, examples for full QA silence.
Closes: https://bugs.gentoo.org/975970
Signed-off-by: Huang Rui <vowstar@gmail.com>
David Roman