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 /PKGBUILD | |
download | aur-7ffc3597c334412c693a28a181f11022f12847eb.tar.gz |
initial version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 42 |
1 files changed, 42 insertions, 0 deletions
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" +} |