4 Commits

Author SHA1 Message Date
Charly Delay
b0ea73a682 fix(doc): broken SonarQube Runner links
Change-Id: I24a6909cd46ddedf5255ecac68dfe28144784129
TN: P817-008
2016-08-17 10:05:28 -04:00
Charly Delay
d7124595d0 gnathub: remove obsolete GNATprove plugin
This plugin stopped working some time ago due to major changes in
GNATprove output. Remove support for it as it will be re-implemented as
part of P701-003.

Change-Id: I7c0b6399243a865c57211b0f2c16573bf5ed63a9
TN: P701-003
TN: N805-021
2016-07-26 16:42:45 +02:00
Charly Delay
b02ce249ee gnathub: add support for --dry-run switch
Add a [ --dry-run | -n ] switch to execute GNAThub in dry-run mode.
Dry-run mode skips DB manipulation (initialisation, population, update),
environment setup (project directory hierarchy, ...) and Python script
execution (when using --exec). It also prevents the execution of
plugins.

Change-Id: Ibe160ffc739d7027f9c56940832656d0e8a126a0
TN: P303-043
2016-03-07 20:13:17 +01:00
Charly Delay
d3c8306e04 Repository reorganization
The documentation is now global and its sources moved to the top-level
directory. Same goes for the know-problems-* and features-* files that
are now shared between all submodules.

This commit needs to be push in synchronization with change I0a342aea8d
in the ANOD specification repository.

Change-Id: If350f109ae6a40ae3e632bfa8491145aaab8a52f
TN: OA28-039
2015-12-07 17:28:54 +01:00