websocketpp: Update WebSocket++ to version 0.7.0
refs #3588
Change-Id: Ief26695554bf0bfff374ba47496aaf9b75f9c630
diff --git a/.waf-tools/websocket.py b/.waf-tools/websocket.py
index 5ee5d6c..5617ee4 100644
--- a/.waf-tools/websocket.py
+++ b/.waf-tools/websocket.py
@@ -36,8 +36,8 @@
# Looking for the following:
# static int const major_version = 0;
- # static int const minor_version = 5;
- # static int const patch_version = 1;
+ # static int const minor_version = 7;
+ # static int const patch_version = 0;
version = [None, None, None]
@@ -71,7 +71,7 @@
Logs.warn(' git submodule init && git submodule update')
Logs.warn('Otherwise, manually download and extract websocketpp library:')
Logs.warn(' mkdir websocketpp')
- Logs.warn(' curl -L https://github.com/zaphoyd/websocketpp/archive/0.5.1.tar.gz > websocket.tar.gz')
+ Logs.warn(' curl -L https://github.com/zaphoyd/websocketpp/archive/0.7.0.tar.gz > websocket.tar.gz')
Logs.warn(' tar zxf websocket.tar.gz -C websocketpp/ --strip 1')
Logs.warn('Alternatively, WebSocket support can be disabled with --without-websocket')
self.fatal("The configuration failed")