stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ fix ] outdate local packages after changes to .ipkg files #280

Closed stefan-hoeck closed 4 months ago

stefan-hoeck commented 4 months ago

Pack only considers a local package to be "outdated", when a change happened to one of the files in the package's source directory. However, if one only changes a package's .ipkg file, for instance, to add a missing module, the packge is not considered to be outdated and hence, it is not reinstalled when we build other libraries having the original package as a depenency.

This PR fixes exactly this: A package is now also considered to be outdated when its .ipkg file has a newer timestamp than the .timestamp file installed together with the package's compiled artifacts.