Changeset dc5c303 in mainline for uspace/meson.build

Timestamp:

2023-12-28T13:59:23Z (15 months ago)

Author:

GitHub <noreply@…>

Children:

6b66de6b

Parents:

42c2e65 (diff), f87ff8e (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.

git-author:

boba-buba <120932204+boba-buba@…> (2023-12-28 13:59:23)

git-committer:

GitHub <noreply@…> (2023-12-28 13:59:23)

Message:

Merge branch 'master' into topic/packet-capture

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