blob: 948d581a04f022f02afde7354696e8ddd25c8825 (
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
|
# Contributor: William J. Bowman <aur@williamjbowman.com>
# Contributor: Patrick Palka <patrick@parcs.ath.cx>
# Contributor: dimino jeremie <jeremie@dimino.org>
pkgname=proofgeneral
pkgver=4.5
pkgrel=4
pkgdesc='Generic interface for proof assistants.'
arch=('any')
license=('GPL')
url='https://proofgeneral.github.io/'
depends=('emacs>=25.2')
install="${pkgname}.install"
source=("https://github.com/ProofGeneral/PG/archive/refs/tags/v${pkgver}.tar.gz")
replaces=('proofgeneral-nox')
sha512sums=('ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366')
build() {
cd "$srcdir/PG-${pkgver}"
make
}
package() {
cd "$srcdir/PG-${pkgver}"
for file in $(find . -type f -name '*.el')
do
install -Dm644 "${file}" "${pkgdir}/usr/share/emacs/site-lisp/${_pkgname}/${file}"
done
}
|