mirror of
https://github.com/archlinux/aur.git
synced 2026-03-14 23:16:48 +01:00
37 lines
741 B
Bash
37 lines
741 B
Bash
# Maintainer: Aki-nyan <aur@catgirl.link>
|
|
|
|
pkgname=eqy-nightly
|
|
pkgver=20240402_yosys_0.38_2_g61336a7
|
|
pkgrel=1
|
|
epoch=1
|
|
pkgdesc="Equivalence Checking with Yosys"
|
|
arch=("any")
|
|
url="https://github.com/YosysHQ/eqy"
|
|
license=("custom:ISC")
|
|
groups=()
|
|
options=("!strip")
|
|
depends=("yosys-nightly" "sby-nightly" "python" "python-click")
|
|
optdepends=()
|
|
makedepends=("git" "gcc" "yosys-nightly")
|
|
conflicts=()
|
|
replaces=()
|
|
source=(
|
|
"eqy::git+https://github.com/YosysHQ/eqy.git#commit=61336a7"
|
|
)
|
|
sha256sums=(
|
|
"SKIP"
|
|
)
|
|
|
|
_PREFIX="/usr"
|
|
|
|
build() {
|
|
cd "${srcdir}/eqy"
|
|
make PREFIX="${_PREFIX}"
|
|
}
|
|
|
|
package() {
|
|
cd "${srcdir}/eqy"
|
|
make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install
|
|
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/eqy/LICENSE"
|
|
cd ..
|
|
}
|