Serialization

scripts/download_nlohmann_json.py

@@ -0,0 +1,33 @@
+"""
+
+    Copyright 2018-2026 Emil Dotchevski and Reverge Studios, Inc.
+
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+    This program downloads the nlohmann/json single header distribution.
+
+    Usage:
+
+        python3 download_nlohmann_json.py
+
+"""
+
+import urllib.request
+import os
+
+url = "https://github.com/nlohmann/json/releases/download/v3.11.3/json.hpp"
+output_dir = os.path.join(os.path.dirname(os.path.dirname(os.path.abspath(__file__))), "test", "nlohmann")
+output_file = os.path.join(output_dir, "json.hpp")
+
+def _main():
+    if os.path.exists(output_file):
+        print(f"{output_file} already exists, skipping download")
+        return
+    os.makedirs(output_dir, exist_ok=True)
+    print(f"Downloading {url}...")
+    urllib.request.urlretrieve(url, output_file)
+    print(f"Saved to {output_file}")
+
+if __name__ == "__main__":
+    _main()