search

eayus / sirdi

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

Add support for some library dependencies #26

Closed algebraic-dev closed 2 years ago

algebraic-dev commented 2 years ago

I tried to use C code in a Sirdi package, but it didn't work right, so I just added the IDRIS2_LIBS flag to the idris2 --build command, then the idris compiler will copy all the shared objects inside the project/lib to the build folder. It always search by dependencies inside the lib folder because the compiler does it either.

gallais commented 2 years ago

The extra indentation makes it really hard to see what the actual changes are (don't mind me, I'm just lurking)