goo/PKGBUILD

   1 # Contributor: Roberto Alsina <ralsina@kde.org>
   2 pkgname=goo
   3 pkgver=0.155
   4 pkgrel=2
   5 pkgdesc="Type-based prefix syntaxed language that is simple, powerful and extensible."
   6 arch=('i686')
   7 url="http://www.googoogaga.org"
   8 license=('GPL')
   9 depends=('gc' 'gmp')
  10 source=(http://people.csail.mit.edu/jrb/goo/goo-0_155-any-dev.tar.gz
  11         boot.patch)
  12 md5sums=('8c4d2d9b68554817cb6a053bf8bef202'
  13          '7420de638dc9ea102c4f8befa5da4e2d')
  14
  15 build() {
  16   cd $startdir/src/goo-0_155-any-dev
  17   patch -p1 < ../boot.patch || exit 1
  18   ./configure --prefix=$startdir/pkg/usr
  19
  20   # YES, I KNOW THIS IS UGLY.
  21   # It's also the only way I found to make it work.
  22   # at least on my box.
  23
  24   cd $startdir/src/goo-0_155-any-dev/c/g2c
  25   make 2> /dev/null
  26   rm goo.o
  27   make 2> /dev/null
  28   cd $startdir/src/goo-0_155-any-dev/c
  29   make || return 1
  30   cd $startdir/src/goo-0_155-any-dev
  31   make || return 1
  32   make DESTDIR=$startdir/pkg install || exit 1
  33 }