function(gdb_init)
    set(gdb_bin "${ISSM_DIR}/tools/debugger/gdb/gdb-ia")
    export_variable(gdb_bin)
endfunction()