Open notlesh opened 11 months ago
Context: #1
This particular error occurs because dependency submodules have not been pulled. The repository must be cloned with git clone --recursive
. Alternatively, you can update submodules after the fact with
git submodule init
git submodule update
I think this was a requirement in my case: https://wiki.archlinux.org/title/Docker#Rootless_Docker_daemon
And it was sufficient to build stone-prover
(also after properly initializing the submodule as you mentioned). I think this can be considered part of a sane docker setup, so maybe there's nothing to do here...
Here's a non-Arch specific bit of documentation on running rootless, FYI: https://docs.docker.com/engine/security/rootless/
Feel free to close this out if you want.
I guess you could say that, it's a reasonable expectation.
If Docker is uninstalled/misconfigured, the output is rather unhelpful:
I'm not sure what to suggest at this point, in part because I'm not very experienced with Docker. I may also be off the beaten path by trying to use
pacman
(Arch Linux package manager) to set it up.Ideas:
README.md
for setting this up and/or its requirements