diff options
author | roel | 2015-11-28 00:51:09 +0100 |
---|---|---|
committer | roel | 2015-11-28 00:51:09 +0100 |
commit | 970c303821bcb92770cabf1f4f1811cc9fc6bce0 (patch) | |
tree | 5f7b651b1d67d14e6b9e089e6fc161d7687f1dca | |
download | aur-970c303821bcb92770cabf1f4f1811cc9fc6bce0.tar.gz |
Initial import
-rw-r--r-- | .SRCINFO | 11 | ||||
-rw-r--r-- | PKGBUILD | 51 |
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 +} + |