From ec656a912ce6bde5ba218f8880867379ec71180a Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Tue, 10 Jun 2014 05:22:46 +0300
Subject: [PATCH] Jenkins: build right version of Cabal library

---
 jenkins-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins-build.sh b/jenkins-build.sh
index 0ec25986..46a87084 100755
--- a/jenkins-build.sh
+++ b/jenkins-build.sh
@@ -3,7 +3,7 @@
 cabal update
 (cd patching/ && ./scripts/create-tarballs.sh)
 cabal install
-cabal install Cabal
+cabal install Cabal-$(cabal --version | sed -n 's@using version \(.*\) of the Cabal library@\1@p')
 ./dist/build/stackage/stackage select --no-platform
 ./dist/build/stackage/stackage check
 ./dist/build/stackage/stackage build