diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-04-14 21:03:31 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-04-15 18:51:00 +0200 |
| commit | f91c677c03479c26a9c9ee5f2f44d8dc77bec262 (patch) | |
| tree | 19b1596c0cc0d81c089a8155775aedfe88a0ca6a /gnu/local.mk | |
| parent | bf144793aeb744fdc5bdfa98db776038ba0ea6c7 (diff) | |
| download | guix-f91c677c03479c26a9c9ee5f2f44d8dc77bec262.tar guix-f91c677c03479c26a9c9ee5f2f44d8dc77bec262.tar.gz | |
gnu: rocksdb: Don't build static library.
* gnu/packages/databases.scm (rocksdb)[arguments]<#:phases>: Add new Makefile
substitution. Remove 'delete-static-library' phase. Adjust
'build-release-libraries' phase to match.
<#:make-flags>: Remove redundant flag.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions