git: 45581a7943c6 - main - cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal verification flows

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=45581a7943c643952ad7535e1a740ba749a12b4f

commit 45581a7943c643952ad7535e1a740ba749a12b4f
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-01-11 05:05:15 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-01-11 05:09:39 +0000

    cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal verification flows
---
 cad/Makefile             |  1 +
 cad/symbiyosys/Makefile  | 27 +++++++++++++++++++++++++++
 cad/symbiyosys/distinfo  |  3 +++
 cad/symbiyosys/pkg-descr |  2 ++
 cad/symbiyosys/pkg-plist | 15 +++++++++++++++
 5 files changed, 48 insertions(+)

diff --git a/cad/Makefile b/cad/Makefile
index d912452c14d8..e85ed462ada0 100644
--- a/cad/Makefile
+++ b/cad/Makefile
@@ -142,6 +142,7 @@
     SUBDIR += svlint
     SUBDIR += svls
     SUBDIR += sweethome3d
+    SUBDIR += symbiyosys
     SUBDIR += tkgate
     SUBDIR += tochnog
     SUBDIR += uhdm
diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile
new file mode 100644
index 000000000000..c77313b1ff80
--- /dev/null
+++ b/cad/symbiyosys/Makefile
@@ -0,0 +1,27 @@
+PORTNAME=	symbiyosys
+DISTVERSIONPREFIX=	yosys-
+DISTVERSION=	0.36
+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>
diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo
new file mode 100644
index 000000000000..a75b96da9de5
--- /dev/null
+++ b/cad/symbiyosys/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1704941121
+SHA256 (YosysHQ-sby-yosys-0.36_GH0.tar.gz) = 7750abfada8b70d134f4c65ce7aa2a72f514b625d6786bd77a7a9c4fa68fd418
+SIZE (YosysHQ-sby-yosys-0.36_GH0.tar.gz) = 195263
diff --git a/cad/symbiyosys/pkg-descr b/cad/symbiyosys/pkg-descr
new file mode 100644
index 000000000000..f85079cc2669
--- /dev/null
+++ b/cad/symbiyosys/pkg-descr
@@ -0,0 +1,2 @@
+SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware
+verification flows.
diff --git a/cad/symbiyosys/pkg-plist b/cad/symbiyosys/pkg-plist
new file mode 100644
index 000000000000..53b3868d7279
--- /dev/null
+++ b/cad/symbiyosys/pkg-plist
@@ -0,0 +1,15 @@
+bin/sby
+share/yosys/python3/sby_autotune.py
+share/yosys/python3/sby_cmdline.py
+share/yosys/python3/sby_core.py
+share/yosys/python3/sby_design.py
+share/yosys/python3/sby_engine_abc.py
+share/yosys/python3/sby_engine_aiger.py
+share/yosys/python3/sby_engine_btor.py
+share/yosys/python3/sby_engine_smtbmc.py
+share/yosys/python3/sby_jobserver.py
+share/yosys/python3/sby_mode_bmc.py
+share/yosys/python3/sby_mode_cover.py
+share/yosys/python3/sby_mode_live.py
+share/yosys/python3/sby_mode_prove.py
+share/yosys/python3/sby_sim.py