blob: aaa5501770d4bccd6297f9eef949147492eb199d (
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
51
52
53
54
55
56
|
# Maintainer: Chocobo1 <chocobo1 AT archlinux DOT net>
pkgname=lean4-git
pkgver=4.5.0.rc1.r86.gad068824d0
pkgrel=1
pkgdesc="An interactive theorem prover"
arch=('i686' 'x86_64')
url="https://leanprover.github.io/"
license=('Apache')
depends=('glibc' 'gmp')
makedepends=('git' 'cmake')
provides=("lean4=$pkgver")
conflicts=('lean4')
options=('staticlibs')
source=("git+https://github.com/leanprover/lean4.git")
sha256sums=('SKIP')
prepare() {
cd "lean4"
git submodule update --init --recursive
}
pkgver() {
cd "lean4"
_tag=$(git tag -l --sort -v:refname | grep -E '^v?[0-9\.]+' | head -n1)
_rev=$(git rev-list --count $_tag..HEAD)
_hash=$(git rev-parse --short HEAD)
printf "%s.r%s.g%s" "$_tag" "$_rev" "$_hash" | sed 's/^v//;s/-/./g'
}
build() {
cd "lean4"
cmake \
-B "_build" \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_INSTALL_PREFIX="/usr" \
-DCMAKE_INSTALL_LIBDIR="lib" \
./
make -C "_build" stage2
}
check() {
cd "lean4"
#make -C "_build/stage2" test
}
package() {
cd "lean4"
make -C "_build/stage2" DESTDIR="$pkgdir" install
}
|