tool/run: introduce 'have_recipe'-proc

This procedure is useful for run scripts that depend for example on a board support package that is provided only for certain boards, possibly by a third-party repo. Issue genodelabs#5432
rite · Feb 11, 2025 · aa4a74f · aa4a74f
1 parent 5076554
commit aa4a74f
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tool/run/run b/tool/run/run
@@ -955,6 +955,14 @@ proc have_include { name } {
 	return false
 }
 
+##
+# Check if a specific depot recipe is available
+#
+proc have_recipe { name } {
+	set hash_rel_path "recipes/$name/hash"
+	return [expr {[repository_contains $hash_rel_path] != ""}]
+}
+
 
 ##
 # Override the exit procedure