summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaichi Shinozaki2015-06-09 18:33:48 +0900
committerDaichi Shinozaki2015-06-09 18:33:48 +0900
commitc61d7cc8af4ee47dec088a1409c4bedfc1d99312 (patch)
treeac7b348e0af4d9e650e39e79baab8a24f9918f6a
downloadaur-vim-opa-git.tar.gz
Initial import
-rw-r--r--.SRCINFO13
-rw-r--r--PKGBUILD46
-rw-r--r--vimdoc.install19
3 files changed, 78 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..4740bc9a96aa
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,13 @@
+pkgbase = vim-opa-git
+ pkgdesc = A set of Opa plug-ins for VIM
+ pkgver = 20121125
+ pkgrel = 1
+ url = https://github.com/MLstate/opalang/
+ install = vimdoc.install
+ arch = any
+ groups = vim-plugins
+ license = GPL
+ depends = vim
+
+pkgname = vim-opa-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..1b010965bdec
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Daichi Shinozaki <dsdseg@gmail.com>
+pkgname=('vim-opa-git')
+pkgver=20121125
+pkgrel=1
+pkgdesc="A set of Opa plug-ins for VIM"
+arch=('any')
+url="https://github.com/MLstate/opalang/"
+license=('GPL')
+groups=('vim-plugins')
+depends=('vim')
+install=vimdoc.install
+
+_gitroot=http://github.com/MLstate/opalang.git
+_gitname=opalang
+
+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"
+ msg "Starting build..."
+
+ rm -rf "$srcdir/$_gitname-build"
+ git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
+ cd "$srcdir/$_gitname-build"
+
+ #
+ # BUILD HERE
+ #
+ # nothing
+}
+
+package() {
+ cd "$srcdir/$_gitname-build/tools/editors/vim"
+ install -d "$pkgdir/usr/share/vim/vimfiles"
+ find . -type d -exec cp -R --preserve=mode \{\} "$pkgdir/usr/share/vim/vimfiles" \;
+}
+
+# vim:set ts=2 sw=2 et:
diff --git a/vimdoc.install b/vimdoc.install
new file mode 100644
index 000000000000..473841d5af1b
--- /dev/null
+++ b/vimdoc.install
@@ -0,0 +1,19 @@
+post_install() {
+ echo -n "Updating vim help tags..."
+ /usr/bin/vim --noplugins -u NONE -U NONE \
+ --cmd ":helptags /usr/share/vim/vim73/doc" --cmd ":q" > /dev/null 2>&1
+ echo "done."
+}
+
+post_upgrade() {
+ post_install $1
+}
+
+post_remove() {
+ post_install
+}
+
+op=$1
+shift
+
+$op $*