mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-04-22 01:29:35 +08:00
CI: don't add ToolChain PPA
This commit is contained in:
parent
7bb8c58e7c
commit
7bb23b1e36
@ -16,9 +16,7 @@ export | grep EIGEN
|
|||||||
# geographical region.
|
# geographical region.
|
||||||
export DEBIAN_FRONTEND=noninteractive
|
export DEBIAN_FRONTEND=noninteractive
|
||||||
apt-get update -y > /dev/null
|
apt-get update -y > /dev/null
|
||||||
apt-get install -y --no-install-recommends software-properties-common ninja-build cmake git > /dev/null
|
apt-get install -y --no-install-recommends ninja-build cmake git > /dev/null
|
||||||
add-apt-repository -y ppa:ubuntu-toolchain-r/test > /dev/null
|
|
||||||
apt-get update -y > /dev/null
|
|
||||||
|
|
||||||
# Install required dependencies and set up compilers.
|
# Install required dependencies and set up compilers.
|
||||||
# These are required even for testing to ensure that dynamic runtime libraries
|
# These are required even for testing to ensure that dynamic runtime libraries
|
||||||
|
Loading…
x
Reference in New Issue
Block a user