diff options
| author | Poscat | 2019-11-30 12:08:55 +0800 |
|---|---|---|
| committer | Poscat | 2019-11-30 12:08:55 +0800 |
| commit | c70372895bd6faf8a02fe608359bdb5b9c4167ec (patch) | |
| tree | ec1698572506123d6496b268d5713c4f7814705c /PKGBUILD | |
| download | aur-lean3-bin.tar.gz | |
Initial commit
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..65be800c7065 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# This is an example PKGBUILD file. Use this as a start to creating your own, +# and remove these comments. For more information, see 'man PKGBUILD'. +# NOTE: Please fill out the license field for your package! If it is unknown, +# then please put 'unknown'. + +# Maintainer: Your Name <youremail@domain.com> +pkgname=lean3-bin +pkgver=3.4.2 +pkgrel=1 +pkgdesc="Lean Theorem Prover" +arch=('x86_64') +url="https://github.com/leanprover/lean" +license=('Apache') +depends=() +makedepends=() +source=("https://github.com/leanprover/lean/releases/download/v3.4.2/lean-${pkgver}-linux.tar.gz") +md5sums=('b8f164b0af837b2597a4ca93fed331b2') + +package() { + cd $srcdir/lean-${pkgver}-linux + mkdir -p $pkgdir/usr/bin + cp -r bin/* $pkgdir/usr/bin + mkdir -p $pkgdir/usr/lib + cp -r lib/* $pkgdir/usr/lib + mkdir -p $pkgdir/usr/include + cp -r include/* $pkgdir/usr/include +} |