Skip to content

Install procedure doesn't really work with GNAT Pro #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
ptroja opened this issue Jan 13, 2019 · 1 comment
Closed

Install procedure doesn't really work with GNAT Pro #4

ptroja opened this issue Jan 13, 2019 · 1 comment

Comments

@ptroja
Copy link
Contributor

ptroja commented Jan 13, 2019

The Install procedure for .gdbinit suggests to put there:
sys.path.append('/home/ptroja/gnat-gdb-scripts/gnatdbg')
but I only got your fix for #3 to work after changing that line to:
sys.path.insert(0, '/home/ptroja/gnat-gdb-scripts')

Apparently gnat-gdb-scripts are already shipped with GNAT (Pro?), at least they already came with my recent GNAT from GAIA. Appending to the sys.path didn't work, because gdb was still picking the package that came with GNAT, not the one that I took from Github; that's why I had to "prepend" to sys.path with insert.

Also, for python import gnatdbg to work, the sys.path must include the directory where gnatdbg is located, not the gnatdbg directory itself.

Otherwise, your fix works great, thanks!

@pmderodat
Copy link
Member

Hello @ptroja,

Prepending is aood idea, we’ll do that: thank you for the suggestion!

Also, for python import gnatdbg to work, the sys.path must include the directory where gnatdbg is located, not the gnatdbg directory itself.

I think the current phrasing describes exactly that: do you think it should be improved? I’ll try to add a note.

adacore-bot pushed a commit that referenced this issue Jan 14, 2019
This enables one to override an already installed gnatdbg package,
available in the Python interpreter.

Change-Id: I7ce530f84324c3ef982af72fb09e4ad8a38ff63b
For GitHub issue #4
no-tn-check
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants