summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD22
1 files changed, 11 insertions, 11 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 47f85839581b..282b6a192720 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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
}
-