swi-prolog-git/PKGBUILD

   1 pkgname=swi-prolog-git
   2 pkgver=20090426
   3 pkgrel=1
   4 pkgdesc="Prolog environment"
   5 arch=(i686 x86_64)
   6 url="http://www.swi-prolog.org/"
   7 depends=('gmp' 'readline')
   8
   9 license=('GPL')
  10 makedepends=('libxft' 'libjpeg' 'unixodbc' 'openssl' 'libxpm' 'libxinerama')
  11 options=('!makeflags')
  12 source=()
  13 md5sums=()
  14
  15 _gitroot="git://prolog.cs.vu.nl/home/pl/git/pl.git"
  16 _gitname="pl"
  17
  18
  19 build() {
  20
  21   msg "Connecting to swi-prolog GIT server...."
  22
  23   if [[ -d $startdir/src/$_gitname ]] ; then
  24     cd $startdir/src/$_gitname
  25     git pull origin || return 1
  26     git submodule update || return 1
  27     msg "The local files are updated."
  28   else
  29     cd $startdir/src
  30     git clone $_gitroot || return 1
  31     cd $startdir/src/$_gitname
  32     git submodule init || return 1
  33     git submodule update || return 1
  34   fi
  35
  36   msg "GIT checkout done"
  37   msg "Starting make..."
  38
  39   cd $startdir/src
  40
  41   # Remove old -build
  42   rm -rf $startdir/src/$_gitname-build
  43
  44   cp -r $startdir/src/$_gitname $startdir/src/$_gitname-build
  45   cd $startdir/src/$_gitname-build
  46
  47   # don't download documentation
  48   echo "warn" > .doc-action
  49
  50   ./prepare
  51   ./configure --with-world --prefix=/usr --enable-gmp
  52
  53   make DESTDIR=$startdir/pkg || return 1
  54   make DESTDIR=$startdir/pkg install || return 1
  55
  56   cd $startdir/src
  57   rm -rf $startdir/src/$_gitname-build
  58 }