summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorhaawda2017-04-21 08:24:40 +0200
committerhaawda2017-04-21 08:24:40 +0200
commite2da4f7c134fb1f24e858daa39bc0f2e29625ad1 (patch)
tree2887cd0cbcda269493d09fe16e758fae59f87b75 /PKGBUILD
parent989626bb6ede3867979c45c5d7f2b4fa9dff18c9 (diff)
downloadaur-e2da4f7c134fb1f24e858daa39bc0f2e29625ad1.tar.gz
new build directive
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD5
1 files changed, 3 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index d4e2de038072..b6e8e4278de9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
# Maintainer: Stefan Husmann <stefan-husmann@t-online.de>
pkgname=gambit-c-git
-pkgver=4.8.8.r72.gd13c173
+pkgver=4.8.8.r81.g8fb7e8c
pkgrel=1
pkgdesc="Scheme R5RS interpreter and compiler (via C) - git version"
arch=('i686' 'x86_64')
@@ -31,7 +31,7 @@ build() {
--enable-c-opt \
--enable-gcc-opts \
--disable-shared
- make latest-release
+ make current-gsc-boot
./configure \
--prefix=/usr \
@@ -45,6 +45,7 @@ build() {
--enable-interpreter-name=gambiti \
--enable-single-host
make from-scratch
+ make doc
}
check() {