Set up Azure-CI

.azure/linux-stack.yml

@@ -0,0 +1,68 @@
+jobs:
+- job: Linux_Stack
+  timeoutInMinutes: 0
+  pool:
+    vmImage: ubuntu-16.04
+  strategy:
+    matrix:
+      stack-def:
+        YAML_FILE: stack.yaml
+      stack-8.6.5:
+        YAML_FILE: stack-8.6.5.yaml
+      stack-8.6.4:
+        YAML_FILE: stack-8.6.4.yaml
+      stack-8.6.3:
+        YAML_FILE: stack-8.6.3.yaml
+      stack-8.6.2:
+        YAML_FILE: stack-8.6.2.yaml
+      stack-8.6.1:
+        YAML_FILE: stack-8.6.1.yaml
+      stack-8.4.4:
+        YAML_FILE: stack-8.4.4.yaml
+      stack-8.4.3:
+        YAML_FILE: stack-8.4.3.yaml
+      stack-8.4.2:
+        YAML_FILE: stack-8.4.2.yaml
+      stack-8.2.2:
+        YAML_FILE: stack-8.2.2.yaml
+  steps:
+  - bash: |
+      git submodule sync
+      git submodule update --init
+    displayName: Sync submodules
+  - bash: |
+      export STACK_ROOT="$(Build.SourcesDirectory)"/.stack-root
+      mkdir -p ~/.local/bin
+      curl -L https://get.haskellstack.org/stable/linux-x86_64.tar.gz | \
+        tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
+    displayName: Install stack
+  - bash: |
+      source .azure/linux.bashrc
+      stack setup --stack-yaml $(YAML_FILE)
+    displayName: Install GHC
+  - bash: |
+      source .azure/linux.bashrc
+      stack  --stack-yaml $(YAML_FILE) --install-ghc build --only-dependencies
+    displayName: Build dependencies
+  - bash: |
+      source .azure/linux.bashrc
+      stack build --stack-yaml $(YAML_FILE)
+    displayName: Build `hie`
+  - bash: |
+      source .azure/linux.bashrc
+      stack build --stack-yaml $(YAML_FILE) --test --bench --only-dependencies
+      stack install --stack-yaml $(YAML_FILE) # `hie` binary required for tests
+      stack --stack-yaml $(YAML_FILE) exec hoogle generate
+    displayName: Build Test-dependencies
+  - bash: |
+      sudo apt update
+      sudo apt install z3
+    displayName: "Install Runtime Test-Dependencies: z3"
+  - bash: |
+      source .azure/linux.bashrc
+      stack install --resolver=lts-11.18 liquid-fixpoint-0.7.0.7 dotgen-0.4.2 fgl-visualize-0.1.0.1 located-base-0.1.1.1 liquidhaskell-0.8.2.4
+    displayName: "Install Runtime Test-Dependencies: liquidhaskell"
+  # - bash: |
+  #     source .azure/linux.bashrc
+  #     stack test --stack-yaml $(YAML_FILE)
+  #   displayName: Run Test

.azure/linux.bashrc

@@ -0,0 +1 @@
+export PATH=$HOME/.local/bin:$PATH

.azure/macos-stack.yml

@@ -0,0 +1,65 @@
+jobs:
+- job: MacOs_Stack
+  timeoutInMinutes: 0
+  pool:
+    vmImage: macOS-10.13
+  strategy:
+    matrix:
+      stack-def:
+        YAML_FILE: stack.yaml
+      stack-8.6.5:
+        YAML_FILE: stack-8.6.5.yaml
+      stack-8.6.4:
+        YAML_FILE: stack-8.6.4.yaml
+      stack-8.6.3:
+        YAML_FILE: stack-8.6.3.yaml
+      stack-8.4.4:
+        YAML_FILE: stack-8.4.4.yaml
+      stack-8.4.3:
+        YAML_FILE: stack-8.4.3.yaml
+      stack-8.4.2:
+        YAML_FILE: stack-8.4.2.yaml
+      stack-8.2.2:
+        YAML_FILE: stack-8.2.2.yaml
+  steps:
+  - bash: |
+      git submodule sync
+      git submodule update --init
+    displayName: Sync submodules
+  - bash: |
+      export STACK_ROOT="$(Build.SourcesDirectory)"/.stack-root
+      mkdir -p ~/.local/bin
+      curl -skL https://get.haskellstack.org/stable/osx-x86_64.tar.gz | \
+        tar xz --strip-components=1 --include '*/stack' -C ~/.local/bin;
+    displayName: Install stack
+  - bash: |
+      source .azure/macos.bashrc
+      stack setup --stack-yaml $(YAML_FILE)
+    displayName: Install GHC
+  - bash: |
+      source .azure/macos.bashrc
+      stack --stack-yaml $(YAML_FILE) --install-ghc build --only-dependencies
+    displayName: Build dependencies
+  - bash: |
+      source .azure/macos.bashrc
+      stack build --stack-yaml $(YAML_FILE)
+    displayName: Build `hie`
+  - bash: |
+      source .azure/macos.bashrc
+      stack build --stack-yaml $(YAML_FILE) --test --bench --only-dependencies
+      stack install --stack-yaml $(YAML_FILE) # `hie` binary required for tests
+      stack --stack-yaml $(YAML_FILE) exec hoogle generate
+    displayName: Build Test-dependencies
+  - bash: |
+      ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
+      brew update
+      brew install z3
+    displayName: "Install Runtime Test-Dependencies: z3"
+  - bash: |
+      source .azure/macos.bashrc
+      stack install --resolver=lts-11.18 liquid-fixpoint-0.7.0.7 dotgen-0.4.2 fgl-visualize-0.1.0.1 located-base-0.1.1.1 liquidhaskell-0.8.2.4
+    displayName: "Install Runtime Test-Dependencies: liquidhaskell"
+  # - bash: |
+  #     source .azure/macos.bashrc
+  #     stack test --stack-yaml $(YAML_FILE)
+  #   displayName: Run Test

.azure/macos.bashrc

@@ -0,0 +1 @@
+export PATH=$HOME/.local/bin:$PATH

.azure/windows-stack.yml

@@ -0,0 +1,67 @@
+jobs:
+- job: Windows_Stack
+  timeoutInMinutes: 0
+  pool:
+    vmImage: windows-2019
+  strategy:
+    matrix:
+      stack-def:
+        YAML_FILE: stack.yaml
+      stack-8.6.5:
+        YAML_FILE: stack-8.6.5.yaml
+      stack-8.6.4:
+        YAML_FILE: stack-8.6.4.yaml
+      stack-8.6.2:
+        YAML_FILE: stack-8.6.2.yaml
+      stack-8.6.1:
+        YAML_FILE: stack-8.6.1.yaml
+      stack-8.4.4:
+        YAML_FILE: stack-8.4.4.yaml
+      stack-8.4.3:
+        YAML_FILE: stack-8.4.3.yaml
+      stack-8.4.2:
+        YAML_FILE: stack-8.4.2.yaml
+      stack-8.2.2:
+        YAML_FILE: stack-8.2.2.yaml
+  steps:
+  - bash: |
+      git submodule sync
+      git submodule update --init
+    displayName: Sync submodules
+  - bash: |
+      curl -sSkL http://www.stackage.org/stack/windows-x86_64 -o /usr/bin/stack.zip
+      unzip -o /usr/bin/stack.zip -d /usr/bin/
+    displayName: Install stack
+  - bash: |
+      source .azure/windows.bashrc
+      stack setup --stack-yaml $(YAML_FILE)
+    displayName: Install GHC
+  - bash: |
+      source .azure/windows.bashrc
+      stack --stack-yaml $(YAML_FILE) --install-ghc build --only-dependencies
+    displayName: Build dependencies
+  - bash: |
+      source .azure/windows.bashrc
+      stack build --stack-yaml $(YAML_FILE)
+    displayName: Build `hie`
+  - bash: |
+      source .azure/windows.bashrc
+      stack build --stack-yaml $(YAML_FILE) --test --bench --only-dependencies
+      stack install --stack-yaml $(YAML_FILE) # `hie` binary required for tests
+      stack exec --stack-yaml $(YAML_FILE) hoogle generate
+    displayName: Build Test-dependencies
+  - bash: |
+      # TODO: try to install automatically (`choco install z3` fails and pacman is not installed)
+      mkdir -p /usr/local
+      curl -L https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip -o /usr/local/z3.zip
+      unzip -o /usr/local/z3.zip -d /usr/local/
+    displayName: "Install Runtime Test-Dependencies: z3"
+  - bash: |
+      source .azure/windows.bashrc
+      stack install --resolver=lts-11.18 liquid-fixpoint-0.7.0.7 dotgen-0.4.2 fgl-visualize-0.1.0.1 located-base-0.1.1.1 liquidhaskell-0.8.2.4
+      liquid -v
+    displayName: "Install Runtime Test-Dependencies: liquidhaskell"
+  # - bash: |
+  #     source .azure/windows.bashrc
+  #     stack test --stack-yaml $(YAML_FILE) :unit-test
+  #   displayName: Run Test

.azure/windows.bashrc

@@ -0,0 +1,4 @@
+export STACK_ROOT="C:\\sr"
+export LOCAL_BIN_PATH=$(cygpath $APPDATA\\local\\bin)
+export Z3_BIN_PATH=/usr/local/z3-4.8.5-x64-win/bin
+export PATH=$Z3_BIN_PATH:$LOCAL_BIN_PATH:$PATH

azure-pipelines.yml

@@ -0,0 +1,4 @@
+jobs:
+- template: ./.azure/linux-stack.yml
+- template: ./.azure/windows-stack.yml
+- template: ./.azure/macos-stack.yml