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>
- test_regress/driver.py imports the third-party 'distro' module,
which was not declared in BDEPEND, so FEATURES=test crashed with
ModuleNotFoundError before any test could run.
- Add dev-python/distro under the test? block.
Closes: https://bugs.gentoo.org/975581
Signed-off-by: Huang Rui <vowstar@gmail.com>
- Upstream gates catch2_min_version at 3.14 but Gentoo ships only 3.13.
- find_package fails, FetchContent_MakeAvailable git-clones Catch2 at
build time and dies in network-sandbox (CF0014).
- Patch the floor to 3.13 so find_package matches dev-cpp/catch.
Closes: https://bugs.gentoo.org/975580
Signed-off-by: Huang Rui <vowstar@gmail.com>
- src_prepare seds replaced bare "python3" with ${EPYTHON}, mangling
variable names like python3_version into python3.13_version.
- Use word-boundary regex (\<python3\>) so only command-name tokens
are substituted, leaving identifiers alone.
Closes: https://bugs.gentoo.org/975566
Signed-off-by: Huang Rui <vowstar@gmail.com>
- Patch cmake_minimum_required from 2.8.6 to 3.10 in both
CMakeLists.txt files to satisfy CMake 4 policy floor.
- Removes the QA0023 nag and the eclass workaround injection.
Closes: https://bugs.gentoo.org/975564
Signed-off-by: Huang Rui <vowstar@gmail.com>
