proofgeneral-cvs/PKGBUILD

   1 # Contributor: dimino jeremie <jeremie@dimino.org>
   2 # Contributor: Paolo Herms
   3 pkgname=proofgeneral-cvs
   4 pkgver=20100326
   5 pkgrel=1
   6 pkgdesc="Generic interface for proof assistants"
   7 arch=(i686 x86_64)
   8 url="http://proofgeneral.inf.ed.ac.uk/"
   9 depends=('emacs')
  10 makedepends=('cvs')
  11 provides=('proofgeneral')
  12 conflicts=('proofgeneral')
  13 license=('GPL')
  14 install=proofgeneral.install
  15
  16 _cvsroot=":pserver:anon:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen"
  17 _cvsmod="ProofGeneral"
  18
  19 build() {
  20   if [ -d $_cvsmod/CVS ]; then
  21     cd $_cvsmod
  22     cvs -z3 update -d
  23   else
  24     cvs -z3 -d $_cvsroot co -D $pkgver -f $_cvsmod
  25     cd $_cvsmod
  26   fi
  27
  28   make clean
  29   yes ''|make compile || return 1
  30   make PREFIX=$startdir/pkg/usr install
  31 }