Initial import.

2 files changed, 46 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..3aa5a8a879c4
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,16 @@
+pkgbase = vim-idris-git
+	pkgdesc = Vim syntax support for the dependently-typed Idris language.
+	pkgver = 110.45680a3
+	pkgrel = 1
+	url = https://github.com/idris-hackers/idris-vim
+	arch = any
+	license = MIT
+	makedepends = git
+	depends = vim
+	provides = vim-idris
+	conflicts = vim-idris
+	source = git://github.com/idris-hackers/idris-vim.git
+	md5sums = SKIP
+
+pkgname = vim-idris-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..ad3390c3223a
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,30 @@
+# Maintainer: Leif Warner <abimelech@gmail.com>
+pkgname=vim-idris-git
+pkgver=110.45680a3
+pkgrel=1
+pkgdesc="Vim syntax support for the dependently-typed Idris language."
+arch=('any')
+url="https://github.com/idris-hackers/idris-vim"
+license=('MIT')
+depends=('vim')
+makedepends=('git')
+provides=('vim-idris')
+conflicts=('vim-idris')
+
+source=("git://github.com/idris-hackers/idris-vim.git")
+md5sums=('SKIP')
+_gitname="idris-vim"
+
+pkgver() {
+  cd $_gitname
+  echo "$(git rev-list --count HEAD).$(git rev-parse --short HEAD)"
+}
+
+package() {
+  cd $_gitname
+
+  for x in syntax indent ftdetect ftplugin; do
+    install -D -m644 $x/idris.vim "${pkgdir}/usr/share/vim/vimfiles/$x/idris.vim"
+  done
+  install -D -m644 syntax_checkers/idris/idris.vim "${pkgdir}/usr/share/vim/vimfiles/syntax_checkers/idris/idris.vim"
+}