summaryrefslogtreecommitdiff
path: root/CC/foreign/make
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-06 10:50:12 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-06 14:37:16 +0100
commit5803ce704eb9cf9c30235e82856ed738486256e1 (patch)
tree458f50d00903264aacec508d17ccb100b5e2e812 /CC/foreign/make
parentb6d8aaa44ad3e508ee71613e0bb5a6d1b33f441a (diff)
downloadrules-cc-5803ce704eb9cf9c30235e82856ed738486256e1.tar.gz
Prefer built-in "nub_left"
Now that justbuild 1.4 is available, the workaround of defining "nub_left" in terms of "reverse" and "nub_right" is no longer necessary.
Diffstat (limited to 'CC/foreign/make')
-rw-r--r--CC/foreign/make/EXPRESSIONS19
1 files changed, 7 insertions, 12 deletions
diff --git a/CC/foreign/make/EXPRESSIONS b/CC/foreign/make/EXPRESSIONS
index 1707104..68aa728 100644
--- a/CC/foreign/make/EXPRESSIONS
+++ b/CC/foreign/make/EXPRESSIONS
@@ -30,7 +30,6 @@
]
, "imports":
{ "artifacts": ["", "field_artifacts"]
- , "nub_left": ["", "nub_left"]
, "flags-cc": ["CC", "flags-cc"]
, "flags-cxx": ["CC", "flags-cxx"]
, "compiler-cc": ["CC", "compiler-cc"]
@@ -205,18 +204,14 @@
, { "type": "join"
, "separator": ":"
, "$1":
- { "type": "let*"
- , "bindings":
- [ [ "list"
- , { "type": "++"
- , "$1":
- [ {"type": "CALL_EXPRESSION", "name": "foreign-PATH"}
- , {"type": "CALL_EXPRESSION", "name": "default-PATH"}
- ]
- }
+ { "type": "nub_left"
+ , "$1":
+ { "type": "++"
+ , "$1":
+ [ {"type": "CALL_EXPRESSION", "name": "foreign-PATH"}
+ , {"type": "CALL_EXPRESSION", "name": "default-PATH"}
]
- ]
- , "body": {"type": "CALL_EXPRESSION", "name": "nub_left"}
+ }
}
}
]