Hi y'all,

I'm working on a Guile-based tool (https://github.com/aartaka/mgamma)
reliant on (system foreign-library) FFI. So I'm doing multiple
load-foreign-library for the libraries used. But when I need to debug
the code at the intersection of Guile and these libraries in GDB, I
can't get debug symbols.

I'm on Guix, which complicates things a bit. I've followed the
instructions for GDB setup from
https://guix.gnu.org/manual/en/html_node/Separate-Debug-Info.html It
makes C programs I compile debuggable with all the symbols present. But
it doesn't propagate to Guile somewhy, even though I'm loading the same
libraries C programs are linked against.

The only thing that differs between C and Guile seems to be dlopen/dlsym
used in Guile instead of linking libraries into the binary C compiler
does. Might this be the reason? How do I fix that and get my debug
symbols, if anyhow?

See
https://github.com/aartaka/guile-gsl/blob/608200e604fe910fc7cd9e23675fe739d62990fd/modules/gsl/core.scm#L14
for an example of how I'm binding libraries on Guile side, and the
attached file for the C program that ends up with debug symbols in GDB.

#include <stdio.h>
#include "gsl/gsl_vector.h"
#include "gsl/gsl_matrix.h"
#include "gsl/gsl_eigen.h"

int main (void)
{
        double G[284*284] = {0};
        char buf[5000];
        FILE *f = fopen("g.txt", "read");
        for (int i = 0; i < 284; ++i)
                for (int j = 0; j < 284; ++j)
                        G[i*284 + j] = (fscanf(f, "%s", buf),
                                        atof(buf));
        gsl_matrix_view g = gsl_matrix_view_array(G, 284, 284);
        gsl_vector *eval = gsl_vector_alloc(284);
        gsl_matrix *evec = gsl_matrix_alloc(284, 284);
        gsl_eigen_symmv_workspace *workspace = gsl_eigen_symmv_alloc(284);
        gsl_eigen_symmv(&g.matrix, eval, evec, workspace);
        gsl_eigen_symmv_sort(eval, evec, GSL_EIGEN_SORT_VAL_ASC);
        for (int i = 283; i > 240; --i)
                printf("%f ", gsl_vector_get(eval, i));
        puts("");
        for (int i = 283; i > 240; --i)
                printf("%f ", gsl_matrix_get(evec, 0, i));
        puts("");
        /* for (int i = 0; i < 30; ++i) */
        /*         printf("%f ", gsl_vector_get(eval, i)); */
        /* puts(""); */
        /* for (int i = 0; i < 30; ++i) */
        /*         printf("%f ", gsl_matrix_get(evec, 0, i)); */
        /* puts(""); */
}
Thanks a lot,
-- 
Artyom Bologov
https://aartaka.me

Reply via email to