summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorLaurent Zhu2019-06-28 16:30:20 +0200
committerLaurent Zhu2019-06-28 16:30:20 +0200
commit19246558b99ec9614c21ee9e2b335a95e7aff487 (patch)
tree5435350947cb224c057e6d5c4811a54e7e0be017
parent50b2fee3a9af799e7e335e490e79582185ff2bb7 (diff)
downloadaur-monoburg-git.tar.gz
Update to 1.0.7
Signed-off-by: Laurent Zhu <laurent.zhu@epita.fr>
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD8
2 files changed, 6 insertions, 8 deletions
diff --git a/.SRCINFO b/.SRCINFO
index bc4776df2264..8778d1e30a6c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by makepkg 4.2.1
-# Thu May 21 23:07:33 UTC 2015
pkgbase = monoburg-git
pkgdesc = MonoBURG is a tree-rewriting system originating from Mono.
- pkgver = 1.0.6.12.g111a578
- pkgrel = 3
+ pkgver = 1.0.7
+ pkgrel = 1
url = https://www.lrde.epita.fr/wiki/MonoBURG
arch = x86_64
arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 901670d0ff1e..3b605e31055f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,9 +1,10 @@
-# Maintainer: Kevin Houdebert <kevin@qwazerty.eu>
+# Maintainer: Laurent Zhu <laurent.zhu@epita.fr>
+# Contributor: Kevin Houdebert <kevin@qwazerty.eu>
_pkgname=monoburg
pkgname=${_pkgname}-git
-pkgver=1.0.6.12.g111a578
-pkgrel=3
+pkgver=1.0.7
+pkgrel=1
pkgdesc='MonoBURG is a tree-rewriting system originating from Mono.'
url='https://www.lrde.epita.fr/wiki/MonoBURG'
arch=('x86_64' 'i686')
@@ -22,7 +23,6 @@ pkgver() {
build() {
cd "$srcdir/$_pkgname"
-
./bootstrap
./configure --prefix=/usr
make