v7_sh/PKGBUILD

   1 # Contributor: bender02 at gmx dot com
   2 pkgname=v7_sh
   3 pkgver=0
   4 pkgrel=1
   5 pkgdesc="A port of original Steve Bourne shell from 1978"
   6 url="http://riemann.fmi.uni-sofia.bg/sh/"
   7 license=('custom')
   8 arch=('i686' 'x86_64')
   9 makedepends=(dietlibc)
  10 source=(http://riemann.fmi.uni-sofia.bg/sh/$pkgname.tar.gz)
  11 md5sums=('e503e6110a95a8387421f5c938e0ce92')
  12
  13 build() {
  14     cd $srcdir/$pkgname
  15     make CC='/opt/diet/bin/diet -Os gcc -W' || return 1
  16     make tests || return 1
  17     # need to use some other name than 'sh', since /bin/sh is already owned by bash package
  18     install -m755 -o root -g root -D sh $pkgdir/bin/$pkgname || return 1
  19     install -m644 -o root -g root -D NOTICE.pdf $pkgdir/usr/share/licenses/$pkgname/notice.pdf || return 1
  20 }