Le 15 févr. 2019 à 10:20, Jocelyn Sérot <Jocelyn.Serot@uca.fr> a écrit :


Le 14 févr. 2019 à 22:05, Daniel Bünzli <daniel.buenzli@erratique.ch> a écrit :
[…]

I don't presumably on the same system, it seems a bit weird. Did you maybe upgrade your system or xcode lately ?


No update on the macos/ gcc side recently. 
The last modification was the switch to opam2.

And did you try to `opam reinstall cpuid` ? 


Yes. Does not solve the problem (same error : symbol not found: ___cpuid). 


J