search

jonathanrlouie / idris-maven-plugin

A Maven plugin for Idris 2
The Unlicense
1 stars 0 forks source link

Add support for fetching dependencies through package managers #4

Open jonathanrlouie opened 2 years ago

jonathanrlouie commented 2 years ago

Currently, we cannot fetch Idris dependencies. In order to do this, we will need to use a package manager for Idris. As of July 25, 2022 it appears that pack is the best candidate to support first.

jonathanrlouie commented 2 years ago

Pack doesn't support the Idris JVM backend right now, so the current plan is to try and add support for installing dependencies through the Idris compiler itself first.

After thinking on this for a while, there also is very little reason to have a main Maven plugin for all Idris projects, so each package management solution will have its own Maven plugin, as outlined in this design document.