diff options
| -rw-r--r-- | .SRCINFO | 20 | ||||
| -rw-r--r-- | PKGBUILD | 54 |
2 files changed, 74 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2f537fc51956 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = cyp-lukasstevens-git + pkgdesc = (Check Your Proof) Checker for "morally correct" induction proofs about Haskell programs + pkgver = r294.3129d6f + pkgrel = 1 + url = https://github.com/lukasstevens/cyp + arch = x86_64 + arch = i686 + license = MIT + makedepends = git + makedepends = ghc + makedepends = ghc-static + makedepends = stack + depends = gmp + depends = libffi + provides = cyp + source = git+https://github.com/lukasstevens/cyp + md5sums = SKIP + +pkgname = cyp-lukasstevens-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..61bc7a3f0f2d --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,54 @@ +# This is an example PKGBUILD file. Use this as a start to creating your own, +# and remove these comments. For more information, see 'man PKGBUILD'. +# NOTE: Please fill out the license field for your package! If it is unknown, +# then please put 'unknown'. + +# Maintainer: Christian Zimmerer <christian(DOT)zimmerer(AT)protonmail(DOT)com> +pkgname=cyp-lukasstevens-git +pkgver=r294.3129d6f +pkgrel=1 +epoch= +pkgdesc="(Check Your Proof) Checker for \"morally correct\" induction proofs about Haskell programs" +arch=(x86_64 i686) +url="https://github.com/lukasstevens/cyp" +license=(MIT) +groups=() +depends=(gmp libffi) +makedepends=(git ghc ghc-static stack) +checkdepends=() +optdepends=() +provides=(cyp) +conflicts=() +replaces=() +backup=() +options=() +install= +changelog= +source=("git+$url") +noextract=() +md5sums=('SKIP') +validpgpkeys=() + +pkgver() { + cd cyp + ( set -o pipefail + git describe --long 2>/dev/null | sed 's/\([^-]*-g\)/r\1/;s/-/./g' || + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" + ) +} + +build() { + cd cyp + stack build +} + +check() { + cd cyp + stack test +} + +package() { + cd cyp + stack install --local-bin-path $pkgdir/usr/bin + install -Dm644 ./LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} |