From f74b47b1bb080a1b509ce80dea8bdad7f567c1de Mon Sep 17 00:00:00 2001 From: aki-nyan Date: Sun, 2 Apr 2023 20:01:26 +0200 Subject: [PATCH] Bumped mcy-nightly Version to 20230402_d8f33b0 --- .SRCINFO | 24 ++++++++++++++++++++++++ .gitignore | 5 +++++ PKGBUILD | 31 +++++++++++++++++++++++++++++++ PKGBUILD.in | 31 +++++++++++++++++++++++++++++++ 4 files changed, 91 insertions(+) create mode 100644 .SRCINFO create mode 100644 .gitignore create mode 100644 PKGBUILD create mode 100644 PKGBUILD.in diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..f14d8f373ff1 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,24 @@ +pkgbase = mcy-nightly + pkgdesc = Mutation Cover with Yosys + pkgver = 20230402_d8f33b0 + pkgrel = 1 + epoch = 1 + url = https://github.com/YosysHQ/eqy + arch = any + license = custom:ISC + makedepends = git + makedepends = gcc + makedepends = cmake + makedepends = boost + depends = yosys-nightly + depends = sby-nightly + depends = python + depends = python-click + depends = qt5-base + depends = boost-libs + optdepends = python-flask + options = !strip + source = mcy::git+https://github.com/YosysHQ/mcy.git#commit=d8f33b0 + sha256sums = SKIP + +pkgname = mcy-nightly diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..ff301b174ab6 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +* +!.gitignore +!PKGBUILD +!PKGBUILD.in +!.SRCINFO diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..8ea0431f54fc --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: Aki-nyan + +pkgname=mcy-nightly +pkgver=20230402_d8f33b0 +pkgrel=1 +epoch=1 +pkgdesc="Mutation Cover with Yosys" +arch=("any") +url="https://github.com/YosysHQ/eqy" +license=("custom:ISC") +groups=() +options=("!strip") +depends=("yosys-nightly" "sby-nightly" "python" "python-click" "qt5-base" "boost-libs") +optdepends=("python-flask") +makedepends=("git" "gcc" "cmake" "boost") +conflicts=() +replaces=() +source=( + "mcy::git+https://github.com/YosysHQ/mcy.git#commit=d8f33b0" +) +sha256sums=( + "SKIP" +) + +_PREFIX="/usr" +package() { + cd "${srcdir}/mcy" + make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install + install -Dm644 COPYING "${pkgdir}/usr/share/licenses/mcy/LICENSE" + cd .. +} diff --git a/PKGBUILD.in b/PKGBUILD.in new file mode 100644 index 000000000000..d4eb0f878786 --- /dev/null +++ b/PKGBUILD.in @@ -0,0 +1,31 @@ +# Maintainer: Aki-nyan + +pkgname=mcy-nightly +pkgver=@MCY_VER@ +pkgrel=1 +epoch=1 +pkgdesc="Mutation Cover with Yosys" +arch=("any") +url="https://github.com/YosysHQ/eqy" +license=("custom:ISC") +groups=() +options=("!strip") +depends=("yosys-nightly" "sby-nightly" "python" "python-click" "qt5-base" "boost-libs") +optdepends=("python-flask") +makedepends=("git" "gcc" "cmake" "boost") +conflicts=() +replaces=() +source=( + "mcy::git+https://github.com/YosysHQ/mcy.git#commit=@MCY_HASH@" +) +sha256sums=( + "SKIP" +) + +_PREFIX="/usr" +package() { + cd "${srcdir}/mcy" + make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install + install -Dm644 COPYING "${pkgdir}/usr/share/licenses/mcy/LICENSE" + cd .. +}