[arch-commits] Commit in yosys/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Felix Yan]

    Date: Thursday, August 11, 2022 @ 09:02:38
  Author: felixonmars
Revision: 1265214

archrelease: copy trunk to community-x86_64

Added:
  yosys/repos/community-x86_64/PKGBUILD
    (from rev 1265213, yosys/trunk/PKGBUILD)
Deleted:
  yosys/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |  107 +++++++++++++++++++++++++++++++------------------------------
 1 file changed, 55 insertions(+), 52 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2022-08-11 09:02:24 UTC (rev 1265213)
+++ PKGBUILD	2022-08-11 09:02:38 UTC (rev 1265214)
@@ -1,52 +0,0 @@
-# Maintainer: Felix Yan <felixonmars at archlinux.org>
-# Contributor: Benoît Allard <benoit dot allard at gmx dot de>
-# Contributor: killruana <killruana at gmail.com>
-
-pkgname=yosys
-pkgver=0.12
-pkgrel=6
-pkgdesc='A framework for RTL synthesis'
-arch=('x86_64')
-url='http://www.clifford.at/yosys/'
-license=('custom:ISC')
-depends=('abc' 'bash' 'boost-libs' 'tcl' 'libffi' 'python' 'protobuf')
-makedepends=('boost')
-checkdepends=('iverilog')
-optdepends=('graphviz: Schematics display support'
-            'xdot: Display netlists')
-options=('!lto') # getting SIGSEGV when running the tests with LTO
-source=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz")
-sha512sums=('df91ea75ae08c7c7e134cfa6284c4e9349e6f85f2df32e4710a571176d5e1a334a6e1e77d52bf573686d33b405559e40af1a8d42cbd4e1f95f0e3b4e212e0b06')
-
-_make() {
-    make \
-        PREFIX="/usr" \
-        CONFIG=gcc \
-        ENABLE_TCL=1 \
-        ENABLE_ABC=1 \
-        ENABLE_GLOB=1 \
-        ENABLE_PLUGINS=1 \
-        ENABLE_LIBYOSYS=1 \
-        ENABLE_PROTOBUF=1 \
-        ENABLE_ZLIB=1 \
-        ENABLE_PYOSYS=1 \
-        ABCEXTERNAL=abc \
-        BOOST_PYTHON_LIB="-lpython3.10 -lboost_python310" $@
-}
-
-build() {
-    cd $pkgname-$pkgname-$pkgver
-    _make
-}
-
-check() {
-    cd $pkgname-$pkgname-$pkgver
-    _make test
-}
-
-package() {
-    cd $pkgname-$pkgname-$pkgver
-    _make DESTDIR="$pkgdir" PYTHON_PREFIX="$pkgdir/usr" install
-
-    install -Dm644 COPYING -t "$pkgdir"/usr/share/licenses/$pkgname/
-}

Copied: yosys/repos/community-x86_64/PKGBUILD (from rev 1265213, yosys/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2022-08-11 09:02:38 UTC (rev 1265214)
@@ -0,0 +1,55 @@
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: Benoît Allard <benoit dot allard at gmx dot de>
+# Contributor: killruana <killruana at gmail.com>
+
+pkgname=yosys
+pkgver=0.12
+pkgrel=7
+pkgdesc='A framework for RTL synthesis'
+arch=('x86_64')
+url='http://www.clifford.at/yosys/'
+license=('custom:ISC')
+depends=('abc' 'bash' 'boost-libs' 'tcl' 'libffi' 'python' 'protobuf')
+makedepends=('boost')
+checkdepends=('iverilog')
+optdepends=('graphviz: Schematics display support'
+            'xdot: Display netlists'
+            'yices: default solver for yosys-smtbmc'
+            'cvc4: alternative solver for yosys-smtbmc'
+            'z3: alternative solver for yosys-smtbmc')
+options=('!lto') # getting SIGSEGV when running the tests with LTO
+source=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz")
+sha512sums=('df91ea75ae08c7c7e134cfa6284c4e9349e6f85f2df32e4710a571176d5e1a334a6e1e77d52bf573686d33b405559e40af1a8d42cbd4e1f95f0e3b4e212e0b06')
+
+_make() {
+    make \
+        PREFIX="/usr" \
+        CONFIG=gcc \
+        ENABLE_TCL=1 \
+        ENABLE_ABC=1 \
+        ENABLE_GLOB=1 \
+        ENABLE_PLUGINS=1 \
+        ENABLE_LIBYOSYS=1 \
+        ENABLE_PROTOBUF=1 \
+        ENABLE_ZLIB=1 \
+        ENABLE_PYOSYS=1 \
+        ABCEXTERNAL=abc \
+        BOOST_PYTHON_LIB="-lpython3.10 -lboost_python310" $@
+}
+
+build() {
+    cd $pkgname-$pkgname-$pkgver
+    _make
+}
+
+check() {
+    cd $pkgname-$pkgname-$pkgver
+    _make test
+}
+
+package() {
+    cd $pkgname-$pkgname-$pkgver
+    _make DESTDIR="$pkgdir" PYTHON_PREFIX="$pkgdir/usr" install
+
+    install -Dm644 COPYING -t "$pkgdir"/usr/share/licenses/$pkgname/
+}