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: [PATCH] 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: |