search

idris-community / idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
22 stars 8 forks source link

How to use Pack dependencies? #40

Open l-monnier opened 1 year ago

l-monnier commented 1 year ago

For a given buffer, Emacs should call idris2 --find-ipkg so the dependencies of the packages installed with Pack are found. I tried various options but without any success:

Each time, the packages installed with Pack remain not found (while I have no issues running a REPL from the Terminal). I don't know if this is an issue or just something that I am missing, but it doesn't seem to be documented.

gallais commented 1 year ago

FYI: you may have more luck asking on the discord (or on the pack project).