search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.44k stars 644 forks source link

install rts/libidris_rts.a in libdir not datadir #4495

Open juhp opened 6 years ago

juhp commented 6 years ago

(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?)

jfdm commented 6 years ago

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 commented 6 years ago

To answer my own question it seems .ibc files are arch independent (okay I only checked x86_64 vs i686).