diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-29 02:00:00 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-29 02:00:17 +0200 |
| commit | 847aa3942b5edea04d56dfb75ad1d88a3e9bb256 (patch) | |
| tree | 9dec4d7743c6e6bc03c55be24112f108251e1525 /gnu/packages | |
| parent | 9769867272b6120de5ff846e48211a51838aaa96 (diff) | |
gnu: micropython: Don't override 'install-license-files.
* gnu/packages/python.scm (micropython)[arguments]: Prefix a new
'chdir-back phase instead of overriding 'install-license-files.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/python.scm | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index 1727024bfe8..ad475d8acc3 100644 --- a/gnu/packages/python.scm +++ b/gnu/packages/python.scm | |||
| @@ -704,13 +704,10 @@ To function properly, this package should not be installed together with the | |||
| 704 | ;; see: https://github.com/micropython/micropython/pull/4246 | 704 | ;; see: https://github.com/micropython/micropython/pull/4246 |
| 705 | (substitute* "Makefile" | 705 | (substitute* "Makefile" |
| 706 | (("-Os") "-Os -ffp-contract=off")))) | 706 | (("-Os") "-Os -ffp-contract=off")))) |
| 707 | (replace 'install-license-files | 707 | (add-before 'install-license-files 'chdir-back |
| 708 | ;; We don't build in the root directory so the file isn't found. | 708 | ;; We don't build in the root directory so the file isn't found. |
| 709 | (lambda* (#:key outputs #:allow-other-keys) | 709 | (lambda _ |
| 710 | (let* ((out (assoc-ref outputs "out")) | 710 | (chdir "../.."))) |
| 711 | (doc (string-append out "/share/doc/" | ||
| 712 | #$name "-" #$version "/"))) | ||
| 713 | (install-file "../../LICENSE" doc)))) | ||
| 714 | (delete 'configure)) ; no configure | 711 | (delete 'configure)) ; no configure |
| 715 | #:make-flags | 712 | #:make-flags |
| 716 | #~(list (string-append "PREFIX=" #$output) | 713 | #~(list (string-append "PREFIX=" #$output) |
