search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Clone dep repos #75

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

This PR adds cloned repos search paths to the main HashSet. Repos listed in a dep's [repos] section will also be cloned into the correct location scoped to the dep

depends on #74

jwerle commented 4 years ago

updated this PR because #74 was merged in

jwerle commented 4 years ago

@aep any reason we would want to avoid this functionality?

jwerle commented 4 years ago

@aep this seems safe to merge. A few days of testing hasn't shown any errors.

jwerle commented 4 years ago

:rocket: