blob: 644b0091b5340f638619674da8adc62a1206928b (
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
|
# Maintainer: gilcu3 <gilcu3 [at] gmail [dot] com>
# Contributor: kaptoxic@yahoo.com
_pkgname=proofgeneral
pkgname="$_pkgname-git"
pkgver=4.5.r9313.c304d73e
pkgrel=1
pkgdesc="Generic interface for proof assistants"
arch=($CARCH)
license=('GPLv3+')
depends=('emacs>=25.2')
makedepends=('git')
provides=("${pkgname%-git}")
conflicts=("${pkgname%-git}")
install="${pkgname}.install"
url="https://github.com/ProofGeneral/PG"
source=("${_pkgname}::git+$url.git" "squirrel.patch")
sha512sums=('SKIP'
'd7dff3453a1262747b99faa6dabda2f08c3928f089f24b42111753779bf2c705a5f897271a30b8557d4673aaac61b64a1b7f4bfb7a22790b6e1d37bef0c7ac10')
prepare(){
cd "$srcdir/${_pkgname}"
patch --strip=2 --input=../squirrel.patch
}
pkgver() {
cd "$srcdir/${_pkgname}"
TAG=$(git describe --tags $(git rev-list --tags --max-count=1) | sed 's/^v//')
COMMIT=$(git rev-parse --short HEAD)
REVISION=$(git rev-list --count HEAD)
printf "%s.r%s.%s" "$TAG" "$REVISION" "$COMMIT"
}
build() {
cd "$srcdir/${_pkgname}"
make
}
package() {
cd "$srcdir/${_pkgname}"
for file in $(find . -type f -name '*.el')
do
install -Dm644 "${file}" "${pkgdir}/usr/share/emacs/site-lisp/${_pkgname}/${file}"
done
}
|