diff options
author | Daniel Schadt | 2020-05-05 12:34:16 +0200 |
---|---|---|
committer | Daniel Schadt | 2020-05-05 12:34:16 +0200 |
commit | 7ffc3597c334412c693a28a181f11022f12847eb (patch) | |
tree | 4103e32c0453aa555b418978a4fa73dc43837449 | |
download | aur-7ffc3597c334412c693a28a181f11022f12847eb.tar.gz |
initial version
-rw-r--r-- | .SRCINFO | 16 | ||||
-rw-r--r-- | PKGBUILD | 42 |
2 files changed, 58 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2bdc1ace83c5 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = candy-kingdom-git + pkgdesc = A collection of SAT solvers and tools for structure analysis in SAT problems. + pkgver = 1388 + pkgrel = 1 + url = https://github.com/Udopia/candy-kingdom + arch = x86_64 + license = MIT + makedepends = cmake + makedepends = git + depends = gcc-libs + depends = zlib + source = candy-kingdom::git+https://github.com/Udopia/candy-kingdom.git#branch=master + sha256sums = SKIP + +pkgname = candy-kingdom-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..fc406029dba1 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,42 @@ +# Maintainer: Daniel <kingdread {at} gmx {period} de> +pkgname=candy-kingdom-git +_pkgname=candy-kingdom +pkgver=1388 +pkgrel=1 +pkgdesc="A collection of SAT solvers and tools for structure analysis in SAT problems." +arch=("x86_64") +url="https://github.com/Udopia/candy-kingdom" +license=("MIT") +makedepends=("cmake" "git") +depends=("gcc-libs" "zlib") +source=( + "${_pkgname}::git+https://github.com/Udopia/candy-kingdom.git#branch=master" +) +sha256sums=('SKIP') + +pkgver() { + cd "${_pkgname}" + git rev-list --count HEAD +} + +prepare() { + cd "${_pkgname}" + git submodule init + git submodule set-url -- lib/oscpack https://github.com/Udopia/oscpack.git + git submodule update +} + +build() { + mkdir -p "${_pkgname}/build" + cd "${_pkgname}/build" + cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_SKIP_BUILD_RPATH=1 .. + make candy +} + +package() { + cd "${_pkgname}" + install -Dm 644 LICENCE "${pkgdir}/usr/share/licenses/${pkgname}/LICENCE" + cd "build" + install -Dm 755 candy "${pkgdir}/usr/bin/candy" + install -Dm 644 libcandylib.a "${pkgdir}/usr/lib/libcandylib.a" +} |