-
Notifications
You must be signed in to change notification settings - Fork 225
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
configure: add option -sharedir to specify where to put compcert.ini #460
Conversation
Make sure that it's one of the three locations where the ccomp executable looks for compcert.ini. Closes: #450
It is generally available on FreeBSD / OpenBSD and DragonFlyBSD. NetBSD will have the command as part of their upcoming 10.0 release. But you're right macOS does not have said command. This is also part of the forthcoming edition of the POSIX standard. |
Funny, I can read the manpage of |
Most likely a man page for realpath(3) and not realpath(1). |
No, it's realpath (1), mentioning realpath (3)... |
That's really weird then. |
On Darwin 21.6.0 arm64 (macOS 12.6.1), there is only a manpage for realpath(3). |
You are right.
|
JFTR
No idea why your system contains |
OpenBSD's I'm going to merge this PR with no |
That's a GNU extension. So even as realpath(1) spreads as being part of POSIX it cannot be used. |
This is similar to #450 by @brad0, but in addition we make sure that the directory specified with -sharedir is one of the three locations where the
ccomp
executable looks forcompcert.ini
.Directories are compared by string equality, which is fragile (e.g.
/foo/
and/foo
compare different, and so do/bar/../foo
and/foo
). We could do better by using therealpath
command-line utility to normalize directory names before comparison, butrealpath
is not generally available on macOS and BSD systems.Closes: #450