CVS commit: pkgsrc/devel/yosys

["Jason R Thorpe" <thorpej%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   thorpej
Date:           Tue Oct 15 01:32:59 UTC 2024

Modified Files:
        pkgsrc/devel/yosys: Makefile PLIST distinfo
        pkgsrc/devel/yosys/patches: patch-Makefile

Log Message:
Update to yosys-0.46.

Changes:

Various
=======
* Added new "functional backend" infrastructure with three example
  backends (C++, SMTLIB and Rosette).
* Added new coarse-grain buffer cell type "$buf" to RTLIL.
* Added "-y" command line option to execute a Python script with
   libyosys available as a built-in module.
* Added support for casting to type in Verilog frontend.

New commands and options
========================
* Added "clockgate" pass for automatic clock gating cell insertion.
* Added "bufnorm" experimental pass to convert design into
  buffered-normalized form.
* Added experimental "aiger2" and "xaiger2" backends, and an
  experimental "abc_new" command
* Added "-force-detailed-loop-check" option to "check" pass.
* Added "-unit_delay" option to "read_liberty" pass.

Verific support
===============
* Added left and right bound properties to wires when using
  specific VHDL types.


To generate a diff of this commit:
cvs rdiff -u -r1.8 -r1.9 pkgsrc/devel/yosys/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/devel/yosys/PLIST
cvs rdiff -u -r1.5 -r1.6 pkgsrc/devel/yosys/distinfo
cvs rdiff -u -r1.1 -r1.2 pkgsrc/devel/yosys/patches/patch-Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/yosys/Makefile
diff -u pkgsrc/devel/yosys/Makefile:1.8 pkgsrc/devel/yosys/Makefile:1.9
--- pkgsrc/devel/yosys/Makefile:1.8     Fri Oct  4 03:49:21 2024
+++ pkgsrc/devel/yosys/Makefile Tue Oct 15 01:32:59 2024
@@ -1,14 +1,13 @@
-# $NetBSD: Makefile,v 1.8 2024/10/04 03:49:21 ryoon Exp $
+# $NetBSD: Makefile,v 1.9 2024/10/15 01:32:59 thorpej Exp $
 
 # XXX Yosys changed their release tag format in 0.45 to just a bare
 # XXX number, sigh.
-YOSYS_VERSION= 0.45
+YOSYS_VERSION= 0.46
 YOSYS_TAG=     ${YOSYS_VERSION}
 ABC_TAG=       yosys-${YOSYS_VERSION}
 ABC_DISTNAME=  abc-${ABC_TAG}
 DISTNAME=      yosys-${YOSYS_TAG}
 #PKGREVISION=  1
-PKGREVISION=   1
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=YosysHQ/}
 GITHUB_TAG=    ${YOSYS_TAG}

Index: pkgsrc/devel/yosys/PLIST
diff -u pkgsrc/devel/yosys/PLIST:1.2 pkgsrc/devel/yosys/PLIST:1.3
--- pkgsrc/devel/yosys/PLIST:1.2        Sat Sep  7 02:10:28 2024
+++ pkgsrc/devel/yosys/PLIST    Tue Oct 15 01:32:59 2024
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.2 2024/09/07 02:10:28 thorpej Exp $
+@comment $NetBSD: PLIST,v 1.3 2024/10/15 01:32:59 thorpej Exp $
 bin/yosys
 bin/yosys-abc
 bin/yosys-config
@@ -118,6 +118,7 @@ share/yosys/include/kernel/celltypes.h
 share/yosys/include/kernel/consteval.h
 share/yosys/include/kernel/constids.inc
 share/yosys/include/kernel/cost.h
+share/yosys/include/kernel/drivertools.h
 share/yosys/include/kernel/ff.h
 share/yosys/include/kernel/ffinit.h
 share/yosys/include/kernel/ffmerge.h
@@ -134,6 +135,7 @@ share/yosys/include/kernel/register.h
 share/yosys/include/kernel/rtlil.h
 share/yosys/include/kernel/satgen.h
 share/yosys/include/kernel/scopeinfo.h
+share/yosys/include/kernel/sexpr.h
 share/yosys/include/kernel/sigtools.h
 share/yosys/include/kernel/timinginfo.h
 share/yosys/include/kernel/utils.h

Index: pkgsrc/devel/yosys/distinfo
diff -u pkgsrc/devel/yosys/distinfo:1.5 pkgsrc/devel/yosys/distinfo:1.6
--- pkgsrc/devel/yosys/distinfo:1.5     Sun Sep  8 15:31:21 2024
+++ pkgsrc/devel/yosys/distinfo Tue Oct 15 01:32:59 2024
@@ -1,10 +1,10 @@
-$NetBSD: distinfo,v 1.5 2024/09/08 15:31:21 thorpej Exp $
+$NetBSD: distinfo,v 1.6 2024/10/15 01:32:59 thorpej Exp $
 
-BLAKE2s (abc-yosys-0.45.tar.gz) = 7d2fe097cb0edd288ed1bd5363f4c41384701cabb1d44870d59eb6660e3979ed
-SHA512 (abc-yosys-0.45.tar.gz) = 817c68a65af049fcc3c7f6f8bede0df921b198c36baaa117329be727f5fc215bc1434ca801fd162e3c4811b6d1e61b735f631d77b83faf5c0ce9507abcba55a7
-Size (abc-yosys-0.45.tar.gz) = 6245551 bytes
-BLAKE2s (yosys-0.45.tar.gz) = 9fce7cc6a50ed13dda709ee35bc187ca17fce6d7bea419c3f23629e6c6a8bb02
-SHA512 (yosys-0.45.tar.gz) = fd0ab67f69e61ea1479b0fbf61f8d860bed58f668ab61c925e8d82fda728b9615188e7bcb0541110d6e6b272feb6420737d19c5e2d6315263e0439f78e6915d1
-Size (yosys-0.45.tar.gz) = 2921074 bytes
-SHA1 (patch-Makefile) = 25314af236374e85faacc4b85625195bb743f83d
+BLAKE2s (abc-yosys-0.46.tar.gz) = dfd05bc9646cf2d97dd655cf2f90ba71b498cd7e7d3be04282084d67ce4bd994
+SHA512 (abc-yosys-0.46.tar.gz) = e2b12c1adf7fbfd477999c791cfe237ab4cf66b2615be0e9fed9070383f0a386fd26031a2f59fea98f53095b109a1421d71c775bdca13f4901d168958fda9fb2
+Size (abc-yosys-0.46.tar.gz) = 6264660 bytes
+BLAKE2s (yosys-0.46.tar.gz) = ee9b8d88b723052bc0dbbbc2ef12a341d58b721dcb630fab33aa878126dcaf01
+SHA512 (yosys-0.46.tar.gz) = cc95c1372db4260fe0241770cd2eb490370ab4249dfd72019fe5f33fc99195081cab80aeb6c7eb3049d6e93eb0e2cad1e8a8d285d79113daa5141e453ed37076
+Size (yosys-0.46.tar.gz) = 3043092 bytes
+SHA1 (patch-Makefile) = db77fa7d0274a1f11290e46ee92dfc80b7d88556
 SHA1 (patch-misc_yosys-config.in) = 4ad255685debcd985b185a4dbe31be2c31117574

Index: pkgsrc/devel/yosys/patches/patch-Makefile
diff -u pkgsrc/devel/yosys/patches/patch-Makefile:1.1 pkgsrc/devel/yosys/patches/patch-Makefile:1.2
--- pkgsrc/devel/yosys/patches/patch-Makefile:1.1       Sat Sep  7 02:10:28 2024
+++ pkgsrc/devel/yosys/patches/patch-Makefile   Tue Oct 15 01:32:59 2024
@@ -1,10 +1,10 @@
-$NetBSD: patch-Makefile,v 1.1 2024/09/07 02:10:28 thorpej Exp $
+$NetBSD: patch-Makefile,v 1.2 2024/10/15 01:32:59 thorpej Exp $
 
 Disable the TCL shenanigans and just assume installed-by-pkgsrc.
 
---- Makefile.orig      2024-09-03 10:28:25
-+++ Makefile   2024-09-06 16:50:08
-@@ -432,15 +432,17 @@ TCL_VERSION ?= tcl$(shell bash -c "tclsh <(echo 'puts 
+--- Makefile.orig      2024-10-09 06:08:00.000000000 +0000
++++ Makefile   2024-10-14 23:30:11.076057503 +0000
+@@ -433,15 +433,17 @@ endif
  
  
  ifeq ($(ENABLE_TCL),1)
@@ -31,7 +31,7 @@ Disable the TCL shenanigans and just ass
  
  ifeq ($(CONFIG),mxe)
  CXXFLAGS += -DYOSYS_ENABLE_TCL
-@@ -734,7 +736,7 @@ $(PROGRAM_PREFIX)yosys$(EXE): $(OBJS)
+@@ -738,7 +740,7 @@ compile-only: $(OBJS) $(GENFILES) $(EXTR
        @echo ""
  
  $(PROGRAM_PREFIX)yosys$(EXE): $(OBJS)