frama-c/PKGBUILD

   1 # Contributor: Paolo Herms
   2
   3 pkgname=frama-c
   4 pkgver=20111001
   5 _codename=Nitrogen
   6 pkgrel=1
   7 pkgdesc="An extensible platform dedicated to source-code analysis of C software."
   8 arch=(i686 x86_64)
   9 license=('LGPL2.1')
  10 url="http://frama-c.cea.fr/"
  11 depends=('gtksourceview2' 'libgnomecanvas' 'ocaml')
  12 makedepends=('lablgtk2>=2.14' 'coq')
  13 source=(http://frama-c.com/download/frama-c-$_codename-${pkgver/_/-}.tar.gz)
  14
  15 build() {
  16   cd "$srcdir"/frama-c-$_codename-${pkgver/_/-}
  17   ./configure --prefix=/usr
  18   sed -i 's-/usr/bin/install-/bin/install-' share/Makefile.common
  19   make
  20   make  DESTDIR="$pkgdir" install
  21 }
  22
  23 md5sums=('09bf25ed3d1b54e2d523166aa4499edd')