coq-8.3-svn/PKGBUILD

   1
   2 # Contributor: Paolo Herms
   3 pkgname=coq-8.3-svn
   4 pkgver=13465
   5 pkgrel=1
   6 pkgdesc="The 8.3 branch of coq."
   7 arch=('i686' 'x86_64')
   8 url="http://coq.inria.fr/"
   9 license=('GPL')
  10 depends=('gtk2')
  11 makedepends=('subversion' 'ocaml' 'lablgtk2' 'camlp5-transitional' 'netpbm' 'hevea')
  12 provides=('coq')
  13 conflicts=('coq')
  14
  15 _svntrunk=svn://scm.gforge.inria.fr/svn/coq/branches/v8.3
  16 _svnmod=coq-8.3-svn
  17
  18 build() {
  19   cd "$srcdir"
  20
  21   if [ -d $_svnmod/.svn ]; then
  22       cd $_svnmod && svn up -r $pkgver || return 1
  23   else
  24       svn co $_svntrunk --config-dir ./ -r $pkgver  $_svnmod && cd $_svnmod || return 1
  25   fi
  26
  27   msg "SVN checkout/update done"
  28
  29   # this avoids to rebuild everything on small updates
  30   [[ -e "$srcdir"/NOCONFIGURE ]] && msg "Skipping configure - remove src/NOCONFIGURE to force it" || {
  31       make clean &&
  32       ./configure -prefix '/usr' -mandir '/usr/share/man' -opt -coqide opt -with-doc no &&
  33       echo "Remove this file to force ./configure" > "$srcdir"/NOCONFIGURE ||
  34       return 1
  35   }
  36
  37   msg "Starting make..."
  38   make world && make COQINSTALLPREFIX="${pkgdir}" install || return 1
  39   make doc-html && make COQINSTALLPREFIX="${pkgdir}" install-doc-html || return 1
  40   echo $pkgver > "$srcdir"/CURRENT_VERSION
  41 }