diff options
| author | Eric Bavier | 2019-04-11 19:28:45 -0500 |
|---|---|---|
| committer | Eric Bavier | 2019-04-11 19:34:01 -0500 |
| commit | e16bc71015a2cc59f49e27720c0a93bc4188ed81 (patch) | |
| tree | 8175a8ae8e152d938b2d986a2290a54b914739b4 /etc | |
| parent | fb038f32ae7860936b0fa85035a1d020597919d2 (diff) | |
gnu: idris: Enable FFI and GMP support.
* gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi.
[arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions