diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-10-03 23:52:39 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-10-04 13:31:35 +0200 |
commit | a47ce1e0e7d4c5aa3f954cb97f0c4cbb5a6039e2 (patch) | |
tree | 58e5cf0a83c1dfd815a54e41ea6155d30d5b36e5 | |
parent | b4d02219da9c9d758db3d5ec83f45ad0c5b700ff (diff) |
gnu: criu: Delete static libraries.
* gnu/packages/virtualization.scm (criu)[arguments]:
Add a new 'delete-static-libraries phase.
-rw-r--r-- | gnu/packages/virtualization.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index ca922ef410..5626eaab86 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -1623,7 +1623,12 @@ domains, their live performance and resource utilization statistics.") "/site-packages:" (getenv "PYTHONPATH")))) (wrap-program (string-append out "/bin/crit") - `("PYTHONPATH" ":" prefix (,path))))))))) + `("PYTHONPATH" ":" prefix (,path)))))) + (add-after 'install 'delete-static-libraries + ;; Not building/installing these at all doesn't seem to be supported. + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (for-each delete-file (find-files out "\\.a$")))))))) (inputs `(("protobuf" ,protobuf) ("python" ,python-2) |