[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#261004: Workaround



Hello,

Not sure but the bug should be filed against libgnat-3.4.
As a workaround do with root :
debian:~# cd /usr/lib/
debian:/usr/lib# ln -s libgnat-3.4.so.1 libgnat-3.4.so

And now my little hello world program seems to work :

jylenhof@debian:~$ gnatmake hello.adb
gnatbind -x hello.ali
gnatlink hello.ali
jylenhof@debian:~$ ./hello
hello world
jylenhof@debian:~$

Can you try this workaround if it works for you ?

Regards,

JYL




Reply to: