Marcello Seri
Marcello Seri
Somehow you are not including the path to gmp.h, the invocation goes as `/usr/bin/gcc -I/usr/include/guile/3.0 -I/usr ...` but you need also a `-I/usr/include/` for gmp used by guile (and that...
Another failure in the CI is that some distributions install guile2
This may mitigate the issue: https://github.com/ocaml/opam-repository/pull/21333
The few that we can test, llvm 9 10 and 11 are failing as follows ``` #=== ERROR while installing llvm.11.0.0 =======================================# # context 2.0.9 | linux/x86_64 | ocaml-base-compiler.4.12.0 |...
The version name was changed into 5.0.0. The confusing error message should be about that. Can you try: `opam switch create 5.0.0+trunk`
Interesting, for me that works out of the box. Maybe there are conflicts among all the repos you have. My setup is ``` $ opam switch list-available | grep 5....
That is surprising… they should coincide. The hoot repo serves the content of the git repo, just with a few hours delay
Useful suggestion by @UnixJunkie using `command -v`: https://stackoverflow.com/questions/592620/how-can-i-check-if-a-program-exists-from-a-bash-script#677212
I agree, I added the link here as reference for the future for the packages where we cannot do that
Should we backport https://github.com/ocaml/ocaml/pull/10333/files#diff-3c479c6bd9c60e1008b84eb57d13331b8b11a23e4f862d6c5271538d567c34bc to the old compilers as an opam-repo extra patch?