search

revng / revng-orchestra

rev.ng's package manager
4 stars 6 forks source link

Feature: uninstall dependants #53

Closed fcremo closed 2 years ago

fcremo commented 2 years ago

This change uninstalls dependants by default. The --no-uninstall-dependants can be used to disable this behavior.

This PR also changes where sources are cloned: now the sources are placed in a directory with the same name as the repo, so they can be shared by multiple components.