PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

# Maintainer: Aki-nyan <aur@catgirl.link>

pkgname=eqy-nightly
pkgver=20240410_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 ..
}