ppl-swi-prolog-interface-cvs/PKGBUILD

   1 pkgname=ppl-swi-prolog-interface-cvs
   2 pkgver=20081026
   3 pkgrel=1
   4 pkgdesc="The PPL swi prolog interface."
   5 arch=('i686' 'x86_64')
   6 url="http://www.cs.unipr.it/ppl"
   7 license=('GPL3')
   8 depends=('swi-prolog>=5.6.0' 'parma-polyhedra-library')
   9 makedepends=('cvs' 'doxygen' 'automake' 'autoconf' 'libtool' 'graphviz' 'tetex')
  10 provides=()
  11 conflicts=()
  12
  13 replaces=()
  14 backup=()
  15 install=
  16 source=()
  17 md5sums=()
  18
  19 build() {
  20   cd "$startdir"
  21
  22   msg 'Downloading the sources:'
  23   cvs -z9 -d :pserver:anoncvs@cvs.cs.unipr.it:/cvs/ppl checkout \
  24     -f -D "$pkgver" -P ppl || return 1
  25
  26   cp -fa ppl "$srcdir"
  27   cd "$srcdir"/ppl
  28
  29   msg 'Creating the configure file:'
  30   autoreconf -f || return 1
  31
  32   msg 'Configuring:'
  33   ./configure --prefix=/usr --enable-optimization \
  34     --enable-interfaces="swi-prolog" \
  35     --disable-dependency-tracking --enable-arch="$arch" || return 1
  36
  37   msg 'Making:'
  38   make || return 1
  39
  40   msg 'Installing:'
  41   mkdir -p "$srcdir"/tmp
  42   make DESTDIR="$srcdir"/tmp install || return 1
  43
  44   cd "$pkgdir"
  45   install -m755 -d usr/bin usr/lib/ppl
  46
  47   cd "$srcdir"/tmp
  48   install -m755 usr/bin/ppl_pl "$pkgdir"/usr/bin
  49   install -m644 usr/lib/ppl/libppl_swiprolog.a "$pkgdir"/usr/lib/ppl
  50   install -m755 usr/lib/ppl/libppl_swiprolog.la "$pkgdir"/usr/lib/ppl
  51   install -m755 usr/lib/ppl/libppl_swiprolog.so "$pkgdir"/usr/lib/ppl
  52   install -m644 usr/lib/ppl/ppl_swiprolog.pl "$pkgdir"/usr/lib/ppl
  53
  54   return 0
  55 }
  56