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

Install location for 4ti2 headers #22

Open
mkoeppe opened this issue Sep 5, 2018 · 1 comment
Open

Install location for 4ti2 headers #22

mkoeppe opened this issue Sep 5, 2018 · 1 comment

Comments

@mkoeppe
Copy link
Contributor

mkoeppe commented Sep 5, 2018

groebner, util, zsolve should perhaps appear as subdirectories of ${prefix}/4ti2.
Check what distributions do.

@jengelh
Copy link
Contributor

jengelh commented Jul 1, 2021

4ti2 headers seem to be in the right place as of 1.6.9. Just the programlets/scriptlets like groebner etc. should either be prefixed (note how /usr/bin/4ti2gmp already has one!), or be moved to ${pkglibexecdir} aka /usr/libexec/4ti2. /usr/4ti2 is generally not an accepted path (/usr/X11R6 was the last software that was “allowed” such a special position, and even that is years past).

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