You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
i suppose we should reevaluate, at somepoint, how Idris handles and stores: packages; rts; codegens; and documentation. Not to mention how we use environment variables and options.
juhp
changed the title
Are .ibc files arch independent?: datadir vs libdir
install rts/libidris_rts.a in libdir not datadir
Jun 29, 2018
(edit: rewritten to focus on libidris_rts.a)
Idris should install libidris_rts.a in libdir not datadir.
(I realised that .ibc files seem to be zip-archives. Are they arch (endian) independent?)
The text was updated successfully, but these errors were encountered: