search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
105 stars 27 forks source link

[ feature request ] Add a dependency checker script #282

Open GunpowderGuy opened 8 months ago

GunpowderGuy commented 8 months ago

Rather than checking which packages your specific os/ linux distro comes with and having to install the rest, i think it would be ideal if we had the option to run a script before installation that tells us the packages we need

stefan-hoeck commented 8 months ago

This is a good idea and would be a nice thing to have. Contributions welcome.

GunpowderGuy commented 7 months ago

I can think of two ways to go ahead with this feature:

Keep per os/ distro scripts that install all necessary dependencies

Use the same method as the installation utility to check which dependencies have not been installed. How does that get sorted out?

GunpowderGuy commented 4 months ago

@stefan-hoeck how does the pack installer sort which dependencies still havent been installed

stefan-hoeck commented 4 months ago

@stefan-hoeck how does the pack installer sort which dependencies still havent been installed

Do you mean Idris dependencies or OS dependencies?

GunpowderGuy commented 4 months ago

@stefan-hoeck Os dependencies. Maybe i can reuse that system to tell the user what libraries need to be installed before running the pack install script