can't find package idris2 when running make bootstrap

idris-community / inigo

Inigo: A Package Manager for Idris2

https://inigo.pm

MIT License

61 stars 7 forks source link

can't find package idris2 when running make bootstrap #32

Open dvc94ch opened 3 years ago

JankaGramofonomanka commented 3 years ago

It looks like I have experienced the same problem so I will describe it in more detail.

After cloning the repository, when I try to execute make bootstrap I get this:

mkdir -p build
(cd Base/Color && idris2 --build Bootstrap.ipkg --build-dir ../../build)
Uncaught error: Can't find package idris2 (any)
Makefile:11: recipe for target 'bootstrap' failed
make: *** [bootstrap] Error 1

Z-snails commented 3 years ago

You need to install the idris2api package from the idris2 repo. Instructions for doing this are linked from this repo's README.md. https://github.com/idris-lang/Idris2/blob/main/INSTALL.md point 8