diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-12-11 19:39:01 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-12-11 23:21:55 +0100 |
| commit | f6943db7d39a060742b820e2f2f215b0bdeca690 (patch) | |
| tree | 41e7de560fde0276a2ab627bdd44d5cb7cb2dee8 /.dir-locals.el | |
| parent | eccd2c14d6b42142e85ed517e8cfa81a73b6bd88 (diff) | |
| download | patches-f6943db7d39a060742b820e2f2f215b0bdeca690.tar patches-f6943db7d39a060742b820e2f2f215b0bdeca690.tar.gz | |
gnu: pcre2: Do not build static libraries.
* gnu/packages/pcre.scm (pcre2)[arguments]: Add "--disable-static" to
#:configure-flags.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions