From 40e3a03afafa66f39c02af5988f8e6f9626077cf Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sat, 26 Dec 2020 19:51:23 +0100
Subject: [PATCH] elan-0.10.2

---
 .gitignore    |  1 +
 elan/.SRCINFO | 18 ++++++++++++++++++
 elan/PKGBUILD | 38 ++++++++++++++++++++++++++++++++++++++
 3 files changed, 57 insertions(+)
 create mode 100644 elan/.SRCINFO
 create mode 100644 elan/PKGBUILD

diff --git a/.gitignore b/.gitignore
index f39d3cc..a437f56 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ lib3ds/lib3ds-*.zip
 meshlab/meshlab/
 meshlab/vcglib/
 mpir/mpir-*.tar.bz2
+elan/elan-*.tar.gz
diff --git a/elan/.SRCINFO b/elan/.SRCINFO
new file mode 100644
index 0000000..05446b6
--- /dev/null
+++ b/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
+
diff --git a/elan/PKGBUILD b/elan/PKGBUILD
new file mode 100644
index 0000000..9680bca
--- /dev/null
+++ b/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
+}