mozart/PKGBUILD

   1 # Contributer: Matt Beisser <beissemj(at)gmail(dot)com>
   2 # Contributor: BinkyTheClown <binky_at_archlinux_dot_us>
   3 pkgname=mozart
   4 pkgver=1.4.0.20080704
   5 pkgrel=4
   6 pkgdesc="The Mozart Programming System"
   7 arch=('i686')
   8 url="http://www.mozart-oz.org"
   9 license=('custom:X11style')
  10 depends=('gmp' 'emacs' 'tk' 'gdbm')
  11 options=('!makeflags')
  12 source=(http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-1.4.0.20080704-src.tar.gz
  13         http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-$pkgver-std.tar.gz
  14         mozart.profile)
  15 md5sums=('d34156dce23a84925f7eae121feb3afe' 'b9e2e6c2d57044b7a2ce7d13e35ff120'\
  16          'cc4567bb8fad4a81da1903ee092a4886')
  17
  18 build() {
  19   cd $srcdir/$pkgname-$pkgver
  20   ./configure --prefix=$pkgdir/opt/mozart --disable-contrib-micq --disable-doc
  21   make || return 1
  22   mkdir -p $pkgdir/usr/share/licenses/mozart
  23
  24   make prefix=$pkgdir/opt/mozart install
  25
  26   cd $srcdir/$pkgname-$pkgver-std
  27   ./configure --prefix=$pkgdir/opt/mozart
  28   make prefix=$pkgdir/opt/mozart install
  29
  30   install -m 755 -D $srcdir/mozart.profile $pkgdir/etc/profile.d/mozart.sh
  31   cp $pkgdir/opt/mozart/LICENSE* $pkgdir/usr/share/licenses/mozart
  32 }