jenkins: force SIMGRID_PYTHON_LIBDIR on NixOS

[simgrid.git] / tools / jenkins / build.sh

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 4f2993c..a8a7f7f 100755 (executable)
--- 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"