Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: symbiyosys-git r615.c9e3b82-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/symbiyosys-git.git (read-only, click to copy)
Package Base:	symbiyosys-git
Description:	A front-end driver program for Yosys-based formal hardware verification flows
Upstream URL:	https://github.com/YosysHQ/sby.git
Licenses:	custom:ISC
Conflicts:	symbiyosys
Provides:	symbiyosys
Submitter:	benallard
Maintainer:	benallard
Last Packager:	benallard
Votes:	4
Popularity:	0.45
First Submitted:	2018-10-27 13:15 (UTC)
Last Updated:	2024-06-17 13:06 (UTC)

Dependencies (7)

python-click
python3 (python)
yosys (yosys-git^AUR, yosys-nightly^AUR)
git (git-git^AUR, git-gl^AUR) (make)
boolector^AUR (boolector-git^AUR) (optional) – solving using boolector
yices (optional) – solving using yices2
z3 (z3-git^AUR) (optional) – solving using z3

Required by (4)

python-amaranth (check)
python-amaranth-git (check)
python-amaranth0.4.5 (check)
python-minerva-git (requires symbiyosys) (check)

Sources (2)

Latest Comments

benallard commented on 2024-06-17 13:06 (UTC)

Done, thanks for the hint. I also updated the upstream repository address.

Auerhuhn commented on 2024-06-14 07:25 (UTC)

Hi benallard,

thanks for maintaining this PKGBUILD.

Would you mind adding python-click to depends? This is preventing the PKGBUILD to build in a clean chroot.

Thanks in advance!

Regards
Claudia (aka Auerhuhn)

benallard commented on 2021-12-29 18:44 (UTC)

Done, thanks for the (repeated) heads-up!

xiretza commented on 2021-12-29 11:30 (UTC)

Again, can you please add provides/conflicts=('symbiyosys')?

xiretza commented on 2020-10-19 14:10 (UTC)

Could you please add provides/conflicts=('symbiyosys')?

xiretza commented on 2019-05-05 20:10 (UTC)

Needs makedepends=('git').