diff options
author | János Illés | 2016-09-18 15:16:18 +0200 |
---|---|---|
committer | János Illés | 2016-09-18 15:16:18 +0200 |
commit | d2b441b486715717ef5df06c33715f1b7690b5b7 (patch) | |
tree | 680d41f711be7c66937313415bc07081cf6a29e8 | |
download | aur-d2b441b486715717ef5df06c33715f1b7690b5b7.tar.gz |
add desktend package
-rw-r--r-- | .SRCINFO | 13 | ||||
-rw-r--r-- | PKGBUILD | 38 |
2 files changed, 51 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3f0ba2f03c99 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,13 @@ +pkgbase = desktend-git + pkgdesc = automatic virtual desktop extender for X11 + pkgver = 20110815 + pkgrel = 1 + url = https://github.com/ijanos/desktend + arch = i686 + arch = x86_64 + license = GPL + makedepends = git + depends = libx11 + +pkgname = desktend-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..624260d96797 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,38 @@ +# Maintainer: János Illés <ijanos@gmail.com> +pkgname=desktend-git +pkgver=20110815 +pkgrel=1 +pkgdesc="automatic virtual desktop extender for X11" +arch=('i686' 'x86_64') +url="https://github.com/ijanos/desktend" +license=('GPL') +depends=('libx11') +makedepends=('git') +_gitroot='git://github.com/ijanos/desktend.git' +_gitname='desktend' + +build() { + cd "$srcdir" + msg "Connecting to GIT server...." + + if [ -d $_gitname ] ; then + cd $_gitname && git pull origin + msg "The local files are updated." + else + git clone $_gitroot $_gitname + fi + + msg "GIT checkout done or server timeout" + + cd ${srcdir}/desktend + + gcc -lX11 -std=gnu99 -o desktend -O2 desktend.c +} + +package() { + cd "$srcdir/$_gitname" + installpath="${pkgdir}/usr/bin" + install -D desktend $installpath/desktend +} + +# vim:set ts=2 sw=2 et: |