diff --git a/cad/Makefile b/cad/Makefile index d912452c14d8..e85ed462ada0 100644 --- a/cad/Makefile +++ b/cad/Makefile @@ -1,161 +1,162 @@ COMMENT = CAD tools SUBDIR += PrusaSlicer SUBDIR += abc SUBDIR += admesh SUBDIR += adms SUBDIR += alliance SUBDIR += antimony SUBDIR += apio SUBDIR += appcsxcad SUBDIR += archimedes SUBDIR += astk-client SUBDIR += astk-serveur SUBDIR += atlc SUBDIR += brlcad SUBDIR += calculix SUBDIR += calculix-ccx SUBDIR += camotics SUBDIR += caneda SUBDIR += cascade SUBDIR += cascade-compiler SUBDIR += chipvault SUBDIR += csxcad SUBDIR += cura SUBDIR += cura-engine SUBDIR += cvc SUBDIR += digital SUBDIR += dinotrace SUBDIR += ecpprog SUBDIR += electric SUBDIR += electric-ng SUBDIR += fasm SUBDIR += fdm_materials SUBDIR += feappv SUBDIR += fidocadj SUBDIR += freecad SUBDIR += freehdl SUBDIR += fritzing SUBDIR += gds3d SUBDIR += gdscpp SUBDIR += gdsreader SUBDIR += gdstk SUBDIR += gdt SUBDIR += geda SUBDIR += gerbv SUBDIR += ghdl SUBDIR += gmsh SUBDIR += gnucap SUBDIR += gplcver SUBDIR += graywolf SUBDIR += gspiceui SUBDIR += gtkwave SUBDIR += horizon-eda SUBDIR += hs-verismith SUBDIR += ifcopenshell SUBDIR += impact SUBDIR += irsim SUBDIR += iverilog SUBDIR += k40-whisperer SUBDIR += kicad SUBDIR += kicad-devel SUBDIR += kicad-doc SUBDIR += kicad-library-footprints SUBDIR += kicad-library-footprints-devel SUBDIR += kicad-library-packages3d SUBDIR += kicad-library-packages3d-devel SUBDIR += kicad-library-symbols SUBDIR += kicad-library-symbols-devel SUBDIR += kicad-library-templates SUBDIR += kicad-library-templates-devel SUBDIR += klayout SUBDIR += ktechlab SUBDIR += ldraw SUBDIR += ldview SUBDIR += leocad SUBDIR += lepton-eda SUBDIR += libgdsii SUBDIR += libopencad SUBDIR += librecad SUBDIR += libredwg SUBDIR += librepcb SUBDIR += librnd SUBDIR += logisim SUBDIR += magic SUBDIR += meshdev SUBDIR += meshlab SUBDIR += netgen SUBDIR += netgen-lvs SUBDIR += ngspice_rework SUBDIR += nvc SUBDIR += opencascade SUBDIR += opencascade740 SUBDIR += openctm SUBDIR += openfpgaloader SUBDIR += openroad SUBDIR += openscad SUBDIR += openscad-devel SUBDIR += opentimer SUBDIR += openvsp SUBDIR += oregano SUBDIR += p5-GDS2 SUBDIR += p5-Verilog-Perl SUBDIR += padring SUBDIR += pcb SUBDIR += pcb-rnd SUBDIR += pdnmesh SUBDIR += py-amaranth SUBDIR += py-cocotb SUBDIR += py-edalize SUBDIR += py-ezdxf SUBDIR += py-gdspy SUBDIR += py-gdstk SUBDIR += py-gmsh SUBDIR += py-lcapy SUBDIR += py-phidl SUBDIR += py-pyfda SUBDIR += py-pygmsh SUBDIR += py-pymtl SUBDIR += py-pyvcd SUBDIR += py-vunit-hdl SUBDIR += python-gdsii SUBDIR += qcad SUBDIR += qcsxcad SUBDIR += qelectrotech SUBDIR += qflow SUBDIR += qmls SUBDIR += qrouter SUBDIR += qspeakers SUBDIR += qucs-s SUBDIR += qucsator SUBDIR += repsnapper SUBDIR += rubygem-gdsii SUBDIR += scotch SUBDIR += silice SUBDIR += solvespace SUBDIR += sp2sp SUBDIR += spice SUBDIR += stepcode SUBDIR += stm32flash SUBDIR += sumo SUBDIR += surelog SUBDIR += svlint SUBDIR += svls SUBDIR += sweethome3d + SUBDIR += symbiyosys SUBDIR += tkgate SUBDIR += tochnog SUBDIR += uhdm SUBDIR += uranium SUBDIR += verilator SUBDIR += verilog-mode.el SUBDIR += veroroute SUBDIR += veryl SUBDIR += xcircuit SUBDIR += xyce SUBDIR += yosys SUBDIR += yosys-ghdl-plugin SUBDIR += yosys-systemverilog SUBDIR += z88 SUBDIR += zcad .include 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 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