summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKevin Houdebert2015-05-03 03:22:26 +0200
committerKevin Houdebert2015-05-03 03:22:26 +0200
commit28b80e64cf96b7157890330c1acc8a2ad94c674f (patch)
treedb57e5296a3fccae65209e529500b7fb9ab20913
downloadaur-28b80e64cf96b7157890330c1acc8a2ad94c674f.tar.gz
First commit
-rw-r--r--.SRCINFO17
-rw-r--r--PKGBUILD40
2 files changed, 57 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..f26754e85800
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+# Generated by makepkg 4.2.1
+# Sun May 3 01:20:56 UTC 2015
+pkgbase = monoburg-git
+ pkgdesc = MonoBURG is a tree-rewriting system originating from Mono.
+ pkgver = 1.0.6.12.g111a578
+ pkgrel = 1
+ url = https://www.lrde.epita.fr/wiki/MonoBURG
+ arch = x86_64
+ arch = i686
+ license = GPL3
+ makedepends = git
+ depends = glib2
+ source = git://git.lrde.epita.fr/monoburg
+ md5sums = SKIP
+
+pkgname = monoburg-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..4c99c943e495
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,40 @@
+# Maintainer: Kevin Houdebert <kevin@qwazerty.eu>
+
+_pkgname=monoburg
+pkgname=${_pkgname}-git
+pkgver=1.0.6.12.g111a578
+pkgrel=1
+pkgdesc='MonoBURG is a tree-rewriting system originating from Mono.'
+url='https://www.lrde.epita.fr/wiki/MonoBURG'
+arch=('x86_64' 'i686')
+license=('GPL3')
+makedepends=('git')
+depends=('glib2')
+source=("git://git.lrde.epita.fr/${_pkgname}")
+md5sums=('SKIP')
+
+pkgver() {
+ cd "$srcdir/$_pkgname"
+ git describe --always | sed 's|monoburg-||;s|-|.|g'
+}
+
+build() {
+ cd "$srcdir/$_pkgname"
+
+ ./bootstrap
+ ./configure --prefix=/usr
+ make
+}
+
+package() {
+ cd "$srcdir/$_pkgname"
+ make DESTDIR="$pkgdir" install
+ install -Dm644 COPYING "$pkgdir/usr/share/licenses/$pkgname/COPYING"
+}
+
+check() {
+ cd "$srcdir/$_pkgname"
+ make check
+}
+
+# vim:set sts=2 sw=2 et: