Skip to content

Commit

Permalink
Only serve binaries for macOS 11 (#215)
Browse files Browse the repository at this point in the history
  • Loading branch information
@wenkokke
wenkokke authored Apr 9, 2024
1 parent b2d9504 commit 04488e8
Show file tree
Hide file tree
Showing 6 changed files with 219 additions and 250 deletions.
164 changes: 96 additions & 68 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -182,128 +182,156 @@ jobs:
<tr>
<th></th>
<th colspan="2">Ubuntu</th>
<th colspan="2">macOs</th>
<th colspan="4">macOs</th>
<th colspan="2">Windows</th>
</tr>
<tr>
<th>Agda</th>
<th></th>
<th>20.04</th><th>22.04</th>
<th>11</th><th>12</th>
<th>11</th><th>12</th><th>13</th><th>14</th>
<th>2019</th><th>2022</th>
</tr>
<tr>
<th>Agda</th>
<th>x86-64</th><th>x86-64</th>
<th>x86-64</th><th>x86-64</th><th>x86-64</th><th>ARM64</th>
<th>AMD64</th><th>AMD64</th>
</tr>
<tr>
<td>2.6.4.3</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.4.1</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.4</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.3</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.2.2</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.2.1</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.2</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 only</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td>✔</td>
<td>✔</td>
</tr>
<tr>
<td>2.6.1.3</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td></td>
<td></td>
</tr>
<tr>
<td>2.6.0.1</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td></td>
<td></td>
</tr>
<tr>
<td>2.5.4.2</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td></td>
<td></td>
</tr>
<tr>
<td>2.5.3</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td></td>
<td></td>
</tr>
<tr>
<td>2.5.2</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>📦 & 🏗</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td>✔</td>
<td></td>
<td></td>
<td></td>
</tr>
</table>
If 📦 is specified, the platform supports setting up the Agda version from a binary distribution.
If 🏗 is specified, the platform supports building the Agda version from source.
:heavy_check_mark:
We encourage using the binary distributions. The binary distributions are tested on every commit. Building the latest Agda version is tested weekly on all platforms except Windows 2019. Please do not rely on the legacy builds, as these are not regularly tested. Please report any failing build _that is listed as working_, and we will update the table.
Expand Down
22 changes: 12 additions & 10 deletions README.md.njk
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,34 +43,36 @@ If an older version of GHC is needed to build the specified version, `setup-agda
<tr>
<th></th>
<th colspan="2">Ubuntu</th>
<th colspan="2">macOs</th>
<th colspan="4">macOs</th>
<th colspan="2">Windows</th>
</tr>
<tr>
<th>Agda</th>
<th></th>
<th>20.04</th><th>22.04</th>
<th>11</th><th>12</th>
<th>11</th><th>12</th><th>13</th><th>14</th>
<th>2019</th><th>2022</th>
</tr>
<tr>
<th>Agda</th>
<th>x86-64</th><th>x86-64</th>
<th>x86-64</th><th>x86-64</th><th>x86-64</th><th>ARM64</th>
<th>AMD64</th><th>AMD64</th>
</tr>
{%- for supported in supportedVersions %}
<tr>
<td>{{ supported.version | trim }}</td>
{%- for platform in knownPlatforms %}
<td>
{%- if supported.platforms[platform].build -%}
📦 & 🏗
{%- elif supported.platforms[platform].setup -%}
📦 only
{%- if supported.platforms[platform].setup -%}
✔
{%- endif -%}
</td>
{%- endfor %}
</tr>
{%- endfor %}
</table>

If 📦 is specified, the platform supports setting up the Agda version from a binary distribution.

If 🏗 is specified, the platform supports building the Agda version from source.
:heavy_check_mark:

We encourage using the binary distributions. The binary distributions are tested on every commit. Building the latest Agda version is tested weekly on all platforms except Windows 2019. Please do not rely on the legacy builds, as these are not regularly tested. Please report any failing build _that is listed as working_, and we will update the table.

Expand Down
Loading

0 comments on commit 04488e8

Please sign in to comment.