From 98fffc57b309912eb28c39a4d5da6793232b23d2 Mon Sep 17 00:00:00 2001 From: Maxime Haselbauer Date: Tue, 7 May 2024 15:14:34 +0000 Subject: [PATCH] Fix installation being exectued from a differente folder --- .devcontainer/setup_environment_on_ubuntu_22.sh | 4 ++-- .github/workflows/ubuntu_2204_build_pipeline.yml | 4 +++- .github/workflows/ubuntu_2204_documentation_pipeline.yml | 2 +- 3 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.devcontainer/setup_environment_on_ubuntu_22.sh b/.devcontainer/setup_environment_on_ubuntu_22.sh index d4385ee..054f1f7 100755 --- a/.devcontainer/setup_environment_on_ubuntu_22.sh +++ b/.devcontainer/setup_environment_on_ubuntu_22.sh @@ -1,6 +1,8 @@ #!/bin/bash set -euxo pipefail DEBIAN_FRONTEND=noninteractive +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +cd "$DIR" sudo apt-get update sudo apt-get install -y curl nano cmake gcc gcovr python3 python3-pip git texlive-full biber @@ -12,5 +14,3 @@ sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null sudo apt update sudo apt install gh -y - -rm -rf /var/lib/apt/lists/* diff --git a/.github/workflows/ubuntu_2204_build_pipeline.yml b/.github/workflows/ubuntu_2204_build_pipeline.yml index 4d35443..40185f9 100644 --- a/.github/workflows/ubuntu_2204_build_pipeline.yml +++ b/.github/workflows/ubuntu_2204_build_pipeline.yml @@ -9,8 +9,10 @@ jobs: - uses: actions/checkout@v1 - name: Install development dependencies run: ./.devcontainer/setup_environment_on_ubuntu_22.sh - - name: Configure + - name: Check formating run: ./scripts/format.sh + - name: Configure + run: ./scripts/configure.sh - name: Build run: ./scripts/build.sh - name: Tests diff --git a/.github/workflows/ubuntu_2204_documentation_pipeline.yml b/.github/workflows/ubuntu_2204_documentation_pipeline.yml index c0fa45a..7afbd59 100644 --- a/.github/workflows/ubuntu_2204_documentation_pipeline.yml +++ b/.github/workflows/ubuntu_2204_documentation_pipeline.yml @@ -10,7 +10,7 @@ jobs: - name: Install development dependencies run: ./.devcontainer/setup_environment_on_ubuntu_22.sh - name: Configure - run: ./scripts/format.sh + run: ./scripts/configure.sh - name: Make documentation run: cd build && make documentation