org: mention "make check" and the new GPG key

Fixes #515.

* doc/org/install.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2022-10-10 10:06:25 +02:00
parent 2c13b299b8
commit d0c296e1cf

View file

@ -52,10 +52,13 @@ make
make install make install
#+END_SRC #+END_SRC
Before running =make install=, you might want to run =make check= to
run our test-suite.
Files =INSTALL= and =README= included in the tarball contains more Files =INSTALL= and =README= included in the tarball contains more
explanations about the various options you can use during this explanations about the various options you can use during the
process. Also note that =README= has a section about troubleshooting compilation process. Also note that =README= has a section about
installations. troubleshooting installations.
* Installing the Debian packages * Installing the Debian packages
:PROPERTIES: :PROPERTIES:
@ -88,7 +91,9 @@ 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 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 policy, and both of the above command blocks start with a download of
our [[https://www.lrde.epita.fr/repo/debian.gpg][GPG key]]. Its fingerprint is =209B 7362 CFD6 FECF B41D 717F 03D9 our [[https://www.lrde.epita.fr/repo/debian.gpg][GPG key]]. Its fingerprint is =209B 7362 CFD6 FECF B41D 717F 03D9
9E74 44F2 A84A=, if you want to verify it. 9E74 44F2 A84A=, if you want to verify it. If you have an old copy of
the GPG key that expired, please download it again: the current
version should be valid until 2032.
The package =spot= contains the [[file:tools.org][command-line tools]]. =libspot-dev= The package =spot= contains the [[file:tools.org][command-line tools]]. =libspot-dev=
contains the header files if you plan to use Spot in a C++17 contains the header files if you plan to use Spot in a C++17