Davide Pesavento | 67f3027 | 2016-08-10 01:55:16 +0000 | [diff] [blame] | 1 | from waflib import Options, Logs, Errors, Configure |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 2 | import re |
| 3 | |
| 4 | def addWebsocketOptions(self, opt): |
| 5 | opt.add_option('--without-websocket', action='store_false', default=True, |
Davide Pesavento | 67f3027 | 2016-08-10 01:55:16 +0000 | [diff] [blame] | 6 | dest='with_websocket', help='Disable WebSocket face support') |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 7 | |
| 8 | setattr(Options.OptionsContext, 'addWebsocketOptions', addWebsocketOptions) |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 9 | |
Davide Pesavento | 67f3027 | 2016-08-10 01:55:16 +0000 | [diff] [blame] | 10 | @Configure.conf |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 11 | def checkWebsocket(self, **kw): |
| 12 | if not self.options.with_websocket: |
| 13 | return |
| 14 | |
| 15 | isMandatory = kw.get('mandatory', True) |
| 16 | |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 17 | self.start_msg('Checking for WebSocket++ includes') |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 18 | |
| 19 | try: |
| 20 | websocketDir = self.path.find_dir('websocketpp/websocketpp') |
| 21 | if not websocketDir: |
| 22 | raise Errors.WafError('Not found') |
| 23 | |
| 24 | versionFile = websocketDir.find_node('version.hpp') |
| 25 | if not websocketDir: |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 26 | raise Errors.WafError('WebSocket++ version file not found') |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 27 | |
| 28 | try: |
| 29 | txt = versionFile.read() |
| 30 | except (OSError, IOError): |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 31 | raise Errors.WafError('Cannot read WebSocket++ version file') |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 32 | |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 33 | version = [None, None, None] |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 34 | # Looking for the following: |
| 35 | # static int const major_version = 0; |
Eric Newberry | 25a8407 | 2016-06-20 18:38:15 -0700 | [diff] [blame] | 36 | # static int const minor_version = 7; |
| 37 | # static int const patch_version = 0; |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 38 | majorVersion = re.compile('^static int const major_version = (\\d+);$', re.M) |
| 39 | version[0] = majorVersion.search(txt) |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 40 | minorVersion = re.compile('^static int const minor_version = (\\d+);$', re.M) |
| 41 | version[1] = minorVersion.search(txt) |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 42 | patchVersion = re.compile('^static int const patch_version = (\\d+);$', re.M) |
| 43 | version[2] = patchVersion.search(txt) |
| 44 | |
| 45 | if not version[0] or not version[1] or not version[2]: |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 46 | raise Errors.WafError('Cannot detect WebSocket++ version') |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 47 | |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 48 | self.env.WEBSOCKET_VERSION = [i.group(1) for i in version] |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 49 | |
| 50 | # todo: version checking, if necessary |
| 51 | |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 52 | self.end_msg('.'.join(self.env.WEBSOCKET_VERSION)) |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 53 | |
Davide Pesavento | 264af77 | 2021-02-09 21:48:24 -0500 | [diff] [blame] | 54 | self.env.append_unique('DEFINES', ['_WEBSOCKETPP_CPP11_STL_']) |
Davide Pesavento | 0064c1d | 2018-03-03 18:43:53 -0500 | [diff] [blame] | 55 | self.env.INCLUDES_WEBSOCKET = websocketDir.parent.abspath() |
| 56 | self.env.HAVE_WEBSOCKET = True |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 57 | self.define('HAVE_WEBSOCKET', 1) |
| 58 | |
| 59 | except Errors.WafError as error: |
| 60 | if isMandatory: |
| 61 | self.end_msg(str(error), color='RED') |
Davide Pesavento | 9be9980 | 2018-11-10 14:40:26 -0500 | [diff] [blame] | 62 | Logs.warn('If you are using NFD from the git repository, checkout the websocketpp submodule: ') |
Davide Pesavento | 5f35f64 | 2018-05-10 19:36:03 -0400 | [diff] [blame] | 63 | Logs.warn(' git submodule update --init') |
Davide Pesavento | 9be9980 | 2018-11-10 14:40:26 -0500 | [diff] [blame] | 64 | Logs.warn('Otherwise, manually download and extract the websocketpp library:') |
| 65 | Logs.warn(' mkdir -p websocketpp') |
Alexander Afanasyev | a6bd7da | 2019-04-25 17:26:11 -0400 | [diff] [blame] | 66 | Logs.warn(' curl -L https://github.com/cawka/websocketpp/archive/0.8.1-hotfix.tar.gz > websocketpp.tar.gz') |
Davide Pesavento | 9be9980 | 2018-11-10 14:40:26 -0500 | [diff] [blame] | 67 | Logs.warn(' tar xf websocketpp.tar.gz -C websocketpp/ --strip 1') |
Alexander Afanasyev | 2fdbe86 | 2014-07-25 12:14:49 -0700 | [diff] [blame] | 68 | Logs.warn('Alternatively, WebSocket support can be disabled with --without-websocket') |
Davide Pesavento | 9be9980 | 2018-11-10 14:40:26 -0500 | [diff] [blame] | 69 | self.fatal('WebSocket++ not found') |
Wentao Shang | 53df163 | 2014-04-21 12:01:32 -0700 | [diff] [blame] | 70 | else: |
| 71 | self.end_msg(str(error)) |