diff options
author | aksr | 2020-10-02 12:30:11 +0200 |
---|---|---|
committer | aksr | 2020-10-02 12:30:11 +0200 |
commit | a26598683f5c308ae3ed7a10808fa35694cbc464 (patch) | |
tree | 33e22b60e96764a32d0d796d62abdb8f49fd9b14 | |
parent | 816b991aabe443b1d71a49e515ac0edf3e1e094d (diff) | |
download | aur-frama-c.tar.gz |
Update to 21.1 (Scandium).
-rw-r--r-- | .SRCINFO | 13 | ||||
-rw-r--r-- | PKGBUILD | 22 |
2 files changed, 18 insertions, 17 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Wed Mar 18 06:07:24 UTC 2020 +# Fri Oct 2 10:30:08 UTC 2020 pkgbase = frama-c pkgdesc = Extensible platform dedicated to source-code analysis of C software. - pkgver = 20.0 + pkgver = 21.1 pkgrel = 1 epoch = 1 url = http://frama-c.com @@ -25,10 +25,11 @@ pkgbase = frama-c optdepends = coq optdepends = graphviz optdepends = ltl2ba - source = http://frama-c.com/download/frama-c-20.0-Calcium.tar.gz - md5sums = 47b9a0a246ae172384dd927516ab184c - sha1sums = 37b41710bd07a6913f617219c1a71757aebbac98 - sha256sums = 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d + source = http://frama-c.com/download/frama-c-21.1-Scandium.tar.gz + md5sums = 44ae60236da19b3ed7d28d476575643d + sha1sums = da75116dfd7927681388b34d38d56704eb0ae0ef + sha256sums = be25105521d40eeb2872b3dc2d46b2f67dca2b6e3546ed65ab0de4df10680063 + sha512sums = 57562f7f9779f040fd12a881b358383a495990f9cdc0da6d03799591ece291710a1805e32eb0cac1703974edd090a6999a2940a84f3247204715c497e4235ab5 pkgname = frama-c @@ -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 } - |