From 423755af8d5e08889e3b061bd284812c98ed1451 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 25 Jan 2022 09:18:46 +0100
Subject: [PATCH] jenkins: force SIMGRID_PYTHON_LIBDIR on NixOS

---
 tools/jenkins/build.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 4f2993c0b8..a8a7f7f02d 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -156,6 +156,12 @@ if [ "$os" = "NixOS" ] ; then
 fi
 echo "XX have_NS3: ${have_NS3}"
 
+SIMGRID_PYTHON_LIBDIR=""
+if [ "$os" = "NixOS" ] ; then
+  SIMGRID_PYTHON_LIBDIR="/home/ci/simgrid_install/lib64"
+fi
+echo "XX SIMGRID_PYTHON_LIBDIR: ${SIMGRID_PYTHON_LIBDIR}"
+
 # This is for Windows:
 PATH="$WORKSPACE/build/lib:$PATH"
 
-- 
2.20.1