From 82e7de383b124939bcb035c7a5f272587993537f Mon Sep 17 00:00:00 2001
From: Jonathan Daugherty <jtd@galois.com>
Date: Wed, 22 Jul 2015 10:35:00 -0700
Subject: [PATCH] Travis: perform builds in a cabal sandbox

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 312c592..c960159 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -79,6 +79,7 @@ install:
  - cabal --version
  - echo "$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]"
  - travis_retry cabal update
+ - cabal sandbox init
  - cabal install --only-dependencies --enable-tests --enable-benchmarks
 
 # Here starts the actual work to be performed for the package under