summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorroel2015-11-28 00:51:09 +0100
committerroel2015-11-28 00:51:09 +0100
commit970c303821bcb92770cabf1f4f1811cc9fc6bce0 (patch)
tree5f7b651b1d67d14e6b9e089e6fc161d7687f1dca
downloadaur-970c303821bcb92770cabf1f4f1811cc9fc6bce0.tar.gz
Initial import
-rw-r--r--.SRCINFO11
-rw-r--r--PKGBUILD51
2 files changed, 62 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..19ba1c72c6f9
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,11 @@
+pkgbase = camlp4-git
+ pkgver = 4.02+6.r2.g074db4c
+ pkgrel = 1
+ url = https://github.com/ocaml/camlp4/tree/4.02
+ arch = x86_64
+ arch = i686
+ license = GPL
+ makedepends = git
+
+pkgname = camlp4-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..aa2df723c70f
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,51 @@
+# Maintainer: Roel Kluin <r.o.e.lkluin@gmail.com>
+pkgname=camlp4-git
+pkgver=4.02+6.r2.g074db4c
+pkgrel=1
+pkgdesc=""
+arch=('x86_64' 'i686')
+url="https://github.com/ocaml/camlp4/tree/4.02"
+license=('GPL')
+groups=()
+depends=()
+makedepends=('git')
+provides=()
+conflicts=()
+replaces=()
+backup=()
+options=()
+install=
+source=()
+md5sums=()
+
+_gitroot='https://github.com/ocaml/camlp4.git'
+_gitname='camlp4'
+_branch=4.02
+
+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 -b $_branch "$_gitroot" "$_gitname"
+ fi
+
+ msg "GIT checkout done or server timeout"
+ msg "Starting build..."
+
+ rm -rf "$srcdir/$_gitname-build"
+ git clone -b $_branch "$srcdir/$_gitname" "$srcdir/$_gitname-build"
+ cd "$srcdir/$_gitname-build"
+
+ ./configure --bindir=/usr/bin --libdir=/usr/share/$_gitname
+ make
+}
+
+package() {
+ cd "$srcdir/$_gitname-build"
+ make DESTDIR="$pkgdir/" install
+}
+