From: Daniel Arndt Date: Sun, 1 Oct 2023 15:41:43 +0000 (-0400) Subject: Update oneAPI CI X-Git-Tag: relicensing~447^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=013d3063e63a3e1673a5f51ab17f6d4c09b20e53;p=dealii.git Update oneAPI CI --- diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 6f9e8ea691..39f0f2abcb 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -162,11 +162,11 @@ jobs: - uses: actions/checkout@v4 - name: setup apt repo run: | - # oneapi-ci/scripts/setup_apt_repo_linux.sh - wget https://apt.repos.intel.com/intel-gpg-keys/GPG-PUB-KEY-INTEL-SW-PRODUCTS-2023.PUB - sudo apt-key add GPG-PUB-KEY-INTEL-SW-PRODUCTS-2023.PUB - echo "deb https://apt.repos.intel.com/oneapi all main" | sudo tee /etc/apt/sources.list.d/oneAPI.list - sudo apt-get update -o Dir::Etc::sourcelist="sources.list.d/oneAPI.list" -o APT::Get::List-Cleanup="0" + # download the key to system keyring + wget -O- https://apt.repos.intel.com/intel-gpg-keys/GPG-PUB-KEY-INTEL-SW-PRODUCTS.PUB | gpg --dearmor | sudo tee /usr/share/keyrings/oneapi-archive-keyring.gpg > /dev/null + # add signed entry to apt sources and configure the APT client to use Intel repository: + echo "deb [signed-by=/usr/share/keyrings/oneapi-archive-keyring.gpg] https://apt.repos.intel.com/oneapi all main" | sudo tee /etc/apt/sources.list.d/oneAPI.list + sudo apt-get update - name: collect versioned dependencies of apt packages run : | # oneapi-ci/scripts/apt_depends.sh