swi-prolog-devel-git/PKGBUILD

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