From c16c45fbf83339f1cd94fbfab0cd4613210a6295 Mon Sep 17 00:00:00 2001
From: dedner <a.s.dedner@warwick.ac.uk>
Date: Fri, 4 Dec 2020 11:18:37 +0000
Subject: [PATCH] add a `duneactivate` script to `bin` that can be used instead
 of `activate` to also set the `LD_LIBRARY_PATH`

[bugfix] used the wrong way to access the path to a sourced script - was working by chance
---
 bin/CMakeLists.txt | 1 +
 bin/duneactivate   | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 bin/duneactivate

diff --git a/bin/CMakeLists.txt b/bin/CMakeLists.txt
index 04ab0d0fd..85e543abd 100644
--- a/bin/CMakeLists.txt
+++ b/bin/CMakeLists.txt
@@ -3,6 +3,7 @@ install(PROGRAMS
   duneproject
   dunecontrol
   dunepackaging.py
+  duneactivate
   dune-git-whitespace-hook
   rmgenerated.py
   setup-dunepy.py
diff --git a/bin/duneactivate b/bin/duneactivate
new file mode 100644
index 000000000..4c4e1506d
--- /dev/null
+++ b/bin/duneactivate
@@ -0,0 +1,3 @@
+envpath=`dirname "${BASH_SOURCE[0]}"`
+source $envpath/activate
+export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$VIRTUAL_ENV/lib
-- 
GitLab