summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRamana Kumar2016-01-27 10:17:11 +1100
committerRamana Kumar2016-01-27 10:17:11 +1100
commit638650f115b8af8a96a59243e924d551bc35f80e (patch)
tree0959abd415c9641e406eca67b49067ec1ea4f9bb
parent3a2b41cc9c0f2e80d86ff8919ea2c7c1452ff1b1 (diff)
downloadaur-638650f115b8af8a96a59243e924d551bc35f80e.tar.gz
update to fixes-5.6
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD10
2 files changed, 9 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 98666b1a5bfe..8073199a64ad 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Tue Jan 26 23:17:04 UTC 2016
pkgbase = polyml-fixes-git
pkgdesc = Poly/ML implementation of Standard ML (latest release + fixes)
- pkgver = 5.5.2r4.88a7241
+ pkgver = 5.6r2075.99bc5ee
pkgrel = 1
url = http://polyml.org
arch = i686
@@ -15,7 +17,7 @@ pkgbase = polyml-fixes-git
conflicts = polyml-svn
replaces = polyml-svn
options = staticlibs
- source = git+https://github.com/polyml/polyml.git#branch=fixes-5.5.2
+ source = git+https://github.com/polyml/polyml.git#branch=fixes-5.6
md5sums = SKIP
pkgname = polyml-fixes-git
diff --git a/PKGBUILD b/PKGBUILD
index eb8e9d8ddba3..e27e93d48171 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: Ramana Kumar <ramana at member dot fsf dot org>
pkgname=polyml-fixes-git
-pkgver=5.5.2r4.88a7241
+pkgver=5.6r2075.99bc5ee
pkgrel=1
pkgdesc="Poly/ML implementation of Standard ML (latest release + fixes)"
arch=('i686' 'x86_64')
@@ -15,25 +15,25 @@ replaces=("${pkgname%-fixes-git}-svn")
backup=()
options=('staticlibs')
install=
-source=('git+https://github.com/polyml/polyml.git#branch=fixes-5.5.2')
+source=('git+https://github.com/polyml/polyml.git#branch=fixes-5.6')
noextract=()
md5sums=('SKIP')
pkgver() {
cd "$srcdir/${pkgname%-fixes-git}"
- printf "5.5.2r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+ printf "5.6r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cd "$srcdir/${pkgname%-fixes-git}"
- ./configure --prefix=/usr --enable-shared
+ ./configure --prefix=/usr
make
make compiler
}
check() {
cd "$srcdir/${pkgname%-fixes-git}"
- make tests
+ make check
}
package() {