summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatěj Grabovský2016-03-23 19:58:52 +0100
committerMatěj Grabovský2016-03-23 19:58:52 +0100
commitd57336f3163a632522633223617a85302a10ad25 (patch)
tree4254197c548ea71555f1ec7f454ab67aadb2cb75
downloadaur-d57336f3163a632522633223617a85302a10ad25.tar.gz
First commit for public version 1.01
-rw-r--r--.SRCINFO18
-rw-r--r--PKGBUILD28
2 files changed, 46 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..679cd8d57d0
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+# Generated by mksrcinfo v8
+# Wed Mar 23 18:55:07 UTC 2016
+pkgbase = alt-ergo
+ pkgdesc = SMT solver for software verification
+ pkgver = 1.01
+ pkgrel = 1
+ url = https://alt-ergo.ocamlpro.com
+ arch = i686
+ arch = x86_64
+ license = custom:CeCILL-C
+ makedepends = lablgtk2
+ depends = gtksourceview2
+ depends = zarith
+ source = alt-ergo::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-1.01.tar.gz
+ sha256sums = d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb
+
+pkgname = alt-ergo
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..6691d4de6e6
--- /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: