search

AdaCore / spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249 stars 33 forks source link

developer guide: issues #19

Closed pjljvandelaar closed 4 years ago

pjljvandelaar commented 4 years ago

In file:///C:/AdaCore/spark2014/docs/develguide/_build/html/tool_structure.html, in section Using gprbuild is written

At the minimum the Driver attribute must be set to gnatw2hy.
gnatwhy produces compiler-like output. But note that gprbuild holds back the output of gnat2why until the tool has finished completely. This can create some confusion in a debugging context.

Am I right in assuming gnatw2hy is a typo of gnat2why. Is gnatwhy also a typo or is it another tool like gnat2why and gnatwhy3?

yannickmoy commented 4 years ago

I fixed the typo, thanks, we have enough with gnat2why and gnatwhy3 :-)