search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

Fix `make bootstrap` error & Fix broken links #8

Open raptazure opened 3 years ago

raptazure commented 3 years ago
  1. Because of the lack of Inigo.idr, make bootstrap gives the following error: 
    /Library/Developer/CommandLineTools/usr/bin/make inigo
idris2 --build Inigo.ipkg --cg node
Uncaught error: File error (Inigo.ipkg): File Not Found
make[1]: *** [inigo] Error 1
make: *** [bootstrap] Error 2
  2. Fix some broken links in toml files, such as https://github.com/inigo/tree/master/Base/Color.