cmake: export compile commands

cmake/mainSetup.cmake

@@ -8,6 +8,8 @@ include(CMakeDependentOption)
 include(cmake/JoinPaths.cmake)
 include(CTest)
 
+set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
+
 set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
 set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
 

doc/readme-pvs-studio.md

@@ -12,9 +12,10 @@ cd buildXXX
 cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=ON ...
 
 # Once the CMake configuration is done, we should obtain a output file 'compile_commands.json'
+# NOTE: This option is enabled by default inside our CMake configuration (see cmake/mainSetup.cmake)
 ```
 
-The analysis starts with the following commands:
+The analysis starts by running the following commands:
 
 ```bash
 export PVS_LICENSE=~/.config/PVS-Studio/PVS-Studio.lic
@@ -23,3 +24,8 @@ plog-converter -a GA:1,2 -t tasklist pvsStudio.log -o pvsStudio.tasks
 plog-converter -a GA:1,2 -t fullhtml pvsStudio.log -o pvsReportHtml
 plog-converter -a GA:1,2 -d V1042 -t fullhtml pvsStudio.log -o pvsReportHtml
 ```
+
+## CI
+
+The PVS username & key are configured as secrets in the security settings of the project. Then we make use of such
+secrets in the Github workflow named `special_pvsStudio`.