Skip to content

Commit

Permalink
Merge branch 'topic/infrastructure/compile_blocks/20240811/toolchain_…
Browse files Browse the repository at this point in the history 
…ini_file' into topic/infrastructure/compile_blocks/20240803/multiple_toolchain_versions
  • Loading branch information
@gusthoff
gusthoff committed Aug 11, 2024
2 parents 9f188e6 + b70ab11 commit e7f705a
Show file tree
Hide file tree
Showing 8 changed files with 263 additions and 111 deletions.
63 changes: 42 additions & 21 deletions .github/workflows/sphinx-books-tests.js.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@ jobs:
run: |
sudo apt-get update && \
sudo apt-get install -y \
crudini \
graphviz \
plantuml \
texlive-latex-base \
Expand All @@ -49,45 +50,65 @@ jobs:
poppler-utils
- name: Install GNAT FSF
run: |
sudo mkdir -p /opt/ada/default
sudo mkdir -p /opt/ada/selected
gnat_version=("12.2.0-1" "14.1.0-3")
sudo mkdir /opt/ada/gnat
toolchain_config=${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini
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}
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 https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
sudo tar xzf gnat.tar.gz && \
sudo mv gnat-* /opt/ada/gnat/${tool_version} && \
sudo mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnat/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnat/bin" >> $GITHUB_PATH
gnat_prove_version=("12.1.0-1" "14.1.0-1")
sudo mkdir /opt/ada/gnatprove
sudo echo "${path_ada_toolchain_default}/gnat/bin" >> $GITHUB_PATH
sudo echo "${path_ada_toolchain_selected}/gnat/bin" >> $GITHUB_PATH
gnat_prove_version=(${toolchain_versions_gnatprove})
sudo mkdir ${path_ada_toolchain_root}/gnatprove
for tool_version in ${gnat_prove_version[@]}; do
echo Installing GNATprove $v
sudo 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 && \
sudo tar xzf gnatprove.tar.gz && \
sudo mv gnatprove-* /opt/ada/gnatprove/${tool_version} && \
sudo mv gnatprove-* ${path_ada_toolchain_root}/gnatprove/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnatprove/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnatprove/bin" >> $GITHUB_PATH
gprbuild_version=("22.0.0-1" "24.0.0-1")
sudo mkdir /opt/ada/gprbuild
sudo echo "${path_ada_toolchain_default}/gnatprove/bin" >> $GITHUB_PATH
sudo echo "${path_ada_toolchain_selected}/gnatprove/bin" >> $GITHUB_PATH
gprbuild_version=(${toolchain_versions_gprbuild})
sudo mkdir ${path_ada_toolchain_root}/gprbuild
for tool_version in ${gprbuild_version[@]}; do
echo Installing GPRbuild $v
sudo 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 && \
sudo tar xzf gprbuild.tar.gz && \
sudo mv gprbuild-* /opt/ada/gprbuild/${tool_version} && \
sudo mv gprbuild-* ${path_ada_toolchain_root}/gprbuild/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gprbuild/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gprbuild/bin" >> $GITHUB_PATH
sudo ln -sf /opt/ada/gnat/12.2.0-1 /opt/ada/default/gnat
sudo ln -sf /opt/ada/gnatprove/12.1.0-1 /opt/ada/default/gnatprove
sudo ln -sf /opt/ada/gprbuild/22.0.0-1 /opt/ada/default/gprbuild
sudo chmod -R ugo+w /opt/ada/selected
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}/gnat/${default_version_gnat} ${path_ada_toolchain_default}/gnat
sudo ln -sf ${path_ada_toolchain_root}/gnatprove/${default_version_gnatprove} ${path_ada_toolchain_default}/gnatprove
sudo ln -sf ${path_ada_toolchain_root}/gprbuild/${default_version_gprbuild} ${path_ada_toolchain_default}/gprbuild
sudo chmod -R ugo+w ${path_ada_toolchain_selected}
- name: Increase max user watches
run: |
echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \
Expand Down
32 changes: 22 additions & 10 deletions .github/workflows/sphinx-content-tests.js.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,22 +37,34 @@ jobs:
graphviz \
plantuml
- name: Install GNAT FSF
run: |
sudo mkdir -p /opt/ada/default
sudo mkdir -p /opt/ada/selected
gnat_version=("12.2.0-1" "14.1.0-3")
sudo mkdir /opt/ada/gnat
run: |
toolchain_config=${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini
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)
toolchain_versions_gnat=$(crudini --get $toolchain_config toolchains gnat)
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 toolchain_versions_gnat: $toolchain_versions_gnat
sudo mkdir -p ${path_ada_toolchain_root}
sudo mkdir -p ${path_ada_toolchain_default}
sudo mkdir -p ${path_ada_toolchain_selected}
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 https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
sudo tar xzf gnat.tar.gz && \
sudo mv gnat-* /opt/ada/gnat/${tool_version} && \
sudo mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnat/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnat/bin" >> $GITHUB_PATH
sudo ln -sf /opt/ada/gnat/12.2.0-1 /opt/ada/default/gnat
sudo chmod -R ugo+w /opt/ada/selected
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
sudo chmod -R ugo+w ${path_ada_toolchain_selected}
- name: Increase max user watches
run: |
echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \
Expand Down
62 changes: 41 additions & 21 deletions .github/workflows/sphinx-plugin-tests.js.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,45 +30,65 @@ jobs:
python-version: ${{ matrix.python-version }}
- name: Install GNAT FSF
run: |
sudo mkdir -p /opt/ada/default
sudo mkdir -p /opt/ada/selected
gnat_version=("12.2.0-1" "14.1.0-3")
sudo mkdir /opt/ada/gnat
toolchain_config=${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini
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}
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 https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
sudo tar xzf gnat.tar.gz && \
sudo mv gnat-* /opt/ada/gnat/${tool_version} && \
sudo mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnat/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnat/bin" >> $GITHUB_PATH
gnat_prove_version=("12.1.0-1" "14.1.0-1")
sudo mkdir /opt/ada/gnatprove
sudo echo "${path_ada_toolchain_default}/gnat/bin" >> $GITHUB_PATH
sudo echo "${path_ada_toolchain_selected}/gnat/bin" >> $GITHUB_PATH
gnat_prove_version=(${toolchain_versions_gnatprove})
sudo mkdir ${path_ada_toolchain_root}/gnatprove
for tool_version in ${gnat_prove_version[@]}; do
echo Installing GNATprove $v
sudo 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 && \
sudo tar xzf gnatprove.tar.gz && \
sudo mv gnatprove-* /opt/ada/gnatprove/${tool_version} && \
sudo mv gnatprove-* ${path_ada_toolchain_root}/gnatprove/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnatprove/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnatprove/bin" >> $GITHUB_PATH
gprbuild_version=("22.0.0-1" "24.0.0-1")
sudo mkdir /opt/ada/gprbuild
sudo echo "${path_ada_toolchain_default}/gnatprove/bin" >> $GITHUB_PATH
sudo echo "${path_ada_toolchain_selected}/gnatprove/bin" >> $GITHUB_PATH
gprbuild_version=(${toolchain_versions_gprbuild})
sudo mkdir ${path_ada_toolchain_root}/gprbuild
for tool_version in ${gprbuild_version[@]}; do
echo Installing GPRbuild $v
sudo 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 && \
sudo tar xzf gprbuild.tar.gz && \
sudo mv gprbuild-* /opt/ada/gprbuild/${tool_version} && \
sudo mv gprbuild-* ${path_ada_toolchain_root}/gprbuild/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gprbuild/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gprbuild/bin" >> $GITHUB_PATH
sudo ln -sf /opt/ada/gnat/12.2.0-1 /opt/ada/default/gnat
sudo ln -sf /opt/ada/gnatprove/12.1.0-1 /opt/ada/default/gnatprove
sudo ln -sf /opt/ada/gprbuild/22.0.0-1 /opt/ada/default/gnatprove
sudo chmod -R ugo+w /opt/ada/selected
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}/gnat/${default_version_gnat} ${path_ada_toolchain_default}/gnat
sudo ln -sf ${path_ada_toolchain_root}/gnatprove/${default_version_gnatprove} ${path_ada_toolchain_default}/gnatprove
sudo ln -sf ${path_ada_toolchain_root}/gprbuild/${default_version_gprbuild} ${path_ada_toolchain_default}/gprbuild
sudo chmod -R ugo+w ${path_ada_toolchain_selected}
- name: Increase max user watches
run: |
echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \
Expand Down
62 changes: 41 additions & 21 deletions .github/workflows/typescript-tests.js.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -39,45 +39,65 @@ jobs:
cache: 'yarn'
- name: Install GNAT FSF
run: |
sudo mkdir -p /opt/ada/default
sudo mkdir -p /opt/ada/selected
gnat_version=("12.2.0-1" "14.1.0-3")
sudo mkdir /opt/ada/gnat
toolchain_config=${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini
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}
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 https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${tool_version}/gnat-x86_64-linux-${tool_version}.tar.gz && \
sudo tar xzf gnat.tar.gz && \
sudo mv gnat-* /opt/ada/gnat/${tool_version} && \
sudo mv gnat-* ${path_ada_toolchain_root}/gnat/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnat/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnat/bin" >> $GITHUB_PATH
gnat_prove_version=("12.1.0-1" "14.1.0-1")
sudo mkdir /opt/ada/gnatprove
sudo echo "${path_ada_toolchain_default}/gnat/bin" >> $GITHUB_PATH
sudo echo "${path_ada_toolchain_selected}/gnat/bin" >> $GITHUB_PATH
gnat_prove_version=(${toolchain_versions_gnatprove})
sudo mkdir ${path_ada_toolchain_root}/gnatprove
for tool_version in ${gnat_prove_version[@]}; do
echo Installing GNATprove $v
sudo 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 && \
sudo tar xzf gnatprove.tar.gz && \
sudo mv gnatprove-* /opt/ada/gnatprove/${tool_version} && \
sudo mv gnatprove-* ${path_ada_toolchain_root}/gnatprove/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gnatprove/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gnatprove/bin" >> $GITHUB_PATH
gprbuild_version=("22.0.0-1" "24.0.0-1")
sudo mkdir /opt/ada/gprbuild
sudo echo "${path_ada_toolchain_default}/gnatprove/bin" >> $GITHUB_PATH
sudo echo "${path_ada_toolchain_selected}/gnatprove/bin" >> $GITHUB_PATH
gprbuild_version=(${toolchain_versions_gprbuild})
sudo mkdir ${path_ada_toolchain_root}/gprbuild
for tool_version in ${gprbuild_version[@]}; do
echo Installing GPRbuild $v
sudo 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 && \
sudo tar xzf gprbuild.tar.gz && \
sudo mv gprbuild-* /opt/ada/gprbuild/${tool_version} && \
sudo mv gprbuild-* ${path_ada_toolchain_root}/gprbuild/${tool_version} && \
sudo rm *.tar.gz
done
sudo echo "/opt/ada/default/gprbuild/bin" >> $GITHUB_PATH
sudo echo "/opt/ada/selected/gprbuild/bin" >> $GITHUB_PATH
sudo ln -sf /opt/ada/gnat/12.2.0-1 /opt/ada/default/gnat
sudo ln -sf /opt/ada/gnatprove/12.1.0-1 /opt/ada/default/gnatprove
sudo ln -sf /opt/ada/gprbuild/22.0.0-1 /opt/ada/default/gnatprove
sudo chmod -R ugo+w /opt/ada/selected
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}/gnat/${default_version_gnat} ${path_ada_toolchain_default}/gnat
sudo ln -sf ${path_ada_toolchain_root}/gnatprove/${default_version_gnatprove} ${path_ada_toolchain_default}/gnatprove
sudo ln -sf ${path_ada_toolchain_root}/gprbuild/${default_version_gprbuild} ${path_ada_toolchain_default}/gprbuild
sudo chmod -R ugo+w ${path_ada_toolchain_selected}
- name: Increase max user watches
run: |
echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \
Expand Down
Loading

0 comments on commit e7f705a

Please sign in to comment.