commit 0c74c121311e3a271f56e4c177795e5ff4461d88
author Ravago Jones <ravagojones@gmail.com> Sun Jan 08 15:20:19 2023 -0800
committer James Kuszmaul <jabukuszmaul@gmail.com> Fri Jan 13 21:18:57 2023 -0800
tree 28c0c738567f77c18544a951735b17971950ef75
parent 7a7748af28d397ce45cc4df9230e3e8319144ef9

Make websocketpp work better with newer compilers


Change-Id: Idf3c4ae8d447f32bafffe58280898e61224d03d4
Signed-off-by: James Kuszmaul <jabukuszmaul+collab@gmail.com>

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 3ed0f2b..0fd8cbd 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -1192,6 +1192,8 @@
 http_archive(
     name = "com_github_zaphoyd_websocketpp",
     build_file = "//third_party/websocketpp:websocketpp.BUILD",
+    patch_args = ["-p1"],
+    patches = ["//third_party/websocketpp:websocketpp.patch"],
     sha256 = "6ce889d85ecdc2d8fa07408d6787e7352510750daa66b5ad44aacb47bea76755",
     strip_prefix = "websocketpp-0.8.2",
     url = "https://github.com/zaphoyd/websocketpp/archive/refs/tags/0.8.2.tar.gz",