There is a hackish solution that doesn’t handle the ecossystem, like this, it could be integrated in opam, it uses the internal cflags as 4.10
I was searching quite a while and you provided the best and simplest workaround, thx a lot!
There is a hackish solution that doesn’t handle the ecossystem, like this, it could be integrated in opam, it uses the internal cflags as 4.10
I was searching quite a while and you provided the best and simplest workaround, thx a lot!