Repository navigation
ivor does not find Idris dependencies? #2
Description
$ ivor.run install uwap/idris-http
Cloning into 'uwap_idris-http'...
[...]
Entering directory `./src'
The following packages were specified but cannot be found:
- lightyear
- bytes
Done.
$ ivor.run install ziman/lightyear
Cloning into 'ziman_lightyear'...
[...]
Done.
$ ivor.run install ziman/idris-bytes
Cloning into 'ziman_idris-bytes'...
[...]
Done.
$ ivor.run install uwap/idris-http
Entering directory `./src'
Type checking ./Http/Error.idr
Type checking ./Http/RawResponse.idr
Type checking ./Http/Uri.idr
Type checking ./Http/Request.idr
user error (Can't find file array.o)
Done.
$ ivor.run install uwap/idris-http # trying again out of curiosity
Entering directory `./src'
The following packages were specified but cannot be found:
- lightyear
- bytes
Done.
Attempting to use lightyear as a dependency in a project also didn't work, until after installing manually.
Activity
emptyflash commentedon Nov 20, 2017
Hello, thanks for leaving an issue. Unfortunately, Ivor is extremely experimental right now, and doesn't support transitive dependencies. If you want to use a Idris library that has other dependencies for right now you'll have to install them in the correct order.
The other thing is that it seems Idris wasn't able to find the array.o file for installing the
idris-httppackage, which is strange, I'll look a little bit more into that.I think the best way to accomplish what you want to achieve right now would be to create a
ivor.tomlfile and specify your dependencies there. That's the most thoroughly tested use case at this moment.Sorry about the state things are in, hopefully I'll be able to get around to more testing and implementing more features once things get settled down a little bit. There's a couple of things I'd like to get working that should make transitive install a lot easier/more sane (such as a dependency graphs and a lockfile)
emptyflash commentedon May 8, 2018
@unthingable hey, wow, sorry it took me so long to address this. I think I fixed at least part of this bug (the
user error (Can't find file array.o)part). You'll still have to install things in the correct order until I add support for transitive dependencies and ordering. Also, the fix comes from the latest version of Idris, so you'll have to upgrade.If you could try it our and let me know how it goes, it would be greatly appreciated. 😄