This repository was archived by the owner on Oct 7, 2020. It is now read-only.
File tree Expand file tree Collapse file tree 4 files changed +65
-3
lines changed Expand file tree Collapse file tree 4 files changed +65
-3
lines changed Original file line number Diff line number Diff line change @@ -25,13 +25,30 @@ jobs:
2525 YAML_FILE : stack-8.4.2.yaml
2626 stack-8.2.2 :
2727 YAML_FILE : stack-8.2.2.yaml
28+ variables :
29+ STACK_ROOT : /home/vsts/.stack
2830 steps :
31+ - task : CacheBeta@0
32+ inputs :
33+ key : |
34+ "cache"
35+ $(Agent.OS)
36+ $(Build.SourcesDirectory)/$(YAML_FILE)
37+ path : .azure-cache
38+ cacheHitVar : CACHE_RESTORED
39+ displayName : " Download cache"
40+ - bash : |
41+ mkdir -p $STACK_ROOT
42+ tar -xzf .azure-cache/stack-root.tar.gz -C /
43+ mkdir -p .stack-work
44+ tar -xzf .azure-cache/stack-work.tar.gz
45+ displayName: "Unpack cache"
46+ condition: eq(variables.CACHE_RESTORED, 'true')
2947 - bash : |
3048 git submodule sync
3149 git submodule update --init
3250 displayName: Sync submodules
3351 - bash : |
34- export STACK_ROOT="$(Build.SourcesDirectory)"/.stack-root
3552 mkdir -p ~/.local/bin
3653 curl -L https://get.haskellstack.org/stable/linux-x86_64.tar.gz | \
3754 tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
6683 # source .azure/linux.bashrc
6784 # stack test --stack-yaml $(YAML_FILE)
6885 # displayName: Run Test
86+ - bash : |
87+ mkdir -p .azure-cache
88+ tar -czf .azure-cache/stack-root.tar.gz $STACK_ROOT
89+ tar -czf .azure-cache/stack-work.tar.gz .stack-work
90+ displayName: "Pack cache"
Original file line number Diff line number Diff line change @@ -21,13 +21,30 @@ jobs:
2121 YAML_FILE : stack-8.4.2.yaml
2222 stack-8.2.2 :
2323 YAML_FILE : stack-8.2.2.yaml
24+ variables :
25+ STACK_ROOT : /Users/vsts/.stack
2426 steps :
27+ - task : CacheBeta@0
28+ inputs :
29+ key : |
30+ "cache"
31+ $(Agent.OS)
32+ $(Build.SourcesDirectory)/$(YAML_FILE)
33+ path : .azure-cache
34+ cacheHitVar : CACHE_RESTORED
35+ displayName : " Download cache"
36+ - bash : |
37+ mkdir -p $STACK_ROOT
38+ tar -xzf .azure-cache/stack-root.tar.gz -C /
39+ mkdir -p .stack-work
40+ tar -xzf .azure-cache/stack-work.tar.gz
41+ displayName: "Unpack cache"
42+ condition: eq(variables.CACHE_RESTORED, 'true')
2543 - bash : |
2644 git submodule sync
2745 git submodule update --init
2846 displayName: Sync submodules
2947 - bash : |
30- export STACK_ROOT="$(Build.SourcesDirectory)"/.stack-root
3148 mkdir -p ~/.local/bin
3249 curl -skL https://get.haskellstack.org/stable/osx-x86_64.tar.gz | \
3350 tar xz --strip-components=1 --include '*/stack' -C ~/.local/bin;
6380 # source .azure/macos.bashrc
6481 # stack test --stack-yaml $(YAML_FILE)
6582 # displayName: Run Test
83+ - bash : |
84+ mkdir -p .azure-cache
85+ tar -czf .azure-cache/stack-root.tar.gz $STACK_ROOT
86+ tar -czf .azure-cache/stack-work.tar.gz .stack-work
87+ displayName: "Pack cache"
Original file line number Diff line number Diff line change 2323 YAML_FILE : stack-8.4.2.yaml
2424 stack-8.2.2 :
2525 YAML_FILE : stack-8.2.2.yaml
26+ variables :
27+ STACK_ROOT : " C:\\ sr"
28+
2629 steps :
30+ - task : CacheBeta@0
31+ inputs :
32+ key : |
33+ "stack-root"
34+ $(Agent.OS)
35+ $(Build.SourcesDirectory)/$(YAML_FILE)
36+ path : $(STACK_ROOT)
37+ displayName : " Cache stack-root"
38+ - task : CacheBeta@0
39+ inputs :
40+ key : |
41+ "stack-work"
42+ $(Agent.OS)
43+ $(Build.SourcesDirectory)/$(YAML_FILE)
44+ path : .stack-work
45+ displayName : " Cache stack-work"
2746 - bash : |
2847 git submodule sync
2948 git submodule update --init
Original file line number Diff line number Diff line change 1- export STACK_ROOT="C:\\sr"
21export LOCAL_BIN_PATH=$(cygpath $APPDATA\\local\\bin)
32export Z3_BIN_PATH=/usr/local/z3-4.8.5-x64-win/bin
43export PATH=$Z3_BIN_PATH:$LOCAL_BIN_PATH:$PATH
You can’t perform that action at this time.
0 commit comments