From a56afaa19e394aec99be2f98453b967c6d35aae2 Mon Sep 17 00:00:00 2001 From: Markus Kowalewski Date: Sun, 8 Oct 2023 21:23:22 +0200 Subject: [PATCH] openmpi: delete all libtool .la files Clear all *.la from lib to reduce the number file in output. These libtool files are not needed. --- pkgs/development/libraries/openmpi/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/libraries/openmpi/default.nix b/pkgs/development/libraries/openmpi/default.nix index 1f15bfb360a7..d843e1e462f7 100644 --- a/pkgs/development/libraries/openmpi/default.nix +++ b/pkgs/development/libraries/openmpi/default.nix @@ -74,7 +74,7 @@ in stdenv.mkDerivation rec { enableParallelBuilding = true; postInstall = '' - rm -f $out/lib/*.la + find $out/lib/ -name "*.la" -exec rm -f \{} \; ''; postFixup = ''