blob: 8ac601036ab729ae4a95f6c0cc7540fe4176718d (
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
# Maintainer: Xuanrui QI <me@xuanruiqi.com>
# This PKGBUILD is forked off the PKGBUILD for rustup, which is
# the work of:
# Maintainer: Sven-Hendrik Haase <svenstaro@gmail.com>
# Contributor: Jonathon Fernyhough <jonathon_at_manjaro_dot_org>
# Contributor: Jon Gjengset <jon@tsp.io>
_pkgname=elan
pkgname=${_pkgname}-lean
pkgver=3.1.0
pkgrel=1
pkgdesc="A Lean version manager"
arch=('x86_64')
url="https://github.com/leanprover/elan"
license=('MIT' 'Apache')
depends=('curl' 'xz')
makedepends=('cargo')
provides=('lean-community')
conflicts=('lean-bin' 'lean-git' 'lean4' 'lean-community')
install='post.install'
source=("elan-${pkgver}.tar.gz::https://github.com/leanprover/elan/archive/v${pkgver}.tar.gz")
sha512sums=('80cfcb39d66b552785db261459c1420646b94df5894e234c25a8bd3362b15e891f3f17bde291907bb5aeb81d9dc7aef533b2876c23d45a0ee1e97a6f8d60ea8e')
_binlinks=('lean' 'leanchecker' 'leanpkg' 'lake')
options=(!lto)
build() {
cd "$srcdir/$_pkgname-${pkgver}"
cargo build --release --features no-self-update --bin elan-init
}
package() {
cd "$_pkgname-${pkgver}"
install -Dm755 "target/release/elan-init" "${pkgdir}/usr/bin/elan"
for link in "${_binlinks[@]}"; do
ln -s /usr/bin/elan "${pkgdir}/usr/bin/${link}"
done
# Generate completion files.
mkdir -p "$pkgdir/usr/share/bash-completion/completions"
"$pkgdir"/usr/bin/elan completions bash > "$pkgdir/usr/share/bash-completion/completions/elan"
mkdir -p "$pkgdir/usr/share/fish/vendor_completions.d"
"$pkgdir"/usr/bin/elan completions fish > "$pkgdir/usr/share/fish/vendor_completions.d/elan.fish"
mkdir -p "$pkgdir/usr/share/zsh/site-functions"
"$pkgdir"/usr/bin/elan completions zsh > "$pkgdir/usr/share/zsh/site-functions/_elan"
install -Dm644 LICENSE-MIT "${pkgdir}"/usr/share/licenses/$pkgname/LICENSE-MIT
install -Dm644 LICENSE-APACHE "${pkgdir}"/usr/share/licenses/$pkgname/LICENSE-APACHE
}
# vim:filetype=sh:
|