Date: Monday, January 23, 2023 @ 09:38:06
Author: dvzrv
Revision: 1387918
archrelease: copy trunk to community-x86_64
Added:
yosys/repos/community-x86_64/PKGBUILD
(from rev 1387917, yosys/trunk/PKGBUILD)
Deleted:
yosys/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 112 +++++++++++++++++++++++++++++++------------------------------
1 file changed, 57 insertions(+), 55 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2023-01-23 09:37:46 UTC (rev 1387917)
+++ PKGBUILD 2023-01-23 09:38:06 UTC (rev 1387918)
@@ -1,55 +0,0 @@
-# Maintainer: Felix Yan <[email protected]>
-# Contributor: Benoît Allard <benoit dot allard at gmx dot de>
-# Contributor: killruana <[email protected]>
-
-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/
-}
Copied: yosys/repos/community-x86_64/PKGBUILD (from rev 1387917,
yosys/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2023-01-23 09:38:06 UTC (rev 1387918)
@@ -0,0 +1,57 @@
+# Maintainer: Felix Yan <[email protected]>
+# Contributor: Benoît Allard <benoit dot allard at gmx dot de>
+# Contributor: killruana <[email protected]>
+
+pkgname=yosys
+pkgver=0.24
+pkgrel=3
+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() {
+ local python_version=$(python -c 'import sys; print(".".join(map(str,
sys.version_info[:2])))')
+ local python_version_combined=$(python -c 'import sys;
print("".join(map(str, sys.version_info[:2])))')
+ 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="-lpython${python_version}
-lboost_python${python_version_combined}" $@
+}
+
+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/
+}
