Adding a flag to enable cleaning the install directory

microsoft / Trieste

A term rewriting system for experimental programming language development.

MIT License

37 stars 20 forks source link

Adding a flag to enable cleaning the install directory #113

Closed matajoh closed 3 months ago

matajoh commented 3 months ago

The previous PR #111 removed the install directory cleaning functionality that is expected by various downstream repositories. This PR adds it back in with a flag, to address the concerns raised in #96. Downstream users will need to set TRIESTE_CLEAN_INSTALL to On to get the old behaviour.