mirror of
https://github.com/vim/vim
synced 2025-07-16 09:12:00 +00:00
patch 9.0.1562: mixing package managers is not a good idea
Problem: Mixing package managers is not a good idea. Solution: Install gcc 13 with apt-get. (closes #12405)
This commit is contained in:
9
.github/workflows/ci.yml
vendored
9
.github/workflows/ci.yml
vendored
@ -21,7 +21,7 @@ jobs:
|
|||||||
|
|
||||||
env:
|
env:
|
||||||
CC: ${{ matrix.compiler }}
|
CC: ${{ matrix.compiler }}
|
||||||
GCC_VER: 12
|
GCC_VER: 13
|
||||||
CLANG_VER: 16
|
CLANG_VER: 16
|
||||||
TEST: test
|
TEST: test
|
||||||
SRCDIR: ./src
|
SRCDIR: ./src
|
||||||
@ -98,10 +98,9 @@ jobs:
|
|||||||
- name: Install gcc-${{ env.GCC_VER }}
|
- name: Install gcc-${{ env.GCC_VER }}
|
||||||
if: matrix.compiler == 'gcc'
|
if: matrix.compiler == 'gcc'
|
||||||
run: |
|
run: |
|
||||||
eval "$(/home/linuxbrew/.linuxbrew/bin/brew shellenv)"
|
sudo apt-get install -y gcc-${{ env.GCC_VER }}
|
||||||
brew install gcc@${{ env.GCC_VER }}
|
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-${{ env.GCC_VER }} 100
|
||||||
sudo update-alternatives --install /usr/bin/gcc gcc /home/linuxbrew/.linuxbrew/bin/gcc-${{ env.GCC_VER }} 100
|
sudo update-alternatives --set gcc /usr/bin/gcc-${{ env.GCC_VER }}
|
||||||
sudo update-alternatives --set gcc /home/linuxbrew/.linuxbrew/bin/gcc-${{ env.GCC_VER }}
|
|
||||||
|
|
||||||
- name: Install clang-${{ env.CLANG_VER }}
|
- name: Install clang-${{ env.CLANG_VER }}
|
||||||
if: matrix.compiler == 'clang'
|
if: matrix.compiler == 'clang'
|
||||||
|
@ -695,6 +695,8 @@ static char *(features[]) =
|
|||||||
|
|
||||||
static int included_patches[] =
|
static int included_patches[] =
|
||||||
{ /* Add new patch number below this line */
|
{ /* Add new patch number below this line */
|
||||||
|
/**/
|
||||||
|
1562,
|
||||||
/**/
|
/**/
|
||||||
1561,
|
1561,
|
||||||
/**/
|
/**/
|
||||||
|
Reference in New Issue
Block a user