[commit: ghc] wip/jenkins: Unregisterised (a5b1d5d)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/jenkins
Link       : http://ghc.haskell.org/trac/ghc/changeset/a5b1d5dd7a3cfe27bc65ed82cddd842b3323903d/ghc

>---------------------------------------------------------------

commit a5b1d5dd7a3cfe27bc65ed82cddd842b3323903d
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Thu May 18 01:55:35 2017 -0400

    Unregisterised


>---------------------------------------------------------------

a5b1d5dd7a3cfe27bc65ed82cddd842b3323903d
 Jenkinsfile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d759a03..ecaf027 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -23,7 +23,7 @@ def installPackages(String[] pkgs) {
   sh "cabal install -j${env.THREADS} --with-compiler=`pwd`/inplace/bin/ghc-stage2 --package-db=`pwd`/inplace/lib/package.conf.d ${pkgs.join(' ')}"
 }
 
-def buildGhc(boolean runNofib, String cross_target=null) {
+def buildGhc(boolean runNofib, String cross_target=null, boolean unreg=false) {
   stage('Clean') {
     checkout scm
     if (false) {
@@ -53,9 +53,12 @@ def buildGhc(boolean runNofib, String cross_target=null) {
     }
     writeFile(file: 'mk/build.mk', text: build_mk)
 
-    def target_opt = ''
+    def configure_opts = '--enable-tarballs-autodownload'
     if (cross_target) {
-      target_opt = "--target=${cross_target}"
+      configure_opts += "--target=${cross_target}"
+    }
+    if (unreg) {
+      configure_opts += "--enable-unregisterised"
     }
     sh """
        ./boot