mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
28 lines
510 B
Makefile
28 lines
510 B
Makefile
PORTNAME= symbiyosys
|
|
DISTVERSIONPREFIX= yosys-
|
|
DISTVERSION= 0.43
|
|
CATEGORIES= cad
|
|
PKGNAMEPREFIX=
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= SymbiYosys (sby): Front-end for Yosys-based formal verification flows
|
|
WWW= https://yosyshq.readthedocs.io/projects/sby/en/latest/
|
|
|
|
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_BUILD= yes
|
|
NO_ARCH= yes
|
|
|
|
.include <bsd.port.mk>
|