datalog/PKGBUILD

   1 # Maintainer: Rodney Price <rod@thirdoption.info>
   2 pkgname=datalog
   3 pkgver=1.7
   4 pkgrel=1
   5 pkgdesc="A deductive database system for memory-constrained devices."
   6 arch=('i686' 'x86_64')
   7 url="http://www.ccs.neu.edu/home/ramsdell/tools/datalog/"
   8 license=('LGPL')
   9 groups=()
  10 depends=('lua>=5.1')
  11 provides=('datalog')
  12 conflicts=()
  13 options=()
  14 install=datalog.install
  15 source=("http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog-$pkgver.tar.gz")
  16 md5sums=('4bf1ce9efa71f7b47573cd6cc3bcd736')
  17
  18 build() {
  19   cd "$srcdir/$pkgname-$pkgver"
  20
  21   ./configure --prefix=/usr --with-lua
  22   make
  23   make pdf
  24 }
  25
  26 package() {
  27   cd "$srcdir/$pkgname-$pkgver"
  28
  29   make DESTDIR="$pkgdir/" install
  30   make DESTDIR="$pkgdir/" install-pdf
  31 }
  32
  33 # vim:set ts=2 sw=2 et: