Skip to content
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

Unable to build gnatstudio #124

Open
atupone opened this issue Jan 7, 2022 · 3 comments
Open

Unable to build gnatstudio #124

atupone opened this issue Jan 7, 2022 · 3 comments

Comments

@atupone
Copy link

atupone commented Jan 7, 2022

I faced a lot of issue on building gnatstudio.

I have not found a clear installation instruction

First I installed all AdaCore products from github (rel v22.0.0) where applicable, then trying to solve incompatibility between version I selected the commitID=1c43c1db6b60b51d65fcd4f38bf8e8c92d3969b for gnatstudio, that is the last compilable.

I needed to install lsp_client_glib.gpr from ada_language_server.

Also needed to add -lpython3.9 to the gprbuild of gnatstudio as otherwise it raised "error adding symbols: DSO missing from command line"

So I finally built it but gnatstudio failed with a SIGSEGV, during the call to gnatcoll.scripts.python.new_instance

What am I doing wrong ?

@setton
Copy link
Member

setton commented Jan 7, 2022

Hello @atupone. We admit that gnatstudio is not easy to build - it has a great number of dependencies... In the future we hope to be able to leverage on alire to simplify the picture, but we are not ready for this quite yet.

Regarding your error, I'm suspecting that this is linked to the Python version that you use: if you are using the 22.0v version of tools (in particular gnatcoll-bindings and gnatstudio), this has only been tested with Python 3.7. Support for Python 3.9 has been added later on, so you might have better luck with the latest version of all dependencies.

@atupone
Copy link
Author

atupone commented Jan 7, 2022

Unfortunately alire is not going to help me now, If I understand correctly. I'm trying to add gnatstudio to gentoo (a source based distribution).

But I will check with latest versions of all deps and see. It will take some time.

Thanks

@HROMANO
Copy link

HROMANO commented Feb 25, 2022

I managed to build it on archlinux using AUR link. As I remember, I only had to replace python2 with just python in the build() function for gnatcoll-bindings (it provides gnatcoll-gmp). Maybe it could be used as a starting point for gentoo.

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

3 participants