From 30a50997839a93f81854e1bff87ab9c7cff60533 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 26 Mar 2019 21:35:24 -0700
Subject: circleci - set path to use installed ghc.

---
 .circleci/config.yml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 52198b822..2ddb93082 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -13,7 +13,7 @@ env: &env
 
 preinstall: &preinstall
   run: |
-      echo 'export PATH=/opt/cabal/bin:$PATH' >> $BASH_ENV
+      echo 'export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH' >> $BASH_ENV
       source $BASH_ENV
       apt-get update
 
@@ -47,11 +47,6 @@ commands:
           name: install ghc
           command: |
             apt-get install -y ghc-<< parameters.ghcversion >>
-            ghc --version
-            which ghc
-            echo $PATH
-            dpkg -S ghc-<< parameters.ghcversion >>
-            locate ghc-<< parameters.ghcversion >>
       - run:
           name: build project
           command: |
-- 
cgit v1.2.3