Commit in yosys/repos (2 files)

[Evangelos Foutras]

    Date: Saturday, January 21, 2023 @ 15:30:40
  Author: foutrelis
Revision: 1387388

archrelease: copy trunk to community-staging-x86_64

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

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

Copied: yosys/repos/community-staging-x86_64/PKGBUILD (from rev 1387387, 
yosys/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD                           (rev 0)
+++ community-staging-x86_64/PKGBUILD   2023-01-21 15:30:40 UTC (rev 1387388)
@@ -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.24
+pkgrel=2
+pkgdesc='A framework for RTL synthesis'
+arch=('x86_64')
+url='https://yosyshq.net/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=('f345267e42e879a4629d731414c51e86585e1d80accf9920799f65a771b3ce22632c04317c6db87fa786ba6efe8c4cfdb5ea3079c131932488c294136887cbee')
+
+_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/
+}