Date: Thu, 11 Jan 2024 05:09:42 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 45581a7943c6 - main - cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal verification flows Message-ID: <202401110509.40B59gad060287@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202401110509.40B59gad060287>