diff options
| author | Maurice Brémond <Maurice.Bremond@inria.fr> | 2019-10-14 17:44:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-14 18:25:31 +0200 |
| commit | 06e1239502e7cc91f62161f8bab35bbe0119f2e5 (patch) | |
| tree | 0f41a73cbd777b822e989b5f7bbb553ffeade417 /gnu/local.mk | |
| parent | 5dbc79eb60f4d72953e11f3a7558ef3037b8bdb6 (diff) | |
| download | patches-06e1239502e7cc91f62161f8bab35bbe0119f2e5.tar patches-06e1239502e7cc91f62161f8bab35bbe0119f2e5.tar.gz | |
gnu: mumps: Build and install shared libraries.
* gnu/packages/patches/mumps-shared-libseq.patch,
gnu/packages/patches/mumps-shared-mumps.patch,
gnu/packages/patches/mumps-shared-pord.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mumps)[source](patches): Add them.
[arguments]: In 'configure' phase, adjust "Makefile.inc" for shared
library support. In 'install' phase, install libmpiseq.so when it
exists.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 3caaec4046..6ec1bbf2e4 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1132,6 +1132,9 @@ dist_patch_DATA = \ %D%/packages/patches/mtools-mformat-uninitialized.patch \ %D%/packages/patches/mumble-1.2.19-abs.patch \ %D%/packages/patches/mumps-build-parallelism.patch \ + %D%/packages/patches/mumps-shared-libseq.patch \ + %D%/packages/patches/mumps-shared-mumps.patch \ + %D%/packages/patches/mumps-shared-pord.patch \ %D%/packages/patches/mupen64plus-ui-console-notice.patch \ %D%/packages/patches/mupen64plus-video-z64-glew-correct-path.patch \ %D%/packages/patches/mutt-store-references.patch \ |