diff options
| author | Eric Bavier <bavier@member.fsf.org> | 2019-04-11 19:28:45 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@member.fsf.org> | 2019-04-11 19:34:01 -0500 |
| commit | e16bc71015a2cc59f49e27720c0a93bc4188ed81 (patch) | |
| tree | 8175a8ae8e152d938b2d986a2290a54b914739b4 /gnu/local.mk | |
| parent | fb038f32ae7860936b0fa85035a1d020597919d2 (diff) | |
| download | guix-e16bc71015a2cc59f49e27720c0a93bc4188ed81.tar.gz | |
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 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions