proofgeneral/PKGBUILD

   1 # Maintainer: Patrick Palka <patrick@parcs.ath.cx>
   2 # Contributor: dimino jeremie <jeremie@dimino.org>
   3
   4 pkgname=proofgeneral
   5 pkgver=4.1
   6 pkgrel=1
   7 pkgdesc='Generic interface for proof assistants.'
   8 arch=('i686' 'x86_64')
   9 license=('GPL')
  10 url='http://proofgeneral.inf.ed.ac.uk/'
  11 depends=('emacs')
  12 install="${pkgname}.install"
  13 source=("http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-${pkgver}.tgz")
  14
  15 build() {
  16   cd ProofGeneral
  17
  18   make clean
  19
  20   make
  21 }
  22
  23 package() {
  24   cd ProofGeneral
  25
  26   make PREFIX=${pkgdir}/usr install
  27 }
  28
  29 md5sums=('a04ebe2c6b56a4fd6c16a070ea7fe3a9')