Installing Spot
Table of Contents
Installing from a tarball
The latest release of Spot is version 2.5.3:
spot-2.5.3.tar.gz
(see also the summary of the changes)
Past releases can be found in the same directory. If you are interested in future releases, you can always peek at the last successful development build.
Requirements
Spot requires a C++14-compliant compiler. g++
5.0 or later, as well
as clang++
3.5 or later should work.
Spot expects a complete installation of Python (version 3.3 or later).
Especially, Python's headers files should be installed. If you don't
have Python installed, and do NOT want to install it, you should run
./configure
with the --disable-python
option.
Installation
The installation follows the usual ./configure
, make
, make install
steps.
Please do install Spot somewhere: while skipping make install
and
running the command-line tools directly from the build directory
should work, it will be slower than if you run make install
and run
the installed binaries.
By default, make install
will install everything under
/usr/local/
, so unless you have write access to this directory you
will either have to run sudo make install
, or choose another
installation prefix.
For instance to install Spot in ~/usr
(i.e., in your home
directory), use
./configure --prefix ~/usr make make install
Files INSTALL
and README
included in the tarball contains more
explanations about the various options you can use during this
process.
Installing the Debian packages
We build Debian packages for amd64 and i386, for both releases and the development versions. Packages for releases are built for Debian Stretch (a.k.a. Debian stable) while packages for development are built for Sid (a.k.a. Debian unstable).
Here is how to install the stable packages:
wget -q -O - https://www.lrde.epita.fr/repo/debian.gpg | apt-key add - echo 'deb http://www.lrde.epita.fr/repo/debian/ stable/' >> /etc/apt/sources.list apt-get update apt-get install spot libspot-dev spot-doc python3-spot # Or a subset of those
Here is how to install the unstable packages:
wget -q -O - https://www.lrde.epita.fr/repo/debian.gpg | apt-key add - echo 'deb http://www.lrde.epita.fr/repo/debian/ unstable/' >> /etc/apt/sources.list apt-get update apt-get install spot libspot-dev spot-doc python3-spot # Or a subset of those
Note that our Debian repository is signed since that is the new Debian
policy, and both of the above command blocks start with a download of
our GPG key. Its fingerprint is 209B 7362 CFD6 FECF B41D 717F 03D9
9E74 44F2 A84A
, if you want to verify it.
The package spot
contains the command-line tools. libspot-dev
contains the header files if you plan to use Spot in a C++14
program. spot-doc
contains some html (including these pages) and pdf
documentation. Finally python3-spot
contains some Python bindings
(this package also installs some ipython notebooks that you can use as
examples). The packages containing the libraries (libspot0
,
libbddx0
, libspotltsmin0
) are automatically installed as
dependencies of the previous packages.
Installing from git
The master
branch of the git repository contains the code for the
latest released version, possibly with a few yet-to-be-released
bugfixes. The next
branch is the main development branch, and contains
the (working) code that should be part of the next major release.
To clone the git repository, use
git clone https://gitlab.lrde.epita.fr/spot/spot.git
This should put you on the next
branch by default. From there, read
the HACKING file that should be at the top of your cloned repository:
it lists all the tools you should install before attempting to compile
the source tree.