Closed rodja closed 7 months ago
The file get_owl.sh has been removed more than two years ago in https://github.com/zauberzeug/lizard/commit/bc3dfbd82cffaf47dd120c39669d0129e185de2f. It isn't needed anymore, because owl has been included as a submodule. So I think we can simply remove its reference from the documentation: https://github.com/zauberzeug/lizard/blob/00662315436f375aae9e25153418c22f83d8d761/docs/tools.md?plain=1#L58-L62 There is already an instruction about installing submodules: https://github.com/zauberzeug/lizard/blob/00662315436f375aae9e25153418c22f83d8d761/docs/tools.md?plain=1#L66-L70
As pointed out by @BenGeissler in https://github.com/zauberzeug/field_friend/issues/28#issuecomment-2059388035, there is no
get_owl.sh
file in the latestmain
branch of lizard. But it is needed for installing Lizard as stated in the documentation: https://lizard.dev/tools/#development. He found the file in the commit history of the main branch and cloned owl by hand.