search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
105 stars 27 forks source link

[ fix ] cleanup lib dir when removing or re-installing libs #268

Closed stefan-hoeck closed 12 months ago

stefan-hoeck commented 12 months ago

Currently, the lib directories of installed libraries are not properly removed when deleting or re-installing libraries. This results in the new version of this directory being placed inside the already existing lib dir, so that for libraries with - for instance - C-bindings, the new C-bindings will not be found when developing such libraries locally.

The solution is trivial: Delete pkgLibDir when removing and before re-installing libraries.