diff options
| author | aksr | 2015-07-06 17:44:59 +0200 |
|---|---|---|
| committer | aksr | 2015-07-06 17:44:59 +0200 |
| commit | 292bd5ea906fea7273783d4337789c0b639b0054 (patch) | |
| tree | 035e8621b93342207743127f176e5b7f5f3bcc31 | |
| download | aur-292bd5ea906fea7273783d4337789c0b639b0054.tar.gz | |
Start.
| -rw-r--r-- | .SRCINFO | 27 | ||||
| -rw-r--r-- | PKGBUILD | 30 |
2 files changed, 57 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ac5f1330b783 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,27 @@ +pkgbase = frama-c + pkgdesc = Extensible platform dedicated to source-code analysis of C software. + pkgver = 20150201 + pkgrel = 1 + url = http://frama-c.com + arch = i686 + arch = x86_64 + license = LGPL2.1 + makedepends = lablgtk2 + makedepends = coq + makedepends = graphviz + makedepends = ltl2ba + makedepends = ocaml + depends = gtksourceview2 + depends = libgnomecanvas + depends = zarith + optdepends = lablgtk2 + optdepends = coq + optdepends = graphviz + optdepends = ltl2ba + source = http://frama-c.com/download/frama-c-Sodium-20150201.tar.gz + md5sums = 7719bccdd319523da508e818e8e34fee + sha1sums = 71c7d9ea6d36a82d78069081f64db7209aa2a40f + sha256sums = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d + +pkgname = frama-c + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..a0468fa5bd91 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,30 @@ +# Contributor: Paolo Herms +# Contributor: Bartłomiej Piotrowski <nospam@bpiotrowski.pl> +# Maintainer: aksr <aksr at t-com dot me> +pkgname=frama-c +_codename=Sodium +pkgver=20150201 +pkgrel=1 +pkgdesc='Extensible platform dedicated to source-code analysis of C software.' +arch=('i686' 'x86_64') +license=('LGPL2.1') +url='http://frama-c.com' +depends=('gtksourceview2' 'libgnomecanvas' 'zarith') +makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml') +optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba') +source=("http://frama-c.com/download/$pkgname-${_codename}-$pkgver.tar.gz") +md5sums=('7719bccdd319523da508e818e8e34fee') +sha1sums=('71c7d9ea6d36a82d78069081f64db7209aa2a40f') +sha256sums=('5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d') + +build() { + cd "$srcdir/$pkgname-$_codename-$pkgver" + ./configure --prefix=/usr + make +} + +package() { + cd "$srcdir/$pkgname-$_codename-$pkgver" + make DESTDIR="$pkgdir" install +} + |