From 63c78f50de3e61130acd076dac3f2f1edef0f591 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodarima@gmail.com>
Date: Mon, 15 Jun 2020 17:19:36 +0200
Subject: [PATCH] Fix OpenMPI and Extrae clash

---
 bsc/openmpi/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bsc/openmpi/default.nix b/bsc/openmpi/default.nix
index 59c8875..1cea9bb 100644
--- a/bsc/openmpi/default.nix
+++ b/bsc/openmpi/default.nix
@@ -105,5 +105,9 @@ in stdenv.mkDerivation rec {
     maintainers = with maintainers; [ markuskowa ];
     license = licenses.bsd3;
     platforms = platforms.unix;
+    # In order to use OpenMPI with Extrae we need to keep the Extrae libraries
+    # rather than the ones from OpenMPI. This happens with libompitrace.so, so
+    # we set to a lower priority (higher value) the OpenMPI package.
+    priority = 10;
   };
 }