You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Otherwise we assume that the idris compiler is called from a specific working directory - normally the directory where the ipkg file resides; but is this limitation necessary or useful?
I would suggest that the compiler treats relative paths in the package file realtive to the location of the package file; which makes more sense, since the behaviour/outcome would be deterministic.
The text was updated successfully, but these errors were encountered:
alaendle
changed the title
Relative pathes in ipkg (e.g. sourcedir) shold be treated realtive to the ipkg-file (and not the current working directory)
Relative pathes in ipkg (e.g. sourcedir) should be treated realtive to the ipkg-file (and not the current working directory)
Jan 3, 2019
Otherwise we assume that the idris compiler is called from a specific working directory - normally the directory where the ipkg file resides; but is this limitation necessary or useful?
I would suggest that the compiler treats relative paths in the package file realtive to the location of the package file; which makes more sense, since the behaviour/outcome would be deterministic.
The text was updated successfully, but these errors were encountered: