The Coq mailing list

[Pierre Corbineau <Pierre.Corbineau AT imag.fr>]

I am currently trying to debug something in plugins/cc. I followed the 
instructions in dev/doc/debugging.txt.

Unfortunately the debugger won't allow me to set any breakpoint there :

I get the following message : Can't find any event there.

However, 'list cctac' succeeds ( it can find the source file). And 
setting breakpoints in e.g. tachmach succeeds.

Any ideas ? Is there a way to force the loading of plugins in the debugger ?


Pierre


--
Pierre Corbineau          | 
Pierre.Corbineau AT imag.fr
VERIMAG - Centre Équation | Tel: (+33 / 0) 4 56 52 04 42
2, avenue de Vignate      | Office nr B2G2
38610 GIÈRES - FRANCE     | http://www-verimag.imag.fr/~corbinea/

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature