Commit in yosys/repos (2 files)

[Felix Yan]

    Date: Sunday, September 18, 2022 @ 03:16:08
  Author: felixonmars
Revision: 1304772

archrelease: copy trunk to community-staging-x86_64

Added:
  yosys/repos/community-staging-x86_64/
  yosys/repos/community-staging-x86_64/PKGBUILD
    (from rev 1304771, yosys/trunk/PKGBUILD)

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

Copied: yosys/repos/community-staging-x86_64/PKGBUILD (from rev 1304771, 
yosys/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD                           (rev 0)
+++ community-staging-x86_64/PKGBUILD   2022-09-18 03:16:08 UTC (rev 1304772)
@@ -0,0 +1,55 @@
+# Maintainer: Felix Yan <felixonm...@archlinux.org>
+# Contributor: Benoît Allard <benoit dot allard at gmx dot de>
+# Contributor: killruana <killru...@gmail.com>
+
+pkgname=yosys
+pkgver=0.20
+pkgrel=2
+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=('c26ef7687f2395621ac77c8ebc0f94d55c2185cf120bac84245a60d1111e7a81e472804a038c390e158ca3130c63b5d5e90bbef672e9d1af431cb12c33148690')
+
+_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/
+}