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

automatically finding GAP_ROOT #4734

Closed
dimpase opened this issue Jan 14, 2022 · 3 comments
Closed

automatically finding GAP_ROOT #4734

dimpase opened this issue Jan 14, 2022 · 3 comments

Comments

@dimpase
Copy link
Member

dimpase commented Jan 14, 2022

Currently the only "automatic" way to find GAP_ROOT (to put in --with-gaproot, say) seems to be to parse the GAP start-up
script. Can this be provided somehow?
Might also simply package installation, as then --with-gaproot= would become unnecessary (or at least its value could be obtained by calling GAP).

One can also think of putting this info into something like pkg-config data.

Possibly related to #4731.

@fingolfin
Copy link
Member

What exactly do you want to achieve? Do you want to know what GAPROOT to point package build scripts at? Or something else?

For the former, the directory to point them at is the one containing sysinfo.gap, which contains all the data needed for package build systems.

@dimpase
Copy link
Member Author

dimpase commented Jan 17, 2022

Yes, indeed, it is for building - libgap interfaces, and GAP packages.

The question is how to do this in a system-agnostic way.
Usually this is achieved by using a tool like pkg-config, or by a special script.

@fingolfin
Copy link
Member

Duplicate of issue #275

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