diff options
| author | Remi Collet <remi@remirepo.net> | 2023-09-18 09:01:36 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-09-18 09:01:36 +0200 |
| commit | c0aea85026321a4985fb2c9ce54f813b877fc5df (patch) | |
| tree | 6180c93c1a09a4de554357de02e325d952c91e76 /wizard/index.php | |
| parent | bb8be27e98d74bd6c7c22a6e8b32bbb61a681d27 (diff) | |
EL-8 for aarch64 (WIP)
Diffstat (limited to 'wizard/index.php')
| -rw-r--r-- | wizard/index.php | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/wizard/index.php b/wizard/index.php index b968d59d..f806dadd 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -243,9 +243,13 @@ if ($arch == 'ppc64le' || $arch == 's390x') { printf("<li><b>aarch64</b> for Fedora is not planed for now</li><br />"); $err =true; - } else if ($os && $ver < 9) { + } else if ($os && $ver < 8) { printf("<li><b>aarch64</b> for Enterprise Linux $ver is not planed for now</li><br />"); $err =true; + } else if ($os && $ver == 8) { + $osmin['RHEL 8'] = $osmin['CentOS 8'] = $osminbase['RHEL 8'] = $osminbase['CentOS 8'] = '7.4'; + + printf("<li><b>aarch64</b> for Enterprise Linux $ver is a work in progress, some packages are not yet available</li><br />"); } } @@ -401,9 +405,9 @@ if ($php && $os && $type && !$err) { $scl='php'.str_replace('.', '', $php); if (version_compare($php, $osmax[$os], '>')) { - printf("<li>Sorry, but PHP version greater than <b>%s</b> are not available for <b>%s</b>.</li><br />", $osmax[$os], $os); + printf("<li>Sorry, but PHP version greater than <b>%s</b> are not available for <b>%s</b> (%s).</li><br />", $osmax[$os], $os, $arch); } else if (version_compare($php, $osmin[$os], '<')) { - printf("<li>Sorry, but PHP version older than <b>%s</b> are not available for <b>%s</b>.</li><br />", $osmin[$os], $os); + printf("<li>Sorry, but PHP version older than <b>%s</b> are not available for <b>%s</b> (%s).</li><br />", $osmin[$os], $os, $arch); } else { if (!$phpvers[$php]) { printf("<li><b>WARNING</b>: PHP version <b>%s</b> is a <b>development</b> version, not ready for production.</li><br />", $php); |