summaryrefslogtreecommitdiff
path: root/TARGETS
diff options
context:
space:
mode:
Diffstat (limited to 'TARGETS')
-rw-r--r--TARGETS34
1 files changed, 34 insertions, 0 deletions
diff --git a/TARGETS b/TARGETS
new file mode 100644
index 0000000..cedee1e
--- /dev/null
+++ b/TARGETS
@@ -0,0 +1,34 @@
+{ "": {"type": "install", "dirs": [["just", "."], ["just-mr", "."]]}
+, "just":
+ { "type": "export"
+ , "target": "config"
+ , "flexible_config": ["OS", "ARCH", "TARGET_ARCH", "TOOLCHAIN_CONFIG", "ENV"]
+ , "fixed_config": {"CONFIG_TARGET": ["@", "just", "", "installed just"]}
+ }
+, "just-mr":
+ { "type": "export"
+ , "target": "config"
+ , "flexible_config": ["OS", "ARCH", "TARGET_ARCH", "TOOLCHAIN_CONFIG", "ENV"]
+ , "fixed_config": {"CONFIG_TARGET": ["@", "just", "", "installed just-mr"]}
+ }
+, "config":
+ { "type": "configure"
+ , "arguments_config": ["CONFIG_TARGET", "TOOLCHAIN_CONFIG"]
+ , "target": {"type": "var", "name": "CONFIG_TARGET"}
+ , "config":
+ { "type": "singleton_map"
+ , "key": "TOOLCHAIN_CONFIG"
+ , "value":
+ { "type": "map_union"
+ , "$1":
+ [ {"type": "singleton_map", "key": "FAMILY", "value": "gnu"}
+ , {"type": "singleton_map", "key": "STATIC_RUNLIBS", "value": true}
+ , { "type": "var"
+ , "name": "TOOLCHAIN_CONFIG"
+ , "default": {"type": "empty_map"}
+ }
+ ]
+ }
+ }
+ }
+}