diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2016-04-12 15:48:28 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-07 10:23:17 +0100 |
| commit | 7f1c32f0e6f4590e435406760abc088938e9b0a9 (patch) | |
| tree | ba1660ca17723bb5129cd47bb3959b1aa22a485e /THANKS | |
| parent | d788fcd3ba2a780393765013451fcace9bb10800 (diff) | |
| download | guix-7f1c32f0e6f4590e435406760abc088938e9b0a9.tar.gz | |
gnu: gmp: build shared library for mingw.
* gnu/packages/multiprecision.scm (gmp)[MINGW]: Use --enable-shared.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions