elan-0.10.2

.gitignore

@@ -13,3 +13,4 @@ lib3ds/lib3ds-*.zip
 meshlab/meshlab/
 meshlab/vcglib/
 mpir/mpir-*.tar.bz2
+elan/elan-*.tar.gz

elan/.SRCINFO

@@ -0,0 +1,18 @@
+pkgbase = elan
+	pkgdesc = Lean version manager
+	pkgver = 0.10.2
+	pkgrel = 1
+	url = https://github.com/Kha/elan
+	arch = x86_64
+	license = MIT
+	license = Apache
+	makedepends = cargo
+	depends = curl
+	depends = xz
+	provides = lean
+	conflicts = lean
+	source = elan-0.10.2.tar.gz::https://github.com/kha/elan/archive/v0.10.2.tar.gz
+	sha512sums = d4d32ddc33285acaedea0aa781c24b589e5ee1e1a438aad1d4f854c0eb9d59f14287acce84fd2892748fdf25f4c5da34026cb6692cdccab2175d8c872bfcaf74
+
+pkgname = elan
+

elan/PKGBUILD

@@ -0,0 +1,38 @@
+pkgname=elan
+pkgver=0.10.2
+pkgrel=1
+pkgdesc="Lean version manager"
+arch=('x86_64')
+url="https://github.com/Kha/elan"
+license=('MIT' 'Apache')
+depends=('curl' 'xz')
+makedepends=('cargo')
+provides=('lean')
+conflicts=('lean')
+source=("elan-${pkgver}.tar.gz::https://github.com/kha/elan/archive/v${pkgver}.tar.gz")
+sha512sums=('d4d32ddc33285acaedea0aa781c24b589e5ee1e1a438aad1d4f854c0eb9d59f14287acce84fd2892748fdf25f4c5da34026cb6692cdccab2175d8c872bfcaf74')
+_binlinks=(lean leanpkg leanchecker leanc leanmake)
+
+build() {
+    cd "$srcdir/$pkgname-${pkgver}"
+    cargo build --release --features no-self-update
+}
+
+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
+}