Date: Monday, December 19, 2022 @ 18:13:18
Author: felixonmars
Revision: 1361772
archrelease: copy trunk to community-x86_64
Added:
yosys/repos/community-x86_64/PKGBUILD
(from rev 1361770, yosys/trunk/PKGBUILD)
Deleted:
yosys/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 110 ++++++++++++++++++++++++++++++-------------------------------
1 file changed, 55 insertions(+), 55 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2022-12-19 18:13:13 UTC (rev 1361771)
+++ PKGBUILD 2022-12-19 18:13:18 UTC (rev 1361772)
@@ -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.23
-pkgrel=1
-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=('63efce6d64367a0f3f14003d6bdae1621ba6d12dc358d46d765c4f6bc960ed1fd4e78e60a100685b3c8ad751be2120cbd68de1cfda128681aeb9d24172b3f24d')
-
-_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 1361770,
yosys/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2022-12-19 18:13:18 UTC (rev 1361772)
@@ -0,0 +1,55 @@
+# 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=1
+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/
+}
