[Users] How to use Formaline -- symbol table/file error

Roland Haas rhaas at illinois.edu
Mon Apr 18 13:25:24 CDT 2022

Hello Bernard,

> Follow-up thought: since gdb is a debugger, does this mean I should have
> compiled the original executable with debugging symbols? (Something I
> almost never do for a production executable.)
Almost certainly, yes. Though maybe not all off them but enough that
say "nm exe/cactus_sim_ET_2021_05_BC" reports something for
cactus_source (eg in my case nm exe/cactus_sim | grep
'cactus_source$' -> 0000000006fdc1c0 D cactus_source). Gdb needs to be
able to resolve the "cactus_source" symbol into the actual address.
Otherwise it will be hard to find out that correct starting point for
the linked list of tar file fragments.

If you can still run the the executable then running it with a minimal
thornlist that says 

ActiveThorns = "Formaline"

will write out the source code tarball.


My email is as private as my paper mail. I therefore support encrypting
and signing email messages. Get my PGP key from http://keys.gnupg.net.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
Url : http://lists.einsteintoolkit.org/pipermail/users/attachments/20220418/76ee2672/attachment.bin 

More information about the Users mailing list