diff options
author | Michał Wojdyła | 2024-02-07 11:20:26 +0100 |
---|---|---|
committer | Michał Wojdyła | 2024-02-07 11:20:26 +0100 |
commit | 0ef2f3780c1346426eb4931fe74cfb092053d9cb (patch) | |
tree | c7749f06c850842f29290e9a6a91175dd7d6321d /PKGBUILD | |
parent | fc1dd0ed7b3522624ee172f763c940289c7e2d58 (diff) | |
download | aur-0ef2f3780c1346426eb4931fe74cfb092053d9cb.tar.gz |
git+https:// sources
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 20 |
1 files changed, 4 insertions, 16 deletions
@@ -1,4 +1,4 @@ -# Maintainer: Mort Yao <soi@mort.ninja> +# Contributor: Mort Yao <soi@mort.ninja> pkgname=emacs-idris-mode-git pkgver=20150609 @@ -13,24 +13,12 @@ provides=('emacs-idris-mode') replaces=('emacs-idris-mode') install=$pkgname.install -_gitroot="https://github.com/idris-hackers/idris-mode" +source=("git+https://github.com/idris-hackers/idris-mode") +b2sums=('SKIP') _gitname="idris-mode" -build() { - cd $startdir/src - msg "Connecting to github.com GIT server...." - - if [ -d $startdir/src/$_gitname ] ; then - cd $_gitname && git pull origin - msg "The local files are updated." - else - git clone $_gitroot - fi - - msg "GIT checkout done or server timeout" -} package() { - cd $startdir/src/$_gitname + cd $_gitname mkdir -p $pkgdir/usr/share/emacs/site-lisp/idris-mode cp -R $srcdir/idris-mode/*.el $pkgdir/usr/share/emacs/site-lisp/idris-mode |