diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-05-22 01:58:40 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-05-22 06:18:18 +0200 |
| commit | 95221aecb51da9f8c971bf58b0248ac1c1f6415f (patch) | |
| tree | 5c3caaeda5f7b1eab3865753eb53904d768e71fa | |
| parent | 7e35065cfd5fbf4c3bf83431bb60f609c4ea31ff (diff) | |
| download | ghdl-95221aecb51da9f8c971bf58b0248ac1c1f6415f.tar.gz ghdl-95221aecb51da9f8c971bf58b0248ac1c1f6415f.tar.bz2 ghdl-95221aecb51da9f8c971bf58b0248ac1c1f6415f.zip | |
doc: update getting/Releases
| -rw-r--r-- | doc/getting/Releases.rst | 9 | ||||
| -rw-r--r-- | doc/helpers.py | 8 |
2 files changed, 16 insertions, 1 deletions
diff --git a/doc/getting/Releases.rst b/doc/getting/Releases.rst index 676ffd421..f076e9e4f 100644 --- a/doc/getting/Releases.rst +++ b/doc/getting/Releases.rst @@ -6,11 +6,20 @@ Releases and sources .. contents:: Contents of this Page :local: +Using package managers +********************** + +Package managers of many popular distributions provide pre-built packages of GHDL. This is the case for `apt` (Debian/Ubuntu), `dnf` (Fedora/CentOS) or `pacman` (Arch Linux). Since GHDL supports three different backends and two library sets (ieee or openieee), at least six packages with different features might be available in each package manager. See differences between backends in :ref:`BUILD`. + .. _RELEASE:packages: Downloading pre-built packages ****************************** +Assets from nightly GHDL builds are available at `github.com/ghdl/ghdl/releases/nightly <https://github.com/ghdl/ghdl/releases/nightly>`_. These are mostly meant to be used in Continuous Integration (CI) workflows. Precisely, `setup-ghdl-ci <https://github.com/ghdl/setup-ghdl-ci>`_ allows to easily setup nightly assets in GitHub Actions workflows. + +Furthermore, assets from stable builds are available for a larger set of platforms: + .. TODO How to extend this directive to use `.. only:: html` and `.. only:: html` in the python code passed to it? .. exec:: diff --git a/doc/helpers.py b/doc/helpers.py index f30e249dc..4ca692268 100644 --- a/doc/helpers.py +++ b/doc/helpers.py @@ -162,7 +162,7 @@ def createReleasesShields(tag='latest'): from dateutil.parser import parse as parseTime releases = [['Date', 'Downloads']] if tag == 'latest': - t = d[0] + t = d[1] if d[0]['name'] == 'nightly' else d[0] for x in d: name = x['tag_name'] if tag == name: @@ -204,6 +204,12 @@ def printReleasesList(releases, latex=False): releases = getJSON(releases)["releases"] rs = [releases[0]] + + for x, r in enumerate(releases): + if 'nightly' in r[1]: + releases.remove(r) + break + rs.extend(releases[2:]) if latex: |