Use SPARK Pro 22.1 for CI

Ref. #768, #850
AdaCore · Jan 21, 2022 · bf3ade1 · bf3ade1
1 parent 0989456
commit bf3ade1
Show file tree

Hide file tree

Showing 2 changed files with 62 additions and 0 deletions.
diff --git a/.github/actions/install_spark_pro/action.yml b/.github/actions/install_spark_pro/action.yml
@@ -0,0 +1,29 @@
+name: "Install SPARK Pro"
+
+inputs:
+  version:
+    required: true
+  ssh_key:
+    required: true
+  server:
+    required: true
+
+runs:
+  using: "composite"
+  steps:
+    - shell: bash
+      env:
+        VERSION: ${{ inputs.version }}
+        SSH_KEY: ${{ inputs.ssh_key }}
+        SERVER: ${{ inputs.server }}
+      run: |
+        eval $(ssh-agent -s)
+        echo "$SSH_KEY" | tr -d '\r' | ssh-add - &>/dev/null
+        mkdir -p ~/.ssh
+        chmod 700 ~/.ssh
+        ssh-keyscan $SERVER >> ~/.ssh/known_hosts
+        chmod 644 ~/.ssh/known_hosts
+        scp -q ci@$SERVER:/srv/spark-pro-$VERSION-x86_64-linux-bin.tar.gz /home/runner/work/
+        tar -C /home/runner/work -xzf /home/runner/work/spark-pro-$VERSION-x86_64-linux-bin.tar.gz
+        cd /home/runner/work/spark-pro-$VERSION-*x86_64-linux-bin && ./doinstall /home/runner/work/spark
+        echo "/home/runner/work/spark/bin" >> $GITHUB_PATH
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -182,6 +182,13 @@ jobs:
       with:
         distrib: community
         install_dir: /home/runner/work/gnat
+    - name: Install SPARK Pro
+      uses: ./.github/actions/install_spark_pro
+      if: ${{ needs.skip_check_python.outputs.should_skip != 'true' }}
+      with:
+        version: "22.1"
+        ssh_key: ${{ secrets.MEMCACHED_SSH_KEY }}
+        server: ${{ secrets.MEMCACHED_SERVER }}
     - name: Install dependencies
       if: ${{ needs.skip_check_python.outputs.should_skip != 'true' }}
       run: |
@@ -382,6 +389,12 @@ jobs:
       with:
         distrib: community
         install_dir: /home/runner/work/gnat
+    - name: Install SPARK Pro
+      uses: ./.github/actions/install_spark_pro
+      with:
+        version: "22.1"
+        ssh_key: ${{ secrets.MEMCACHED_SSH_KEY }}
+        server: ${{ secrets.MEMCACHED_SERVER }}
     - name: Install dependencies
       run: |
         echo "$HOME/.local/bin" >> $GITHUB_PATH
@@ -555,6 +568,13 @@ jobs:
       with:
         distrib: community
         install_dir: /home/runner/work/gnat
+    - name: Install SPARK Pro
+      uses: ./.github/actions/install_spark_pro
+      if: ${{ needs.skip_check_spark.outputs.should_skip != 'true' }}
+      with:
+        version: "22.1"
+        ssh_key: ${{ secrets.MEMCACHED_SSH_KEY }}
+        server: ${{ secrets.MEMCACHED_SERVER }}
     - name: Install dependencies
       if: ${{ needs.skip_check_spark.outputs.should_skip != 'true' }}
       run: |
@@ -622,6 +642,12 @@ jobs:
       with:
         distrib: community
         install_dir: /home/runner/work/gnat
+    - name: Install SPARK Pro
+      uses: ./.github/actions/install_spark_pro
+      with:
+        version: "22.1"
+        ssh_key: ${{ secrets.MEMCACHED_SSH_KEY }}
+        server: ${{ secrets.MEMCACHED_SERVER }}
     - name: Install dependencies
       run: |
         echo "$HOME/.local/bin" >> $GITHUB_PATH
@@ -782,6 +808,13 @@ jobs:
       with:
         distrib: community
         install_dir: /home/runner/work/gnat
+    - name: Install SPARK Pro
+      uses: ./.github/actions/install_spark_pro
+      if: ${{ needs.skip_check_apps.outputs.should_skip != 'true' }}
+      with:
+        version: "22.1"
+        ssh_key: ${{ secrets.MEMCACHED_SSH_KEY }}
+        server: ${{ secrets.MEMCACHED_SERVER }}
     - name: Install dependencies
       if: ${{ needs.skip_check_apps.outputs.should_skip != 'true' }}
       run: |