diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-23 22:10:37 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-23 22:12:19 +0100 |
| commit | 94147d672ab217f21e12bb20bd958e3da66a61f5 (patch) | |
| tree | a135cd5206549138fe271db5711ed12a54dc5bae /gnu/packages | |
| parent | 4a74499cd9af6eea1e1d74e46bf0a7a7123d9e3b (diff) | |
gnu: mujs: Omit static library.
* gnu/packages/javascript.scm (mujs)[arguments]: Replace the default
'install phase which would install (only) the static library.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/javascript.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/javascript.scm b/gnu/packages/javascript.scm index 709ca00992..ac9fbfea60 100644 --- a/gnu/packages/javascript.scm +++ b/gnu/packages/javascript.scm @@ -431,7 +431,7 @@ external server.") `(#:phases (modify-phases %standard-phases (delete 'configure) ; no configure script - (add-after 'install 'install-shared-library + (replace 'install (lambda* (#:key (make-flags '()) #:allow-other-keys) (apply invoke "make" "install-shared" make-flags)))) #:make-flags |