diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -2,8 +2,8 @@ # Contributor: Bartłomiej Piotrowski <nospam@bpiotrowski.pl> # Maintainer: aksr <aksr at t-com dot me> pkgname=frama-c -_codename=Calcium -pkgver=20.0 +_codename=Scandium +pkgver=21.1 pkgrel=1 epoch=1 pkgdesc='Extensible platform dedicated to source-code analysis of C software.' @@ -14,18 +14,18 @@ depends=('gtksourceview2' 'libgnomecanvas' 'ocaml-zarith') makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib' 'ocaml-num' 'ocaml-yojson') optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba') source=("http://frama-c.com/download/${pkgname}-${pkgver}-${_codename}.tar.gz") -md5sums=('47b9a0a246ae172384dd927516ab184c') -sha1sums=('37b41710bd07a6913f617219c1a71757aebbac98') -sha256sums=('167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d') +md5sums=('44ae60236da19b3ed7d28d476575643d') +sha1sums=('da75116dfd7927681388b34d38d56704eb0ae0ef') +sha256sums=('be25105521d40eeb2872b3dc2d46b2f67dca2b6e3546ed65ab0de4df10680063') +sha512sums=('57562f7f9779f040fd12a881b358383a495990f9cdc0da6d03799591ece291710a1805e32eb0cac1703974edd090a6999a2940a84f3247204715c497e4235ab5') build() { - cd "$srcdir/$pkgname-$pkgver-$_codename" - ./configure --prefix=/usr - make + cd "$srcdir/$pkgname-$pkgver-$_codename" + ./configure --prefix=/usr + make } package() { - cd "$srcdir/$pkgname-$pkgver-$_codename" - make DESTDIR="$pkgdir" install + cd "$srcdir/$pkgname-$pkgver-$_codename" + make DESTDIR="$pkgdir" install } - |