blob: 5aedec8afe12f02062cbc849776941cd5abd3c41 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
PORTNAME= symbiyosys
DISTVERSIONPREFIX= v
DISTVERSION= 0.57
CATEGORIES= cad
MAINTAINER= yuri@FreeBSD.org
COMMENT= SymbiYosys (sby): Front-end for Yosys-based formal verification flows
WWW= https://yosyshq.readthedocs.io/projects/sby/en/latest/ \
https://github.com/YosysHQ/sby/
LICENSE= ISCL
LICENSE_FILE= ${WRKSRC}/COPYING
RUN_DEPENDS= yosys:cad/yosys
USES= gmake python shebangfix
USE_GITHUB= yes
GH_ACCOUNT= YosysHQ
GH_PROJECT= sby
SHEBANG_FILES= sbysrc/sby.py
NO_ARCH= yes
NO_BUILD= yes
.include <bsd.port.mk>
|
