I probably won't merge this because I think git ssh URLs are the recommended approach. A few thoughts though

• if you're building docker images there's a feature to forward ssh agents into the container
• pip installing the package already builds from source by default
• if you do get this working as a docker image without this change I'll definitely merge it in and add it to the build process

I think github doesn't specifically recommend ssh over https, it even used to be the other way 😆

But for my project I don't specifically need to build the bindings from source, I just want to make sure llama.cpp gets compiled on the user's machine and we're not shipping a binary because there are issues with CPU feature sets if you do.

So if I do pip install it will build llama.cpp from source ?

@nsarrazin yes that's correct, and I plan to keep that the default (no wheels in the PyPI package)

Alright that's great to hear. This will simplify my dockerfile, thanks haha

I'm closing this PR then!