gnu: websocketpp: Add patch for Boost >= 1.70.
authorGuillaume Le Vaillant <glv@posteo.net>
Tue, 3 Dec 2019 17:58:19 +0000 (18:58 +0100)
committerLudovic Courtès <ludo@gnu.org>
Mon, 9 Dec 2019 17:32:04 +0000 (18:32 +0100)
commit4427417bd74c369162aff3ca51b37bc6313a6438
treebeb5f7dd9d8c67f1ff60d5619e2ddfd9bf0f0050
parent054ff198e446ae7b0a0dd183caf69368b8b9f580
gnu: websocketpp: Add patch for Boost >= 1.70.

* gnu/packages/patches/websocket-fix-for-boost-1.70.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/web.scm (websocketpp): Use it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu/local.mk
gnu/packages/patches/websocketpp-fix-for-boost-1.70.patch [new file with mode: 0644]
gnu/packages/web.scm