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/javascript.scm | |
| 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/javascript.scm')
| -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 709ca009929..ac9fbfea60d 100644 --- a/gnu/packages/javascript.scm +++ b/gnu/packages/javascript.scm | |||
| @@ -431,7 +431,7 @@ external server.") | |||
| 431 | `(#:phases | 431 | `(#:phases |
| 432 | (modify-phases %standard-phases | 432 | (modify-phases %standard-phases |
| 433 | (delete 'configure) ; no configure script | 433 | (delete 'configure) ; no configure script |
| 434 | (add-after 'install 'install-shared-library | 434 | (replace 'install |
| 435 | (lambda* (#:key (make-flags '()) #:allow-other-keys) | 435 | (lambda* (#:key (make-flags '()) #:allow-other-keys) |
| 436 | (apply invoke "make" "install-shared" make-flags)))) | 436 | (apply invoke "make" "install-shared" make-flags)))) |
| 437 | #:make-flags | 437 | #:make-flags |