diff options
| -rw-r--r-- | .SRCINFO | 15 | ||||
| -rw-r--r-- | PKGBUILD | 37 | ||||
| -rw-r--r-- | emacs-idris-mode-git.install | 7 |
3 files changed, 59 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e49f6881cb2e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = emacs-idris-mode-git + pkgdesc = Major mode for editing Idris. + pkgver = 20150609 + pkgrel = 1 + url = https://github.com/idris-hackers/idris-mode + install = emacs-idris-mode-git.install + arch = any + license = GPL3 + makedepends = git + depends = emacs + provides = emacs-idris-mode + replaces = emacs-idris-mode + +pkgname = emacs-idris-mode-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..0186f3be5608 --- /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 +} diff --git a/emacs-idris-mode-git.install b/emacs-idris-mode-git.install new file mode 100644 index 000000000000..cafff2e863d3 --- /dev/null +++ b/emacs-idris-mode-git.install @@ -0,0 +1,7 @@ +post_install() { + cat <<EOF +==> Put this in your ~/.emacs file to use idris-mode: + +(require 'idris-mode) +EOF +} |