Need at least ns-3.28.

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

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index e490083..b44245a 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -145,7 +145,12 @@ mkdir "$WORKSPACE"/build
 cd "$WORKSPACE"/build
 
 have_NS3="no"
-if [ "$os" = "Debian" ] || [ "$os" = "Ubuntu" ] || [ "$os" = "NixOS" ] ; then
+if [ "$os" = "Debian" ] || [ "$os" = "Ubuntu" ] ; then
+  if dpkg --compare-versions "$(dpkg-query -f '${Version}' -W libns3-dev)" ge 3.28; then
+    have_NS3="yes"
+  fi
+fi
+if [ "$os" = "NixOS" ] ; then
   have_NS3="yes"
 fi
 echo "XX have_NS3: ${have_NS3}"