blob: d3844b88ae1f08cdb05a3a364cefbe863eb5b37d (
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
|
# Maintainer: Padraic Fanning <fanninpm at miamioh dot edu>
# Contributor: Yufan You <ouuansteve at gmail>
pkgname=lean-community
_pkgname=lean
pkgver=3.51.1
pkgrel=1
pkgdesc='Lean Theorem Prover, maintained by the Lean community'
arch=('x86_64' 'i386')
url="https://github.com/leanprover-community/lean"
license=('Apache')
makedepends=('cmake' 'gcc12' 'ninja' 'python')
optdepends=('python-mathlibtools')
conflicts=('lean-bin' 'lean-git' 'lean3-bin' 'lean2-git')
source=("$pkgname-$pkgver.tar.gz::https://github.com/leanprover-community/lean/archive/v$pkgver.tar.gz")
sha256sums=('5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf')
build() {
cd "$_pkgname-$pkgver"
mkdir build
cd build
export CXX=/usr/bin/g++-12
export CC=/usr/bin/gcc-12
cmake ../src -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -G Ninja
ninja
}
check() {
cd "$_pkgname-$pkgver"/build
ninja test
}
package() {
cd "$_pkgname-$pkgver"/build
DESTDIR="$pkgdir" ninja install
}
|