blob: 0c0cc48105a9bfe0c34419d106779641e37de21c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
# Maintainer: Yanning Chen <self at lightquantum at me>
pkgname=agda-bin-git
pkgver=2.6.2.98d4eb0
pkgrel=1
pkgdesc="A dependently typed functional programming language and proof assistant: development version"
arch=('x86_64')
url="http://wiki.portal.chalmers.se/agda/"
license=('custom')
makedepends=('tar' 'sed')
provides=("agda")
conflicts=("agda")
source=("https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz" "https://github.com/agda/agda/blob/nightly/LICENSE")
md5sums=('SKIP' 'SKIP')
pkgver() {
cd "$srcdir/Agda-nightly"
./bin/agda -V|sed -rn "s/.*version (.*)-(.*)/\1.\2/p"
}
package() {
cd "$srcdir"
pushd "Agda-nightly"
pushd bin
find ./ -type f -exec install -Dm755 {} "${pkgdir}/usr/bin/{}" \;
popd
pushd data
find ./ -type f -exec install -Dm600 {} "${pkgdir}/usr/share/agda/{}" \;
popd
popd
install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/agda/LICENSE"
}
|