hets-lib-svn/PKGBUILD

   1 # Contributor: Markus Gross (xsdnyd [at] gmail.com)
   2
   3 pkgname=hets-lib-svn
   4 pkgver=812
   5 pkgrel=1
   6 pkgdesc="Library files for Hets."
   7 url="http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm"
   8 arch=(i686)
   9 license=CUSTOM
  10 depends=()
  11 makedepends=('subversion')
  12 provides=('hets-lib')
  13 source=(hets-lib.sh)
  14 md5sums=(f044678c14210fa59ade74f5adc8a511)
  15
  16 _svntrunk=https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk
  17 _svnmod=hets-lib
  18
  19 build() {
  20   cd $startdir/src
  21
  22   if [ -d $_svnmod/.svn ]
  23   then
  24       (cd $_svnmod && svn up -r $pkgver)
  25   else
  26       svn co $_svntrunk --config-dir ./ $_svnmod
  27   fi
  28
  29   msg "SVN checkout done or server timeout"
  30   cd $_svnmod
  31
  32   mkdir -p $startdir/pkg/usr/lib/hets
  33   cp -r * $startdir/pkg/usr/lib/hets
  34
  35    #install sh file to register HETS_LIB variable
  36   mkdir -p $startdir/pkg/etc/profile.d/
  37   cp $startdir/hets-lib.sh $startdir/pkg/etc/profile.d/
  38 }
  39 # vim:syntax=sh