summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD37
1 files changed, 37 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..0186f3be560
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,37 @@
+# Maintainer: Mort Yao <soi@mort.ninja>
+
+pkgname=emacs-idris-mode-git
+pkgver=20150609
+pkgrel=1
+pkgdesc="Major mode for editing Idris."
+arch=('any')
+url="https://github.com/idris-hackers/idris-mode"
+license=('GPL3')
+depends=('emacs')
+makedepends=('git')
+provides=('emacs-idris-mode')
+replaces=('emacs-idris-mode')
+install=$pkgname.install
+
+_gitroot="https://github.com/idris-hackers/idris-mode"
+_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
+
+ mkdir -p $pkgdir/usr/share/emacs/site-lisp/idris-mode
+ cp -R $srcdir/idris-mode/*.el $pkgdir/usr/share/emacs/site-lisp/idris-mode
+}