diff options
author | gilcu3 | 2022-09-26 09:45:15 +0200 |
---|---|---|
committer | gilcu3 | 2022-09-26 09:45:15 +0200 |
commit | 15996f8fc5857580ab9bce74d08e7a2c826b6a6b (patch) | |
tree | 4624eb42ce17d26682b46a8cbf148d39a55395ce /PKGBUILD | |
parent | f20664d933da675aa2e838f3d91397b57ec6b0cc (diff) | |
download | aur-15996f8fc5857580ab9bce74d08e7a2c826b6a6b.tar.gz |
refactor build
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -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}" |