File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -461,7 +461,7 @@ jobs:
461
461
# remove libgcc-s1, which isn't normally available in Ubuntu 18.04
462
462
target=$(dpkg-query -W --showformat='${Version}\n' gcc-8-base | head -n 1)
463
463
# libgcc1 uses an epoch, thus the extra 1:
464
- sudo apt-get install -y --allow-downgrades --reinstall gcc g++ libgcc-s1- libstdc++6=$target liblsan0=$target libtsan0=$target libcc1-0=$target libgcc1=1:$target
464
+ sudo apt-get install -y --allow-downgrades --reinstall gcc g++ libgcc-s1- libstdc++6=$target liblsan0=$target libtsan0=$target libcc1-0=$target libgcc1=1:$target gdb=8.1.1-0ubuntu1
465
465
- name : Confirm z3 solver is available and log the version installed
466
466
run : z3 --version
467
467
- name : Prepare ccache
Original file line number Diff line number Diff line change 76
76
# remove libgcc-s1, which isn't normally available in Ubuntu 18.04
77
77
target=$(dpkg-query -W --showformat='${Version}\n' gcc-8-base | head -n 1)
78
78
# libgcc1 uses an epoch, thus the extra 1:
79
- sudo apt-get install -y --allow-downgrades --reinstall gcc g++ libgcc-s1- libstdc++6=$target liblsan0=$target libtsan0=$target libcc1-0=$target libgcc1=1:$target
79
+ sudo apt-get install -y --allow-downgrades --reinstall gcc g++ libgcc-s1- libstdc++6=$target liblsan0=$target libtsan0=$target libcc1-0=$target libgcc1=1:$target gdb=8.1.1-0ubuntu1
80
80
- name : Confirm z3 solver is available and log the version installed
81
81
run : z3 --version
82
82
- name : Prepare ccache
You can’t perform that action at this time.
0 commit comments