Changeset 1c6c3e1d in mainline for uspace/meson.build

Timestamp:

2023-10-22T17:55:33Z (17 months ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

ticket/834-toolchain-update

Children:

350ec74

Parents:

315d487 (diff), 133461c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into ticket

File:

• uspace/meson.build (modified) (2 diffs)

uspace/meson.build

@@ -93 +93 @@
         language = 'c'
         installed_data = []
+        platform_specific = false
 
         subdir(appdirs.get('subdir'))
@@ -106 +107 @@
         else
                 #
-                # Servers and applications are installed all or
-                # based on rd_essential in case of barebone build
+                # Servers and applications are installed all (unless
+                # platform-specific) or based on rd_essential in case
+                # of barebone build or platform-specific
                 #
-                install = not CONFIG_BAREBONE or rd_essential.contains(dir)
+                install = (not CONFIG_BAREBONE and not platform_specific) \
+                    or rd_essential.contains(dir)
         endif