tree d620a8d39a718279326bf589029dfa94fcdb2d57
parent 2073dcec575aa9939030b9d0699691d793e2b716
author Davide Pesavento <davidepesa@gmail.com> 1734722530 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1734722530 -0500
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQHsWo96wwW81lnDSnUbicY7trt3pIey1DLMHRDZVKP/MLsYXKFwQnasAOhdKKDeNhw
 xxBiyhD93iGgR61xCLeAA=
 -----END SSH SIGNATURE-----

build: disable WebSocket support with Boost 1.87.0 and later

The WebSocket++ library is incompatible with the recently released
Boost 1.87.0 (and presumably all future versions) and is unlikely
to be fixed any time soon.

Change-Id: Ic81f658a4f89ac3f1d9e61fca9742169f9604cb9