File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -77,7 +77,7 @@ elif [[ "$platform" == 'linux' ]]; then
7777 libqt6svg6-dev libqt6svg6* ninja-build lcov gcovr python3-sphinx \
7878 doxygen python3-sphinx-rtd-theme python3-jedi python3-pip \
7979 pybind11-dev python3-pybind11 rapidjson-dev libspdlog-dev libz3-dev z3 \
80- libreadline-dev apport python3-dateutil libgraphviz-dev \
80+ libreadline-dev apport python3-dateutil libgraphviz-dev libxcb-xkb-dev \
8181 $additional_deps \
8282 graphviz libomp-dev libsuitesparse-dev # For documentation
8383 elif [[ " $distribution " == " Arch" ]]; then
@@ -115,6 +115,6 @@ elif [[ "$platform" == 'docker' ]]; then
115115 libqt6svg6-dev libqt6svg6* ninja-build lcov gcovr python3-sphinx \
116116 doxygen python3-sphinx-rtd-theme python3-jedi python3-pip \
117117 pybind11-dev python3-pybind11 python3-dateutil rapidjson-dev \
118- libspdlog-dev libz3-dev libreadline-dev \
118+ libspdlog-dev libz3-dev libreadline-dev libxcb-xkb-dev \
119119 graphviz libomp-dev libsuitesparse-dev # For documentation
120120fi
You can’t perform that action at this time.
0 commit comments