install.org 3.76 KB
Newer Older
1
2
# -*- coding: utf-8 -*-
#+TITLE: Installing Spot
3
#+DESCRIPTION: Different ways to install the Spot package
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#+SETUPFILE: setup.org
#+HTML_LINK_UP: index.html

* Installing from a tarball

The latest release of Spot is version {{{LASTRELEASE}}}:

- {{{LASTTARBALL}}} (see also the {{{LASTNEWS}}})

Past releases can be found [[https://www.lrde.epita.fr/dload/spot/][in the same directory]].  If you are
interested in /future/ releases, you can always peek at the [[http://teamcity.lrde.epita.fr/viewLog.html?buildTypeId%3Dbt16&buildId%3DlastFinished&buildBranch%3Dnext&tab%3Dartifacts&guest%3D1][last
successful development build]].

** Requirements

19
Spot requires a C++14-compliant compiler.  =g++= 5.0 or later, as well
20
21
as =clang++= 3.5 or later should work.

22
Spot expects a complete installation of Python (version 3.3 or later).
23
24
25
26
27
28
29
30
31
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
32
33
34
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.
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

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

#+BEGIN_SRC sh
./configure --prefix ~/usr
make
make install
#+END_SRC

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
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
58
Stretch (a.k.a. Debian stable) while packages for development are built
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
for Sid (a.k.a. Debian unstable).

Here is how to install the stable packages:

#+BEGIN_SRC sh
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
#+END_SRC

Here is how to install the unstable packages:

#+BEGIN_SRC sh
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
#+END_SRC

77
The package =spot= contains the [[file:tools.org][command-line tools]]. =libspot-dev=
78
contains the header files if you plan to use Spot in a C++14
79
80
81
82
83
84
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.
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104

#+END_SRC

* 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

#+BEGIN_SRC sh
git clone https://gitlab.lrde.epita.fr/spot/spot.git
#+END_SRC

This should put you on the =next= branch by default.  From there, read
the [[https://gitlab.lrde.epita.fr/spot/spot/blob/next/HACKING][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.