[ fix ] use correct path for lib dir in multi-package projects

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

105 stars 27 forks source link

[ fix ] use correct path for lib dir in multi-package projects #309

Closed stefan-hoeck closed 1 month ago

stefan-hoeck commented 1 month ago

The path to the lib dir that is copied during installation should be relative to the .ipkg file not the project root. With the current version, it is not possible to get a multi-package project like idris2-linux to install correctly.