alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

HACKING: rename src to spot

Browse source 
* HACKING: Here.
This commit is contained in:
Etienne Renault 2020-06-09 20:39:56 +02:00
parent 9b4d51e3db
commit 68014e46fc
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
HACKING
View file

@ -209,7 +209,7 @@ Then run the test suite (or any program you want to study).
Executing programs using Spot will generate a lot of *.gc* files Executing programs using Spot will generate a lot of *.gc* files
everywhere. Collect these using lcov: everywhere. Collect these using lcov:
% lcov --capture --directory src --output spot.info % lcov --capture --directory spot --output spot.info
Finally generate a coverage report in HTML: Finally generate a coverage report in HTML:
@ -353,7 +353,7 @@ Exporting symbols
Needless to say, no public header should include such a private Needless to say, no public header should include such a private
header. header.
* The directory src/priv/ can be used to store files that are * The directory spot/priv/ can be used to store files that are
globaly private to the library, and that do not really belong to globaly private to the library, and that do not really belong to
other directories. other directories.
@ -539,7 +539,7 @@ Formating
int *p, *q; int *p, *q;
The former declarations also allow you to comment each variable. The former declarations also allow you to comment each variable.
* The include guard for src/somedir/foo.hh is * The include guard for spot/somedir/foo.hh is
SPOT_SOMEDIR_FOO_HH SPOT_SOMEDIR_FOO_HH
Naming Naming