remove targets as submodule, checkout via pio

BossHobby · Jul 7, 2024 · 0c9c5b4 · 0c9c5b4
1 parent 4141545
commit 0c9c5b4
Show file tree

Hide file tree

Showing 5 changed files with 25 additions and 7 deletions.
diff --git a/.gitignore b/.gitignore
@@ -73,4 +73,5 @@ go.mod
 go.sum
 
 /.pio
-__pycache__
+__pycache__
+/targets
diff --git a/.gitmodules b/.gitmodules
diff --git a/platformio.ini b/platformio.ini
@@ -12,7 +12,7 @@
 include_dir = src
 build_cache_dir = .pio/cache
 extra_configs =
-  targets/_index.ini
+  targets/*.ini
 
 
 [common]

diff --git a/script/pre_script.py b/script/pre_script.py
@@ -63,3 +63,25 @@ def rewrite_source(localenv, node):
 
 
 env.AddBuildMiddleware(rewrite_source)
+
+
+def touch(fname, times=None):
+    with open(fname, "a"):
+        os.utime(fname, times)
+
+
+target_remote = "https://github.com/BossHobby/Targets.git"
+target_dir = os.path.join(env["PROJECT_DIR"], "targets")
+
+if not os.path.exists(target_dir):
+    porcelain.clone(target_remote, target=target_dir, branch="targets")
+    touch(os.path.join(env["PROJECT_DIR"], "platformio.ini"))
+else:
+    target_repo = porcelain.open_repo(target_dir)
+    target_ref_before = porcelain.describe(target_repo)
+    porcelain.fetch(target_repo)
+    porcelain.checkout_branch(target_repo, "targets")
+    target_ref_after = porcelain.describe(target_repo)
+
+    if target_ref_before != target_ref_after:
+        touch(os.path.join(env["PROJECT_DIR"], "platformio.ini"))
diff --git a/targets b/targets