diff options
author | Matěj Grabovský | 2016-03-23 19:58:52 +0100 |
---|---|---|
committer | Matěj Grabovský | 2016-03-23 19:58:52 +0100 |
commit | d57336f3163a632522633223617a85302a10ad25 (patch) | |
tree | 4254197c548ea71555f1ec7f454ab67aadb2cb75 /PKGBUILD | |
download | aur-d57336f3163a632522633223617a85302a10ad25.tar.gz |
First commit for public version 1.01
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..6691d4de6e67 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: Matej Grabovsky <matej.grabovsky at gmail> +pkgname=alt-ergo +pkgver=1.01 +pkgrel=1 +pkgdesc='SMT solver for software verification' +arch=('i686' 'x86_64') +license=('custom:CeCILL-C') +url='https://alt-ergo.ocamlpro.com' +depends=('gtksourceview2' 'zarith') +makedepends=('lablgtk2') +source=("${pkgname}::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-${pkgver}.tar.gz") +sha256sums=('d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb') + +build() { + cd "$srcdir/$pkgname-$pkgver" + ./configure -prefix /usr + make + make gui +} + +package() { + cd "$srcdir/$pkgname-$pkgver" + make DESTDIR="$pkgdir" install + make DESTDIR="$pkgdir" install-gui + install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} + +# vim:set et sw=4 sts=4 et: |