First commit for public version 1.01

2 files changed, 46 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..679cd8d57d0b
--- /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 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: