This repository was archived by the owner on Oct 7, 2020. It is now read-only.

Commit a5d8c19

committed

Use installed ghc in stack linux build

To avoid download it again and not waste disk space

1 parent 78eb87b commit a5d8c19Copy full SHA for a5d8c19

File tree

2 files changed

+23

-17

lines changed

.azure
- linux-stack.bashrc
- linux-stack.yml

2 files changed

+23

-17

lines changed

`‎.azure/linux-stack.bashrc`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-export PATH=$HOME/.local/bin:$PATH`
	`1`	`+export PATH=$HOME/.local/bin:/opt/ghc/$GHC_VERSION/bin:$PATH`

`‎.azure/linux-stack.yml`

Lines changed: 22 additions & 16 deletions

Original file line number	Diff line number	Diff line change
`@@ -5,29 +5,31 @@ jobs:`
`5`	`5`	`vmImage: ubuntu-16.04`
`6`	`6`	`strategy:`
`7`	`7`	`matrix:`
`8`		`- stack-def:`
	`8`	`+ default:`
`9`	`9`	`YAML_FILE: stack.yaml`
`10`		`- stack-8.8.3:`
`11`		`- YAML_FILE: stack-8.8.3.yaml`
`12`		`- stack-8.8.2:`
`13`		`- YAML_FILE: stack-8.8.2.yaml`
`14`		`- stack-8.6.5:`
`15`		`- YAML_FILE: stack-8.6.5.yaml`
`16`		`- stack-8.6.4:`
`17`		`- YAML_FILE: stack-8.6.4.yaml`
`18`		`- stack-8.4.4:`
`19`		`- YAML_FILE: stack-8.4.4.yaml`
`20`		`- stack-8.4.3:`
`21`		`- YAML_FILE: stack-8.4.3.yaml`
`22`		`- stack-8.4.2:`
`23`		`- YAML_FILE: stack-8.4.2.yaml`
	`10`	`+ GHC_VERSION: "8.8.3"`
	`11`	`+ ghc-8.8.3:`
	`12`	`+ GHC_VERSION: "8.8.3"`
	`13`	`+ ghc-8.8.2:`
	`14`	`+ GHC_VERSION: "8.8.2"`
	`15`	`+ ghc-8.6.5:`
	`16`	`+ GHC_VERSION: "8.6.5"`
	`17`	`+ ghc-8.6.4:`
	`18`	`+ GHC_VERSION: "8.6.4"`
	`19`	`+ ghc-8.4.4:`
	`20`	`+ GHC_VERSION: "8.4.4"`
	`21`	`+ ghc-8.4.3:`
	`22`	`+ GHC_VERSION: "8.4.3"`
	`23`	`+ ghc-8.4.2:`
	`24`	`+ GHC_VERSION: "8.4.2"`
`24`	`25`	`variables:`
`25`	`26`	`STACK_ROOT: /home/vsts/.stack`
`26`	`27`	`CABAL_VERSION: "3.0"`
	`28`	`+ YAML_FILE: stack-$(GHC_VERSION).yaml`
`27`	`29`	`steps:`
`28`	`30`	`- task: Cache@2`
`29`	`31`	`inputs:`
`30`		`- key: '"stack" \| "$(Agent.OS)" \| $(Build.SourcesDirectory)/$(YAML_FILE)'`
	`32`	`+ key: '"stack-v1" \| "$(Agent.OS)" \| $(Build.SourcesDirectory)/$(YAML_FILE)'`
`31`	`33`	`path: .azure-cache`
`32`	`34`	`cacheHitVar: CACHE_RESTORED`
`33`	`35`	`displayName: "Download cache"`
`@@ -45,6 +47,9 @@ jobs:`
`45`	`47`	`mkdir -p ~/.local/bin`
`46`	`48`	`curl -L https://get.haskellstack.org/stable/linux-x86_64.tar.gz \| \`
`47`	`49`	`tar vxz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'`
	`50`	`+ stack update`
	`51`	`+ echo "system-ghc: true" >> $STACK_ROOT/config.yaml`
	`52`	`+ echo "install-ghc: false" >> $STACK_ROOT/config.yaml`
`48`	`53`	`displayName: Install stack`
`49`	`54`	`- bash: \|`
`50`	`55`	`source .azure/linux-stack.bashrc`
`@@ -85,6 +90,7 @@ jobs:`
`85`	`90`	`displayName: "Install Runtime Test-Dependencies: z3"`
`86`	`91`	`- bash: \|`
`87`	`92`	`source .azure/linux-stack.bashrc`
	`93`	`+ PATH=/opt/ghc/8.6.5/bin:$PATH`
`88`	`94`	`stack install --resolver=lts-13.20 liquid-fixpoint-0.8.0.2 liquidhaskell-0.8.6.2`
`89`	`95`	`displayName: "Install Runtime Test-Dependencies: liquidhaskell"`
`90`	`96`	`- bash: \|`

0 commit comments

Comments

(0)

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit a5d8c19

File tree

2 files changed

2 files changed

`‎.azure/linux-stack.bashrc`

`‎.azure/linux-stack.yml`

0 commit comments