search

RedPRL / sml-dependent-lcf

A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
16 stars 1 forks source link

Update git command in README #22

Closed thsutton closed 7 years ago

thsutton commented 7 years ago

With git 2.12.1 the suggested git submodule init --recursive fails (g s init doesn't take --recursive) Using g s init and g s update --recursive succeeds but doesn't result in a working repository (I hit missing cmlib in one of the dependencies).

g s update --init --recursive seems to do the trick.

jonsterling commented 7 years ago

@thsutton nice catch, sorry I didn't see this before! Thank you.