Port details |
- symbiyosys SymbiYosys (sby): Front-end for Yosys-based formal verification flows
- 0.40 cad =0 0.39Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2024-01-11 05:12:08
- Last Update: 2024-04-11 08:17:20
- Commit Hash: caebabc
- License: ISCL
- WWW:
- https://yosyshq.readthedocs.io/projects/sby/en/latest/
- Description:
- SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware
verification flows.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- symbiyosys>0:cad/symbiyosys
- To install the port:
- cd /usr/ports/cad/symbiyosys/ && make install clean
- To add the package, run one of these commands:
- pkg install cad/symbiyosys
- pkg install symbiyosys
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: symbiyosys
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1712808023
SHA256 (YosysHQ-sby-yosys-0.40_GH0.tar.gz) = 4adf63fa486a866d6b99bbfbfa66611049bca37eff1fd07a98c40a62290bbf00
SIZE (YosysHQ-sby-yosys-0.40_GH0.tar.gz) = 199771
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.4.1 : devel/gmake
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- yosys : cad/yosys
- python3.9 : lang/python39
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- cad_symbiyosys
- USES:
- gmake python shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 5
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
0.40 11 Apr 2024 08:17:20 |
Yuri Victorovich (yuri) |
cad/symbiyosys: update 0.39 → 0.40
Reported by: portscout |
0.39 13 Mar 2024 06:17:06 |
Yuri Victorovich (yuri) |
cad/symbiyosys: update 0.38 → 0.39
Reported by: portscout |
0.38 13 Feb 2024 09:11:10 |
Yuri Victorovich (yuri) |
cad/symbiyosys: update 0.37 → 0.38
Reported by: portscout |
0.37 18 Jan 2024 05:21:53 |
Yuri Victorovich (yuri) |
cad/symbiyosys: update 0.36 → 0.37
Reported by: portscout |
0.36 11 Jan 2024 05:09:39 |
Yuri Victorovich (yuri) |
cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal
verification flows |
Number of commits found: 5
|