Put ghcs used by wrapper-test in path

Author: jneira

.azure/linux-stack.yml

@@ -90,7 +90,7 @@ jobs:
     displayName: "Install Runtime Test-Dependencies: z3"
   - bash: |
       source .azure/linux-stack.bashrc
-      PATH=/opt/ghc/8.6.5/bin:$PATH
+      export PATH=/opt/ghc/8.6.5/bin:$PATH
       stack install --resolver=lts-13.20 liquid-fixpoint-0.8.0.2 liquidhaskell-0.8.6.2
     displayName: "Install Runtime Test-Dependencies: liquidhaskell"
   - bash: |
@@ -106,6 +106,8 @@ jobs:
     displayName: "Run Test: unit-test"
   - bash: |
       source .azure/linux-stack.bashrc
+      # we need the ghc versions used by wrapper-test suite
+      export PATH=$PATH:/opt/ghc/8.8.1/bin:/opt/ghc/8.6.5/bin
       stack test :dispatcher-test :plugin-dispatcher-test :wrapper-test --stack-yaml $(YAML_FILE)
     displayName: "Run Test: dispatcher-test, plugin-dispatcher-test and wrapper-test"
   - bash: |