diff options
| -rw-r--r-- | build.html | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -34,9 +34,8 @@ select.large { font-size: large; } <option>Alpine</option> <option>CentOS 7</option> <option>CentOS 8</option> - <option>Debian 8</option> - <option>Debian 9</option> - <option>Debian 10</option> + <option>Debian 8/9</option> + <option>Debian 10+</option> <option>Ubuntu 14</option> <option>Ubuntu 16</option> <option>Ubuntu 18</option> @@ -338,9 +337,8 @@ function onOptionsChanged() { packages += ' ' + cmake; commands.push(sudo + 'yum install -y ' + packages); break; - case 'Debian 8': - case 'Debian 9': - case 'Debian 10': + case 'Debian 8/9': + case 'Debian 10+': case 'Ubuntu 14': case 'Ubuntu 16': case 'Ubuntu 18': @@ -361,7 +359,7 @@ function onOptionsChanged() { } if (use_clang) { packages += ' clang' + getClangVersionSuffix() + ' libc++-dev'; - if (linux_distro === 'Debian 10' || linux_distro === 'Ubuntu 18' || linux_distro === 'Ubuntu 20') { + if (linux_distro === 'Debian 10+' || linux_distro === 'Ubuntu 18' || linux_distro === 'Ubuntu 20') { packages += ' libc++abi-dev'; } } else { |
