version.py can now create WebSocketsVersion.h

Author: Links2004

src/WebSocketsVersion.h

@@ -2,7 +2,7 @@
  * @file WebSocketsVersion.h
  * @date 07.01.2021
  * @author Markus Sattler
- * 
+ *
  * Copyright (c) 2015 Markus Sattler. All rights reserved.
  * This file is part of the WebSockets for Arduino.
  *

travis/version.py

@@ -5,23 +5,72 @@
 import argparse
 import re
 import os
+import datetime
 
 travis_dir = os.path.dirname(os.path.abspath(__file__))
 base_dir = os.path.abspath(travis_dir + "/../")
 
+def write_header_file(version):
+ hvs = version.split('.')
+ intversion = int(hvs[0]) * 1000000 + int(hvs[1]) * 1000 + int(hvs[2])
+ now = datetime.datetime.now()
+
+ text = f'''/**
+ * @file WebSocketsVersion.h
+ * @date {now.strftime("%d.%m.%Y")}
+ * @author Markus Sattler
+ *
+ * Copyright (c) 2015 Markus Sattler. All rights reserved.
+ * This file is part of the WebSockets for Arduino.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2.1 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+ *
+ */
+
+#ifndef WEBSOCKETSVERSION_H_
+#define WEBSOCKETSVERSION_H_
+
+#define WEBSOCKETS_VERSION "{version}"
+
+#define WEBSOCKETS_VERSION_MAJOR {hvs[0]}
+#define WEBSOCKETS_VERSION_MINOR {hvs[1]}
+#define WEBSOCKETS_VERSION_PATCH {hvs[2]}
+
+#define WEBSOCKETS_VERSION_INT {intversion}
+
+#endif /* WEBSOCKETSVERSION_H_ */
+'''
+ with open(f'{base_dir}/src/WebSocketsVersion.h', 'w') as f:
+ f.write(text)
+
+
 def get_library_properties_version():
  library_properties = {}
  with open(f'{base_dir}/library.properties', 'r') as f:
  library_properties = configparser.ConfigParser()
  library_properties.read_string('[root]\n' + f.read())
  return library_properties['root']['version']
 
+
 def get_library_json_version():
  library_json = {}
  with open(f'{base_dir}/library.json', 'r') as f:
  library_json = json.load(f)
  return library_json['version']
 
+
 def get_header_versions():
  data = {}
  define = re.compile('^#define WEBSOCKETS_VERSION_?(.*) "?([0-9\.]*)"?$')
@@ -31,8 +80,8 @@ def get_header_versions():
  if m:
  name = m[1]
  if name == "":
- name = "VERSION" 
- data[name] = m[2] 
+ name = "VERSION"
+ data[name] = m[2]
  return data
 
 
@@ -46,7 +95,7 @@ def get_header_versions():
 
 if args.update:
  library_properties_version = get_library_properties_version()
- 
+
  with open(f'{base_dir}/library.json', 'r') as f:
  library_json = json.load(f)
 
@@ -55,6 +104,8 @@ def get_header_versions():
  with open(f'{base_dir}/library.json', 'w') as f:
  json.dump(library_json, f, indent=4, sort_keys=True)
 
+ write_header_file(library_properties_version)
+
 
 library_json_version = get_library_json_version()
 library_properties_version = get_library_properties_version()
@@ -76,6 +127,6 @@ def get_header_versions():
  if header_version['PATCH'] != hvs[2]:
  raise Exception('header PATCH version wrong!')
 
- intversion =  int(hvs[0]) * 1000000 + int(hvs[1]) * 1000 + int(hvs[2])
+ intversion = int(hvs[0]) * 1000000 + int(hvs[1]) * 1000 + int(hvs[2])
  if int(header_version['INT']) != intversion:
- raise Exception('header INT version wrong!')
+ raise Exception('header INT version wrong!')