Commit 70b212d8 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

org: add instructions for install RPM packages

* doc/org/install.org: Here.
* NEWS: Mention that we have RPM packages.
parent 0a9c1d33
Pipeline #2776 canceled with stages
in 67 minutes and 4 seconds
......@@ -46,6 +46,9 @@ New in spot 2.5.3.dev (not yet released)
is still 32, but this limit is no longer hardcoded. Larger values
will cost additional memory and time.
- We know distribute RPM packages for Fedora 28. See
file:///home/adl/git/spot/doc/userdoc/install.html#Fedora
Library:
- The PSL/LTL simplification routine learned the following:
......@@ -257,7 +260,7 @@ New in spot 2.5.3.dev (not yet released)
- Converting generalized-co-Büchi to Streett using dnf_to_nca()
could produce bogus automata if the input had rejecting SCCs.
Deprecation notice:
Deprecation notices:
- The type spot::acc_cond::mark_t has been overhauled and uses
a custom bit-vector to represent acceptance sets instead of
......
......@@ -5,6 +5,9 @@
#+HTML_LINK_UP: index.html
* Installing from a tarball
:PROPERTIES:
:CUSTOM_ID: tar
:END:
The latest release of Spot is version {{{LASTRELEASE}}}:
......@@ -52,6 +55,9 @@ explanations about the various options you can use during this
process.
* Installing the Debian packages
:PROPERTIES:
:CUSTOM_ID: Debian
:END:
We build Debian packages for amd64 and i386, for both releases and the
development versions. Packages for releases are built for Debian
......@@ -90,7 +96,42 @@ examples). The packages containing the libraries (=libspot0=,
=libbddx0=, =libspotltsmin0=) are automatically installed as
dependencies of the previous packages.
* Installing the Fedora packages
:PROPERTIES:
:CUSTOM_ID: Fedora
:END:
We build Fedora packages for amd64, for both releases and the
development versions. Both builds are currently made for Fedora 28.
Our `stable` repository contains RPM for released versions of Spot, add it with:
#+BEGIN_SRC sh
sudo dnf config-manager --add-repo https://www.lrde.epita.fr/repo/fedora/lrde.repo
#+END_SRC
Our `unstable` repository contains RPM for the development versions of Spot,
you can opt to use that instead:
#+BEGIN_SRC sh
sudo dnf config-manager --add-repo https://www.lrde.epita.fr/repo/fedora/lrde.repo
sudo dnf config-manager --set-enabled lrde-unstable
sudo dnf config-manager --set-disabled lrde-stable
#+END_SRC
Once the repository is set up, you can simply install Spot with:
#+BEGIN_SRC sh
sudo dnf install spot python3-spot spot-devel spot-doc
#+END_SRC
or a subset of those packages. The package =spot= contains the
command-line tools, =python3-spot= contains the Python bindinges,
=spot-devel= contains the C++ header files, and =spot-doc= the
documentation that you can also find online. Those packages depends
on =libspot= that contains the shared libraries.
* Installing from git
:PROPERTIES:
:CUSTOM_ID: git
:END:
The =master= branch of the git repository contains the code for the
latest released version, possibly with a few yet-to-be-released
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment