From cf038b27886fc8a88025368b821ca48d01d7e28d Mon Sep 17 00:00:00 2001
From: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Date: Tue, 7 Jan 2025 11:06:00 +0100
Subject: [PATCH] [Build] Fix gdextension file after dropping 4.0

Renaming the godot version to "4" resulted in the GDExtension file
incorrectly setting "compatibility_minimum = 4" (instead of "4.1")
---
 SConstruct              | 6 +-----
 misc/webrtc.gdextension | 2 +-
 2 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/SConstruct b/SConstruct
index ac5de14..8be57d1 100644
--- a/SConstruct
+++ b/SConstruct
@@ -241,10 +241,6 @@ if env["godot_version"] == "3":
         },
     )
 else:
-    extfile = env.Substfile(
-        os.path.join(result_path, "webrtc.gdextension"),
-        "misc/webrtc.gdextension",
-        SUBST_DICT={"{GODOT_VERSION}": env["godot_version"]},
-    )
+    extfile = env.InstallAs(os.path.join(result_path, "webrtc.gdextension"), "misc/webrtc.gdextension")
 
 Default(extfile)
diff --git a/misc/webrtc.gdextension b/misc/webrtc.gdextension
index 9cb89c1..a112463 100644
--- a/misc/webrtc.gdextension
+++ b/misc/webrtc.gdextension
@@ -1,7 +1,7 @@
 [configuration]
 
 entry_symbol = "webrtc_extension_init"
-compatibility_minimum = {GODOT_VERSION}
+compatibility_minimum = 4.1
 
 [libraries]