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 /Makefile.am | |
parent | d788fcd3ba2a780393765013451fcace9bb10800 (diff) | |
download | guix-patches-7f1c32f0e6f4590e435406760abc088938e9b0a9.tar guix-patches-7f1c32f0e6f4590e435406760abc088938e9b0a9.tar.gz |
gnu: gmp: build shared library for mingw.
* gnu/packages/multiprecision.scm (gmp)[MINGW]: Use --enable-shared.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions