opa-git/PKGBUILD

   1 # Maintainer: Carlos Franke <carlos_franke at lemtank dot de>
   2 pkgname=opa-git
   3 pkgver=20111018
   4 pkgrel=1
   5 pkgdesc="The cloud language"
   6 arch=('i686' 'x86_64')
   7 url="http://opalang.org/"
   8 license=('AGPL')
   9 depends=('java-environment' 'openssl')
  10 makedepends=('git' 'ocaml' 'ocaml-ssl' 'ocaml-cryptokit' 'ocaml-zip' 'ocaml-ocamlgraph' 'ulex')
  11 provides=(opa)
  12 conflicts=(opa)
  13
  14 _gitroot="git://github.com/MLstate/opalang.git"
  15 _gitname="opalang"
  16
  17 build() {
  18   cd "$srcdir"
  19   msg "Connecting to GIT server...."
  20
  21   if [ -d $_gitname ] ; then
  22     cd $_gitname && git pull origin
  23     msg "The local files are updated."
  24   else
  25     git clone $_gitroot $_gitname
  26   fi
  27
  28   msg "GIT checkout done or server timeout"
  29   msg "Starting make..."
  30
  31   rm -rf "$srcdir/$_gitname-build"
  32   git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  33   cd "$srcdir/$_gitname-build"
  34
  35   #
  36   # BUILD HERE
  37   #
  38
  39   ./configure #--prefix=/usr
  40   make
  41 }
  42
  43 package() {
  44   cd "$srcdir/$_gitname-build"
  45   make DESTDIR="$pkgdir/" install
  46 }