diff options
| author | Potato Hatsue | 2020-11-11 19:06:11 +0800 |
|---|---|---|
| committer | Potato Hatsue | 2020-11-11 19:06:11 +0800 |
| commit | e95dbce6d5d97602b44c75f92640c2a361fd6da0 (patch) | |
| tree | e48aa1af803ebc25b50fc642167b18399576e5ca | |
| download | aur-agda-categories.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 44 | ||||
| -rw-r--r-- | agda-categories.agda-lib.in | 3 |
3 files changed, 64 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..146734ee22ce --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = agda-categories + pkgdesc = A new Categories library for Agda + pkgver = 0.1.4 + pkgrel = 1 + url = https://github.com/agda/agda-categories + arch = x86_64 + license = MIT + depends = agda=2.6.1.2 + depends = agda-stdlib + options = staticlibs + source = agda-categories-0.1.4.tar.gz::https://github.com/agda/agda-categories/archive/v0.1.4.tar.gz + source = agda-categories.agda-lib.in + sha512sums = 42597d207507cd77f033857079fb4d4d6f5b1771c26a4f9441c4a3968c2eedf4e12cb33ca91d0ecf5d49c965a79a8f5c6435caf97e26319fb389d765f11d63fe + sha512sums = b5695a41517a58624caadfce121a57ed9cedc9570935bd84bc8b13fafc372c45e010239f7ea31ccd22ac6d605418f9160c7c62b5d43b9d8f76af9a264a7ff6cc + +pkgname = agda-categories + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b23b95a48cdf --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,44 @@ +# Maintainer: Potato Hatsue <berberman@yandex.com> + +pkgname=agda-categories +pkgver=0.1.4 +_agdaver=2.6.1.2 +pkgrel=1 +pkgdesc="A new Categories library for Agda" +url="https://github.com/agda/agda-categories" +license=("MIT") +arch=('x86_64') +depends=("agda=$_agdaver" "agda-stdlib") +options=('staticlibs') +source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-categories/archive/v$pkgver.tar.gz" +agda-categories.agda-lib.in) +sha512sums=('42597d207507cd77f033857079fb4d4d6f5b1771c26a4f9441c4a3968c2eedf4e12cb33ca91d0ecf5d49c965a79a8f5c6435caf97e26319fb389d765f11d63fe' + 'b5695a41517a58624caadfce121a57ed9cedc9570935bd84bc8b13fafc372c45e010239f7ea31ccd22ac6d605418f9160c7c62b5d43b9d8f76af9a264a7ff6cc') + +prepare() { + cd $pkgname-$pkgver + rm agda-categories.agda-lib +} + +build() { + cd $pkgname-$pkgver + + find src/ -name '[^\.]*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda + agda -i. -isrc Everything.agda +} + +package() { + install -Dm644 agda-categories.agda-lib.in "$pkgdir"/usr/share/agda/lib/agda-categories.agda-lib + + cd $pkgname-$pkgver + + cp -pr _build/$_agdaver/agda/src/* src + install -dm755 "$pkgdir"/usr/share/agda/lib/categories + cp -pr src/* "$pkgdir"/usr/share/agda/lib/categories/ + + # Symlink to avoid writing to this place when agda-lib is present + install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda + ln -s ../../../categories "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda/ + + install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE +} diff --git a/agda-categories.agda-lib.in b/agda-categories.agda-lib.in new file mode 100644 index 000000000000..9b6aa362f440 --- /dev/null +++ b/agda-categories.agda-lib.in @@ -0,0 +1,3 @@ +name: agda-categories +depend: standard-library +include: categories/ |