Test script: introducing support for multiple toolchain versions

.github/workflows/install_toolchain.sh

@@ -0,0 +1,111 @@
+#!/bin/bash -eux
+
+GNAT_FSF_BUILDS=https://github.com/alire-project/GNAT-FSF-builds/releases/download
+
+TOOLCHAIN_CONFIG=${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini
+
+INSTALL_GNATPROVE=NO
+INSTALL_GNAT=NO
+INSTALL_GPRBUILD=NO
+
+for i in "$@"; do
+  case $i in
+    --gnatprove)
+      INSTALL_GNATPROVE=YES
+      shift # past argument with no value
+      ;;
+    --gnat)
+      INSTALL_GNAT=YES
+      shift # past argument with no value
+      ;;
+    --gprbuild)
+      INSTALL_GPRBUILD=YES
+      shift # past argument with no value
+      ;;
+    -*|--*)
+      echo "Unknown option $i"
+      exit 1
+      ;;
+    *)
+      ;;
+  esac
+done
+
+path_ada_toolchain_root=$(crudini --get $TOOLCHAIN_CONFIG toolchain_path root)
+path_ada_toolchain_default=$(crudini --get $TOOLCHAIN_CONFIG toolchain_path default)
+path_ada_toolchain_selected=$(crudini --get $TOOLCHAIN_CONFIG toolchain_path selected)
+default_version_gnat=$(crudini --get $TOOLCHAIN_CONFIG default_version gnat)
+default_version_gnatprove=$(crudini --get $TOOLCHAIN_CONFIG default_version gnatprove)
+default_version_gprbuild=$(crudini --get $TOOLCHAIN_CONFIG default_version gprbuild)
+toolchain_versions_gnat=$(crudini --get $TOOLCHAIN_CONFIG toolchains gnat)
+toolchain_versions_gnatprove=$(crudini --get $TOOLCHAIN_CONFIG toolchains gnatprove)
+toolchain_versions_gprbuild=$(crudini --get $TOOLCHAIN_CONFIG toolchains gprbuild)
+
+echo path_ada_toolchain_root:      $path_ada_toolchain_root
+echo path_ada_toolchain_default:   $path_ada_toolchain_default
+echo path_ada_toolchain_selected:  $path_ada_toolchain_selected
+echo default_version_gnat:         $default_version_gnat
+echo default_version_gnatprove:    $default_version_gnatprove
+echo default_version_gprbuild:     $default_version_gprbuild
+echo toolchain_versions_gnat:      $toolchain_versions_gnat
+echo toolchain_versions_gnatprove  $toolchain_versions_gnatprove
+echo toolchain_versions_gprbuild   $toolchain_versions_gprbuild
+
+sudo mkdir -p ${path_ada_toolchain_root}
+sudo mkdir -p ${path_ada_toolchain_default}
+sudo mkdir -p ${path_ada_toolchain_selected}
+
+
+if [ "$INSTALL_GNAT" == "YES" ]; then
+    gnat_version=(${toolchain_versions_gnat})
+    sudo mkdir ${path_ada_toolchain_root}/gnat
+
+    for tool_version in ${gnat_version[@]}; do
+        echo Installing GNAT $tool_version
+        sudo wget -O gnat.tar.gz ${GNAT_FSF_BUILDS}/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
+        sudo tar xzf gnat.tar.gz && \
+        sudo mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
+        sudo rm *.tar.gz
+    done
+
+    sudo echo "${path_ada_toolchain_default}/gnat/bin"  >> $GITHUB_PATH
+    sudo echo "${path_ada_toolchain_selected}/gnat/bin" >> $GITHUB_PATH
+
+    sudo ln -sf ${path_ada_toolchain_root}/gnat/${default_version_gnat}           ${path_ada_toolchain_default}/gnat
+fi
+
+if [ "$INSTALL_GNATPROVE" == "YES" ]; then
+    gnat_prove_version=(${toolchain_versions_gnatprove})
+    sudo mkdir ${path_ada_toolchain_root}/gnatprove
+    for tool_version in ${gnat_prove_version[@]}; do
+        echo Installing GNATprove $tool_version
+        sudo wget -O gnatprove.tar.gz ${GNAT_FSF_BUILDS}/gnatprove-${tool_version}/gnatprove-x86_64-linux-${tool_version}.tar.gz && \
+        sudo tar xzf gnatprove.tar.gz && \
+        sudo mv gnatprove-* ${path_ada_toolchain_root}/gnatprove/${tool_version} && \
+        sudo rm *.tar.gz
+    done
+
+    sudo echo "${path_ada_toolchain_default}/gnatprove/bin"  >> $GITHUB_PATH
+    sudo echo "${path_ada_toolchain_selected}/gnatprove/bin" >> $GITHUB_PATH
+
+    sudo ln -sf ${path_ada_toolchain_root}/gnatprove/${default_version_gnatprove} ${path_ada_toolchain_default}/gnatprove
+fi
+
+if [ "$INSTALL_GPRBUILD" == "YES" ]; then
+    gprbuild_version=(${toolchain_versions_gprbuild})
+    sudo mkdir ${path_ada_toolchain_root}/gprbuild
+    for tool_version in ${gprbuild_version[@]}; do
+        echo Installing GPRbuild $tool_version
+        sudo wget -O gprbuild.tar.gz ${GNAT_FSF_BUILDS}/gprbuild-${tool_version}/gprbuild-x86_64-linux-${tool_version}.tar.gz && \
+        sudo tar xzf gprbuild.tar.gz && \
+        sudo mv gprbuild-* ${path_ada_toolchain_root}/gprbuild/${tool_version} && \
+        sudo rm *.tar.gz
+    done
+
+    sudo echo "${path_ada_toolchain_default}/gprbuild/bin"  >> $GITHUB_PATH
+    sudo echo "${path_ada_toolchain_selected}/gprbuild/bin" >> $GITHUB_PATH
+
+    sudo ln -sf ${path_ada_toolchain_root}/gprbuild/${default_version_gprbuild}   ${path_ada_toolchain_default}/gprbuild
+fi
+
+sudo chmod -R ugo+w ${path_ada_toolchain_selected}

.github/workflows/sphinx-books-tests.js.yml

@@ -34,6 +34,7 @@ jobs:
       run: |
         sudo apt-get update && \
         sudo apt-get install -y \
+        crudini \
         graphviz \
         plantuml \
         texlive-latex-base \
@@ -49,19 +50,7 @@ jobs:
         poppler-utils
     - name: Install GNAT FSF
       run: |
-        sudo wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
-        sudo tar xzf gnat.tar.gz && \
-        sudo mv gnat-* /usr/local/gnat
-        sudo echo "/usr/local/gnat/bin" >> $GITHUB_PATH
-        sudo wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz && \
-        sudo tar xzf gnatprove.tar.gz && \
-        sudo mv gnatprove-* /usr/local/gnatprove
-        sudo echo "/usr/local/gnatprove/bin" >> $GITHUB_PATH
-        sudo wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz && \
-        sudo tar xzf gprbuild.tar.gz && \
-        sudo mv gprbuild-* /usr/local/gprbuild
-        sudo echo "/usr/local/gprbuild/bin" >> $GITHUB_PATH
-        sudo rm *.tar.gz
+        ${GITHUB_WORKSPACE}/.github/workflows/install_toolchain.sh --gnat --gnatprove --gprbuild
     - name: Increase max user watches
       run: |
         echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \

.github/workflows/sphinx-content-tests.js.yml

@@ -34,23 +34,12 @@ jobs:
       run: |
         sudo apt-get update
         sudo apt-get install -y \
+        crudini \
         graphviz \
         plantuml
     - name: Install GNAT FSF
       run: |
-        sudo wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
-        sudo tar xzf gnat.tar.gz && \
-        sudo mv gnat-* /usr/local/gnat
-        sudo echo "/usr/local/gnat/bin" >> $GITHUB_PATH
-        sudo wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz && \
-        sudo tar xzf gnatprove.tar.gz && \
-        sudo mv gnatprove-* /usr/local/gnatprove
-        sudo echo "/usr/local/gnatprove/bin" >> $GITHUB_PATH
-        sudo wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz && \
-        sudo tar xzf gprbuild.tar.gz && \
-        sudo mv gprbuild-* /usr/local/gprbuild
-        sudo echo "/usr/local/gprbuild/bin" >> $GITHUB_PATH
-        sudo rm *.tar.gz
+        ${GITHUB_WORKSPACE}/.github/workflows/install_toolchain.sh --gnat
     - name: Increase max user watches
       run: |
         echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \

.github/workflows/sphinx-plugin-tests.js.yml

@@ -28,21 +28,14 @@ jobs:
       uses: actions/setup-python@v2
       with:
         python-version: ${{ matrix.python-version }}
+    - name: Install OS Deps
+      run: |
+        sudo apt-get update && \
+        sudo apt-get install -y \
+        crudini
     - name: Install GNAT FSF
       run: |
-        sudo wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
-        sudo tar xzf gnat.tar.gz && \
-        sudo mv gnat-* /usr/local/gnat
-        sudo echo "/usr/local/gnat/bin" >> $GITHUB_PATH
-        sudo wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz && \
-        sudo tar xzf gnatprove.tar.gz && \
-        sudo mv gnatprove-* /usr/local/gnatprove
-        sudo echo "/usr/local/gnatprove/bin" >> $GITHUB_PATH
-        sudo wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz && \
-        sudo tar xzf gprbuild.tar.gz && \
-        sudo mv gprbuild-* /usr/local/gprbuild
-        sudo echo "/usr/local/gprbuild/bin" >> $GITHUB_PATH
-        sudo rm *.tar.gz
+        ${GITHUB_WORKSPACE}/.github/workflows/install_toolchain.sh --gnat --gnatprove --gprbuild
     - name: Increase max user watches
       run: |
         echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \

.github/workflows/typescript-tests.js.yml

@@ -37,21 +37,14 @@ jobs:
       with:
         node-version: ${{ matrix.node-version }}
         cache: 'yarn'
+    - name: Install OS Deps
+      run: |
+        sudo apt-get update && \
+        sudo apt-get install -y \
+        crudini
     - name: Install GNAT FSF
       run: |
-        sudo wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
-        sudo tar xzf gnat.tar.gz && \
-        sudo mv gnat-* /usr/local/gnat
-        sudo echo "/usr/local/gnat/bin" >> $GITHUB_PATH
-        sudo wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz && \
-        sudo tar xzf gnatprove.tar.gz && \
-        sudo mv gnatprove-* /usr/local/gnatprove
-        sudo echo "/usr/local/gnatprove/bin" >> $GITHUB_PATH
-        sudo wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz && \
-        sudo tar xzf gprbuild.tar.gz && \
-        sudo mv gprbuild-* /usr/local/gprbuild
-        sudo echo "/usr/local/gprbuild/bin" >> $GITHUB_PATH
-        sudo rm *.tar.gz
+        ${GITHUB_WORKSPACE}/.github/workflows/install_toolchain.sh --gnat --gnatprove --gprbuild
     - name: Increase max user watches
       run: |
         echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \

Vagrantfile

@@ -1,12 +1,13 @@
 $frontend = <<-SHELL
-  #!/bin/sh -eux
+  #!/bin/bash -eux
 
   # Enable the NodeSource repository
   curl -sL https://deb.nodesource.com/setup_20.x | bash -
 
   # Install system deps
   DEBIAN_FRONTEND=noninteractive apt-get update
   DEBIAN_FRONTEND=noninteractive apt-get install -y \
+      crudini \
       python3 \
       python3-pip \
       python3-venv \
@@ -19,12 +20,13 @@ $frontend = <<-SHELL
 
   # Install FSF GNAT
   # (Required tool: gnatchop)
-  wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
+  path_ada_toolchain_selected=$(crudini --get /home/vagrant/toolchain.ini toolchain_path selected)
+  wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${default_version_gnat}/gnat-x86_64-linux-${default_version_gnat}.tar.gz && \
   tar xzf gnat.tar.gz && \
   mv gnat-* /usr/local/gnat && \
   rm *.tar.gz
 
-  echo 'export PATH="/usr/local/gnat/bin:${PATH}"' >> /home/vagrant/.bashrc
+  echo "export PATH=\\"${path_ada_toolchain_selected}/gnat/bin:${path_ada_toolchain_default}/gnat/bin:${PATH}\\"" >> /home/vagrant/.bashrc
   source /home/vagrant/.bashrc
 
   # Install learn deps
@@ -45,14 +47,15 @@ $frontend = <<-SHELL
 SHELL
 
 $epub = <<-SHELL
-  #!/bin/sh -eux
+  #!/bin/bash -eux
 
   # Enable the NodeSource repository
   curl -sL https://deb.nodesource.com/setup_20.x | bash -
 
   # Install system deps
   DEBIAN_FRONTEND=noninteractive apt-get update
   DEBIAN_FRONTEND=noninteractive apt-get install -y \
+      crudini \
       python3 \
       python3-pip \
       python3-venv \
@@ -81,19 +84,70 @@ $epub = <<-SHELL
       wget \
       libc6-dev
 
-  # Install FSF GNAT
-  wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
-  wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz && \
-  wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz && \
-  tar xzf gnat.tar.gz && \
-  mv gnat-* /usr/local/gnat && \
-  tar xzf gnatprove.tar.gz && \
-  mv gnatprove-* /usr/local/gnatprove && \
-  tar xzf gprbuild.tar.gz && \
-  mv gprbuild-* /usr/local/gprbuild && \
-  rm *.tar.gz
+  # Get relevant information from configuration file
+  toolchain_config=home/vagrant/toolchain.ini
+  path_ada_toolchain_root=$(crudini --get $toolchain_config toolchain_path root)
+  path_ada_toolchain_selected=$(crudini --get $toolchain_config toolchain_path selected)
+  path_ada_toolchain_default=$(crudini --get $toolchain_config toolchain_path default)
+  default_version_gnat=$(crudini --get $toolchain_config default_version gnat)
+  default_version_gnatprove=$(crudini --get $toolchain_config default_version gnatprove)
+  default_version_gprbuild=$(crudini --get $toolchain_config default_version gprbuild)
+  toolchain_versions_gnat=$(crudini --get $toolchain_config toolchains gnat)
+  toolchain_versions_gnatprove=$(crudini --get $toolchain_config toolchains gnatprove)
+  toolchain_versions_gprbuild=$(crudini --get $toolchain_config toolchains gprbuild)
+
+  echo path_ada_toolchain_root:      $path_ada_toolchain_root
+  echo path_ada_toolchain_selected:  $path_ada_toolchain_selected
+  echo path_ada_toolchain_default:   $path_ada_toolchain_default
+  echo default_version_gnat:         $default_version_gnat
+  echo default_version_gnatprove:    $default_version_gnatprove
+  echo default_version_gprbuild:     $default_version_gprbuild
+  echo toolchain_versions_gnat:      $toolchain_versions_gnat
+  echo toolchain_versions_gnatprove  $toolchain_versions_gnatprove
+  echo toolchain_versions_gprbuild   $toolchain_versions_gprbuild
 
-  echo 'export PATH="/usr/local/gnat/bin:/usr/local/gprbuild/bin:/usr/local/gnatprove/bin:${PATH}"' >> /home/vagrant/.bashrc
+  # Install FSF GNAT
+  mkdir -p ${path_ada_toolchain_root}
+  mkdir -p ${path_ada_toolchain_default}
+  mkdir -p ${path_ada_toolchain_selected}
+
+  gnat_version=(${toolchain_versions_gnat})
+  mkdir ${path_ada_toolchain_root}/gnat
+  for tool_version in ${gnat_version[@]}; do
+    echo Installing GNAT $tool_version
+    wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
+    tar xzf gnat.tar.gz && \
+    mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
+    rm *.tar.gz
+  done
+
+  gnat_prove_version=(${toolchain_versions_gnatprove})
+  mkdir ${path_ada_toolchain_root}/gnatprove
+  for tool_version in ${gnat_prove_version[@]}; do
+    echo Installing GNATprove $v
+    wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-${tool_version}/gnatprove-x86_64-linux-${tool_version}.tar.gz && \
+    tar xzf gnatprove.tar.gz && \
+    mv gnatprove-* ${path_ada_toolchain_root}/gnatprove/${tool_version} && \
+    rm *.tar.gz
+  done
+
+  gprbuild_version=(${toolchain_versions_gprbuild})
+  mkdir ${path_ada_toolchain_root}/gprbuild
+  for tool_version in ${gprbuild_version[@]}; do
+    echo Installing GPRbuild $v
+    wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-${tool_version}/gprbuild-x86_64-linux-${tool_version}.tar.gz && \
+    tar xzf gprbuild.tar.gz && \
+    mv gprbuild-* ${path_ada_toolchain_root}/gprbuild/${tool_version} && \
+    rm *.tar.gz
+  done
+
+  ln -sf ${path_ada_toolchain_root}/gnat/${default_version_gnat}            ${path_ada_toolchain_default}/gnat
+  ln -sf ${path_ada_toolchain_root}/gnatprove/${default_version_gnatprove}  ${path_ada_toolchain_default}/gnatprove
+  ln -sf ${path_ada_toolchain_root}/gprbuild/${default_version_gprbuild}    ${path_ada_toolchain_default}/gprbuild
+
+  chown -R vagrant:vagrant ${path_ada_toolchain_root}
+
+  echo "export PATH=\\"${path_ada_toolchain_selected}/gnat/bin:${path_ada_toolchain_selected}/gprbuild/bin:${path_ada_toolchain_selected}/gnatprove/bin:${path_ada_toolchain_default}/gnat/bin:${path_ada_toolchain_default}/gprbuild/bin:${path_ada_toolchain_default}/gnatprove/bin:${PATH}\\"" >> /home/vagrant/.bashrc
   source /home/vagrant/.bashrc
 
   # Install learn deps
@@ -129,6 +183,7 @@ Vagrant.configure("2") do |config|
     web.vm.synced_folder './frontend', '/vagrant/frontend'
     web.vm.synced_folder './content', '/vagrant/content'
 
+    web.vm.provision "file", source: "./frontend/py_modules/code_projects/toolchain.ini", destination: "/home/vagrant/toolchain.ini"
     web.vm.provision :shell, inline: $frontend
   end
 
@@ -139,6 +194,7 @@ Vagrant.configure("2") do |config|
     epub.vm.synced_folder './frontend', '/vagrant/frontend'
     epub.vm.synced_folder './content', '/vagrant/content'
 
+    epub.vm.provision "file", source: "./frontend/py_modules/code_projects/toolchain.ini", destination: "/home/vagrant/toolchain.ini"
     epub.vm.provision :shell, inline: $epub
   end