diff options
-rw-r--r-- | community/ghc/APKBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/community/ghc/APKBUILD b/community/ghc/APKBUILD index 4925c46797..fbe3d76f58 100644 --- a/community/ghc/APKBUILD +++ b/community/ghc/APKBUILD @@ -2,7 +2,7 @@ pkgname=ghc pkgver=8.6.5 _llvmver=9 -pkgrel=0 +pkgrel=1 # Normal non rc candidate _urlprefix="$pkgver" _pkgprefix="$pkgname-$pkgver" @@ -66,6 +66,7 @@ prepare() { if [ "$CBUILD" != "$CTARGET" ]; then # cross-build cat >> mk/build.mk <<-EOF + BuildFlavour = perf-cross HADDOCK_DOCS = NO BUILD_SPHINX_HTML = NO BUILD_SPHINX_PS = NO |