diff options
author | Potato Hatsue | 2020-11-11 19:07:26 +0800 |
---|---|---|
committer | Potato Hatsue | 2020-11-11 19:07:26 +0800 |
commit | a26a287a2fa320fdd9ef918d6dfa3c1242ae6ca6 (patch) | |
tree | 626881406b8ee211bd59cb5aa12f1bb294cb3ec7 | |
download | aur-agda-cubical.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | PKGBUILD | 46 | ||||
-rw-r--r-- | cubical.agda-lib.in | 3 |
3 files changed, 66 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a22aa015afd9 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = agda-cubical + pkgdesc = An experimental library for Cubical Agda + pkgver = 0.2 + pkgrel = 1 + url = https://github.com/agda/cubical + arch = x86_64 + license = MIT + makedepends = ghc-libs + depends = agda=2.6.1.2 + options = staticlibs + source = agda-cubical-0.2.tar.gz::https://github.com/agda/cubical/archive/v0.2.tar.gz + source = cubical.agda-lib.in + sha512sums = 19defe1e9645e9c259eb619549412587f29f2f1463ccf8a620d45b0a940faa84754fb8795c3d2eafc9feb4e503d1a24e26ae4dbcd02e30af2597ef2f91b4daba + sha512sums = 721438844cd3c8f1b4b015ba55e548705ace58870ce8eadbaa280b7f34119d24a7f7d1fb7545c9ab121043cb542e7dc55ee0f06fe075caa5b69adabafc0c84fc + +pkgname = agda-cubical + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..37637c859884 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,46 @@ +# Maintainer: Potato Hatsue <berberman@yandex.com> + +pkgname=agda-cubical +pkgver=0.2 +_agdaver=2.6.1.2 +pkgrel=1 +pkgdesc="An experimental library for Cubical Agda" +url="https://github.com/agda/cubical" +license=("MIT") +arch=('x86_64') +depends=("agda=$_agdaver") +makedepends=("ghc-libs") +options=('staticlibs') +source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/cubical/archive/v$pkgver.tar.gz" +cubical.agda-lib.in) +sha512sums=('19defe1e9645e9c259eb619549412587f29f2f1463ccf8a620d45b0a940faa84754fb8795c3d2eafc9feb4e503d1a24e26ae4dbcd02e30af2597ef2f91b4daba' + '721438844cd3c8f1b4b015ba55e548705ace58870ce8eadbaa280b7f34119d24a7f7d1fb7545c9ab121043cb542e7dc55ee0f06fe075caa5b69adabafc0c84fc') + +prepare() { + cd cubical-$pkgver + rm cubical.agda-lib +} + +build() { + cd cubical-$pkgver + + runhaskell --ghc-arg=-dynamic ./Everythings.hs gen-except Core Foundations Codata Experiments + agda Cubical/README.agda + agda Cubical/WithK.agda + +} + +package() { + install -Dm644 cubical.agda-lib.in "$pkgdir"/usr/share/agda/lib/cubical.agda-lib + + cd cubical-$pkgver + + install -dm755 "$pkgdir"/usr/share/agda/lib/cubical + cp -pr Cubical "$pkgdir"/usr/share/agda/lib/cubical/ + + # Symlink to avoid writing to this place when agda-lib is present + install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda + ln -s ../../../cubical "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda/ + + install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE +} diff --git a/cubical.agda-lib.in b/cubical.agda-lib.in new file mode 100644 index 000000000000..222f12b6f046 --- /dev/null +++ b/cubical.agda-lib.in @@ -0,0 +1,3 @@ +name: cubical +include: cubical/ +depend: |