hets-svn/PKGBUILD

   1 # Contributor: Markus Gross (xsdnyd [at] gmail.com)
   2
   3 pkgname=hets-svn
   4 pkgver=9727
   5 pkgrel=1
   6 pkgdesc="Hets is a parsing, static analysis and proof management tool \
   7 combining various tools for different specification languages, thus providing \
   8 a tool for the heterogeneous specification language HetCASL."
   9 url="http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm"
  10 arch=(i686)
  11 license=CUSTOM
  12 depends=('haxml>=1.13.2' 'ghc>=6.8.2' 'udrawgraph>=3.1.1' 'tcl' 'tk' 'spass' 'hets-lib')
  13 makedepends=('subversion')
  14 provides=('hets')
  15 source=()
  16 md5sums=()
  17
  18 _svntrunk=https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk
  19 _svnmod=hets
  20
  21 build() {
  22   cd $startdir/src
  23
  24   if [ -d uni/.svn ]
  25   then
  26       (cd uni && svn up)
  27   else
  28       svn co https://svn-agbkb.informatik.uni-bremen.de/uni/trunk --config-dir ./ uni
  29   fi
  30
  31   if [ -d $_svnmod/.svn ]
  32   then
  33       (cd $_svnmod && svn up -r $pkgver)
  34   else
  35       svn co $_svntrunk --config-dir ./ $_svnmod
  36   fi
  37
  38   msg "SVN checkout done or server timeout"
  39   msg "Building uniform framework"
  40
  41   cd $startdir/src/uni
  42
  43   ./configure --with-bdb=/usr
  44
  45   make cabal || return 1
  46
  47   cd $startdir/src
  48
  49   cp -r $_svnmod $_svnmod-build
  50   cd $_svnmod-build
  51
  52   msg "Building $_svnmod"
  53
  54   make packages || return 1
  55   #make depend || return 1
  56   make hets || return 1
  57
  58   mkdir -p $startdir/pkg/usr/bin/
  59   install -Dm755 hets $startdir/pkg/usr/bin/$_svnmod
  60
  61   #install license
  62   mkdir -p $startdir/pkg/usr/share/licenses/$_svnmod
  63   install -Dm644 LICENSE.txt $startdir/pkg/usr/share/licenses/$_svnmod/LICENSE
  64
  65   rm -rf $startdir/src/$_svnmod-build
  66 }
  67 # vim:syntax=sh