eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Add build script to refactor branch #28

Closed Z-snails closed 2 years ago

Z-snails commented 2 years ago

This builds sirdi_lib and sirdi_cli run make build-cli to build sirdi-cli

eayus commented 2 years ago

It always feels like there should be a more robust approach to sirdi building itself (when you do not already have sirdi installed), since essentially the build script is just implementing a subset of sirdi specialised to only building a single project (itself).