summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHarenome Ranaivoarivony-Razanajato <ranaivoarivony-razanajato@hareno.me>2017-03-20 00:25:29 +0100
committerHarenome Ranaivoarivony-Razanajato <ranaivoarivony-razanajato@hareno.me>2017-03-20 00:25:29 +0100
commited7bc53bf2a0621247c400b308ed7320981ad1d0 (patch)
treec1182557ae87ee46b5bc2039bf4664a6b534a606
osl 0.9.0
-rw-r--r--.SRCINFO14
-rw-r--r--.gitignore2
-rw-r--r--PKGBUILD34
3 files changed, 50 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 0000000..3f6c749
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,14 @@
+pkgbase = osl
+ pkgdesc = OpenScop Library
+ pkgver = 0.9.0
+ pkgrel = 1
+ url = http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/index.html
+ arch = x86_64
+ license = LGPL
+ depends = gmp
+ provides = osl
+ source = http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/docs/osl-0.9.0.tar.gz
+ md5sums = d1aa20732b61c5c20e153d9d850e732f
+
+pkgname = osl
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..2f8ab8c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+# As advised in the arch wiki page for AUR, ignore everything.
+*
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 0000000..678537b
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,34 @@
+# Maintainer: Harenome Ranaivoarivony-Razanajato
+# <ranaivoarivony-razanajato@hareno.me>
+
+pkgname=osl
+pkgver=0.9.0
+pkgrel=1
+pkgdesc="OpenScop Library"
+arch=(x86_64)
+url="http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/index.html"
+license=('LGPL')
+depends=("gmp")
+provides=("osl")
+source=(http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/docs/${pkgname}-${pkgver}.tar.gz)
+md5sums=('d1aa20732b61c5c20e153d9d850e732f')
+
+prepare() {
+ cd "${srcdir}/${pkgname}-${pkgver}"
+}
+
+build() {
+ cd "${srcdir}/${pkgname}-${pkgver}"
+ ./configure --prefix=/usr --with-gmp=system
+ make
+}
+
+check() {
+ cd "${srcdir}/${pkgname}-${pkgver}"
+ make check
+}
+
+package() {
+ cd "${srcdir}/${pkgname}-${pkgver}"
+ make DESTDIR="${pkgdir}/" install
+}