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

Filipe Laíns ffy00 at gemini.archlinux.org
Sat Sep 3 20:23:58 UTC 2022


    Date: Saturday, September 3, 2022 @ 20:23:58
  Author: ffy00
Revision: 1292738

archrelease: copy trunk to community-x86_64

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

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

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2022-09-03 20:23:54 UTC (rev 1292737)
+++ PKGBUILD	2022-09-03 20:23:58 UTC (rev 1292738)
@@ -1,55 +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=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/
-}

Copied: yosys/repos/community-x86_64/PKGBUILD (from rev 1292737, yosys/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2022-09-03 20:23:58 UTC (rev 1292738)
@@ -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.20
+pkgrel=1
+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=('c1ae62e55928f26ff6142e9291cbd9b593b39f755d0294b4441bc66fa0eeec90bd71014495e54b5b9530ce609af8b007c755096295a0f7599c739535316c929b')
+
+_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/
+}



More information about the arch-commits mailing list