diff options
Diffstat (limited to 'cad/symbiyosys/Makefile')
| -rw-r--r-- | cad/symbiyosys/Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile index a0a559e75d97..5aedec8afe12 100644 --- a/cad/symbiyosys/Makefile +++ b/cad/symbiyosys/Makefile @@ -1,12 +1,12 @@ PORTNAME= symbiyosys DISTVERSIONPREFIX= v -DISTVERSION= 0.52 +DISTVERSION= 0.57 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/ +WWW= https://yosyshq.readthedocs.io/projects/sby/en/latest/ \ + https://github.com/YosysHQ/sby/ LICENSE= ISCL LICENSE_FILE= ${WRKSRC}/COPYING @@ -14,14 +14,13 @@ 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 +NO_BUILD= yes .include <bsd.port.mk> |