MacOS,Arm: conf-mpfr-paths does not install about opam-repository HOT 4 OPEN

Ping @nberth, is this solved by your recent PR?

from opam-repository.

Ping @nberth, is this solved by your recent PR?

Hum… probably not. There's currently a known issue with locales other than "English" I did not fix yet. @xrival could you try with the workaround suggested at nberth/ez-conf-lib#2 ?

from opam-repository.

The result is the same.

Below is my locale information:

$ locale
LANG=""
LC_COLLATE="C"
LC_CTYPE="UTF-8"
LC_MESSAGES="C"
LC_MONETARY="C"
LC_NUMERIC="C"
LC_TIME="C"
LC_ALL=

and:
$ defaults read -g AppleLocale
en_FR

Also, I would like to add, in case it helps, that it used to work a couple of weeks ago and broke during an upgrade.

from opam-repository.

I looked a bit into the script ez-conf-lib, and found that the $libdir is not properly computed in function checklib apparently due to lookup_lib returning an empty string (the sed in the latter seems rather fragile, so that could explain). I do not have time to search more at this point (but give a hard coded $libdir as a work around).

from opam-repository.