Re: Two miscellaneous questions about GPS : Ada indentation and then SPARK integration

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 01 Jun 2010 09:20:45 +0200, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:
> The second question, is related to SPARK integration (I came back to GPS  
> for SPARK, which is more handy than from the command line) : when I do  
> SPARK -> POGS, a summary file is opened in GPS (OK). If then I do SPARK  
> -> Examine File, then SPARK complains it cannot find my index file,  
> although the configuration specifies the good file name. It only occurs  
> after an invokation of POGS. If I close GPS then re-open it, the Examine  
> File command works as expected (as it does all the time, if no POGS  
> command was executed before).

About this one, I've found a track : the current directory is changed when  
POGS is executed. So if the index file is not specified using an absolute  
path, then the Examine File command do not find it anymore.

Probably there is a way to fix it, and this suggest a workaround : always  
use an absolute path for SPARK index file (may not be nice if one want a  
GPR file with relative paths only, while this can be acceptable)

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.