cd "$WORKSPACE"/build
have_NS3="no"
-if [ "$os" = "Debian" ] || [ "$os" = "Ubuntu" ] ; then
+if [ "$os" = "Debian" ] ; then
if dpkg --compare-versions "$(dpkg-query -f '${Version}' -W libns3-dev)" ge 3.28; then
have_NS3="yes"
fi
fi
+if [ "$os" = "Ubuntu" ] ; then
+ if dpkg --compare-versions "$(dpkg-query -f '${Version}' -W libns3-dev)" ge 3.36; then
+ have_NS3="yes"
+ fi
+fi
if [ "$os" = "nixos" ] ; then
have_NS3="yes"
fi
else
MAY_DISABLE_LTO=
fi
- if [ "$(rpm -q eigen3-devel --qf '%{VERSION}')" = "3.3.4" ]; then
- echo "Temporary avoid build error seen with eigen3 version 3.3.4"
- export CXXFLAGS=-Wno-error=int-in-bool-context
- fi
fi
cmake -G"$GENERATOR" ${INSTALL:+-DCMAKE_INSTALL_PREFIX=$INSTALL} \