summaryrefslogtreecommitdiff
path: root/etc/defaults/shell/TARGETS
diff options
context:
space:
mode:
Diffstat (limited to 'etc/defaults/shell/TARGETS')
-rw-r--r--etc/defaults/shell/TARGETS43
1 files changed, 43 insertions, 0 deletions
diff --git a/etc/defaults/shell/TARGETS b/etc/defaults/shell/TARGETS
new file mode 100644
index 0000000..378611c
--- /dev/null
+++ b/etc/defaults/shell/TARGETS
@@ -0,0 +1,43 @@
+{ "defaults":
+ { "type": "configure"
+ , "target": "defaults (unconfigured)"
+ , "arguments_config": ["TOOLCHAIN_CONFIG"]
+ , "config":
+ { "type": "let*"
+ , "bindings":
+ [ [ "shell toolchain"
+ , { "type": "lookup"
+ , "map":
+ { "type": "var"
+ , "name": "TOOLCHAIN_CONFIG"
+ , "default": {"type": "empty_map"}
+ }
+ , "key": "shell"
+ , "default": {"type": "empty_map"}
+ }
+ ]
+ , [ "sh"
+ , { "type": "lookup"
+ , "map": {"type": "var", "name": "shell toolchain"}
+ , "key": "sh"
+ , "default": "/bin/sh"
+ }
+ ]
+ , [ "PATH"
+ , { "type": "lookup"
+ , "map": {"type": "var", "name": "shell toolchain"}
+ , "key": "PATH"
+ , "default": []
+ }
+ ]
+ ]
+ , "body": {"type": "env", "vars": ["sh", "PATH"]}
+ }
+ }
+, "defaults (unconfigured)":
+ { "type": "defaults"
+ , "arguments_config": ["sh", "PATH"]
+ , "sh": [{"type": "var", "name": "sh"}]
+ , "PATH": {"type": "var", "name": "PATH"}
+ }
+}