CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard

Published 20 hours ago • verified publisher icon AbsInt

Allow sharedir path to be overridden

Open brad0 opened this issue 2 years ago • 3 comments

brad0 avatar Aug 14 '22 23:08 brad0

This is not going to work: the CompCert executable ccomp looks for compcert.ini in $D/../share, where $D is the directory containing ccomp. This makes binary CompCert distributions easy to install and relocate.

xavierleroy avatar Aug 15 '22 07:08 xavierleroy

Ya, I came across the Driver code for that and trying to understand it.

We need to be able to put compcert.ini into a sub-directory of share/ as in share/compcert.

brad0 avatar Aug 22 '22 03:08 brad0

I misspoke: CompCert looks for compcert.ini in $D, $D/../share and $D/../share/compcert. So your wish could be satisfied, but the configure script needs more work.

xavierleroy avatar Aug 29 '22 08:08 xavierleroy

See proposal at #460.

xavierleroy avatar Nov 09 '22 17:11 xavierleroy

With #460 posted I am going to close this.

brad0 avatar Nov 10 '22 00:11 brad0