Attached is an updated version of the python_2_to_3.diff (from gnat-
gps-17.0.2017 deb) that should fix this issue.

I did not test rebuilding the package with this patch (I encounter some
dependencies issues hard to install without breaking things in my
current environment), but since the fix is trivial (one line to change,
line 1977), I modified directly the patch file by hand.

** Patch added: "Updated python_2_to_3.diff patch from deb"
   
https://bugs.launchpad.net/ubuntu/+source/gnat-gps/+bug/1818406/+attachment/5243472/+files/python_2_to_3.diff

** Tags added: patch

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1818406

Title:
  gnat-gps fails to launch built binaries

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnat-gps/+bug/1818406/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to