diff options
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 13 |
2 files changed, 12 insertions, 7 deletions
@@ -1,13 +1,13 @@ pkgbase = proofgeneral-git pkgdesc = Generic interface for proof assistants - pkgver = 4.4.r9297.ec4f9bad - pkgrel = 2 + pkgver = 4.5.r9313.c304d73e + pkgrel = 1 url = https://github.com/ProofGeneral/PG install = proofgeneral-git.install arch = x86_64 license = GPLv3+ makedepends = git - depends = emacs>=25.1 + depends = emacs>=25.2 provides = proofgeneral conflicts = proofgeneral source = proofgeneral::git+https://github.com/ProofGeneral/PG.git @@ -3,12 +3,12 @@ _pkgname=proofgeneral pkgname="$_pkgname-git" -pkgver=4.4.r9297.ec4f9bad -pkgrel=2 +pkgver=4.5.r9313.c304d73e +pkgrel=1 pkgdesc="Generic interface for proof assistants" arch=($CARCH) license=('GPLv3+') -depends=('emacs>=25.1') +depends=('emacs>=25.2') makedepends=('git') provides=("${pkgname%-git}") conflicts=("${pkgname%-git}") @@ -31,10 +31,15 @@ pkgver() { printf "%s.r%s.%s" "$TAG" "$REVISION" "$COMMIT" } +build() { + cd "$srcdir/${_pkgname}" + + make +} package() { cd "$srcdir/${_pkgname}" - make + for file in $(find . -type f -name '*.el') do install -Dm644 "${file}" "${pkgdir}/usr/share/emacs/site-lisp/${_pkgname}/${file}" |