From 87f7d5a5357b0aae0eca30ceb08e4ecef62a0d9f Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Fri, 22 Sep 2023 05:33:52 +0000 Subject: [PATCH 1/2] nix: Remove attributes from elaborateMeta Signed-off-by: Nick Spinale --- .../nix/cargo-manifest-generation-utils/default.nix | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/hacking/nix/cargo-manifest-generation-utils/default.nix b/hacking/nix/cargo-manifest-generation-utils/default.nix index 002470aeb..9c524867e 100644 --- a/hacking/nix/cargo-manifest-generation-utils/default.nix +++ b/hacking/nix/cargo-manifest-generation-utils/default.nix @@ -70,17 +70,11 @@ rec { meta = elaborateMeta meta; }; + # TODO elaborateMeta = - { labels ? {} - , requirements ? {} - , skip ? false + { }: { - inherit - labels - requirements - skip - ; }; in From 8b36d2536f6b0c2ccbec2880cc6d99500635cfd8 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Fri, 22 Sep 2023 05:35:47 +0000 Subject: [PATCH 2/2] nix: Remove unused nix.meta attributes from crates Signed-off-by: Nick Spinale --- .../crates/examples/microkit/banscii/pds/artist/crate.nix | 3 --- .../microkit/banscii/pds/artist/interface-types/crate.nix | 3 --- .../examples/microkit/banscii/pds/assistant/core/crate.nix | 1 - .../microkit/banscii/pds/assistant/core/test/crate.nix | 3 --- .../crates/examples/microkit/banscii/pds/assistant/crate.nix | 3 --- .../examples/microkit/banscii/pds/pl011-driver/crate.nix | 3 --- .../banscii/pds/pl011-driver/interface-types/crate.nix | 3 --- .../crates/examples/microkit/hello/pds/hello/crate.nix | 3 --- .../crates/examples/microkit/http-server/pds/server/crate.nix | 2 -- .../examples/microkit/http-server/pds/sp804-driver/crate.nix | 2 -- .../root-task/example-root-task-without-runtime/crate.nix | 2 -- .../crates/examples/root-task/example-root-task/crate.nix | 2 -- .../crates/examples/root-task/hello/crate.nix | 2 -- hacking/cargo-manifest-sources/crates/private/meta/crate.nix | 1 - .../crates/private/support/cargo-helpers/crate.nix | 2 -- .../crates/private/support/sel4-simple-task/rpc/crate.nix | 1 - .../support/sel4-simple-task/runtime/config/cli/crate.nix | 2 -- .../crates/private/support/sel4-simple-task/runtime/crate.nix | 1 - .../private/support/sel4-simple-task/runtime/macros/crate.nix | 1 - .../private/support/sel4-simple-task/threading/crate.nix | 1 - .../private/tests/capdl/threads/components/test/crate.nix | 2 -- .../private/tests/capdl/utcover/components/test/crate.nix | 2 -- .../passive-server-with-deferred-action/pds/client/crate.nix | 3 --- .../passive-server-with-deferred-action/pds/server/crate.nix | 3 --- .../crates/private/tests/root-task/backtrace/crate.nix | 2 -- .../crates/private/tests/root-task/c/crate.nix | 3 --- .../crates/private/tests/root-task/config/crate.nix | 2 -- .../crates/private/tests/root-task/core-libs/crate.nix | 2 -- .../crates/private/tests/root-task/loader/crate.nix | 2 -- .../crates/private/tests/root-task/mbedtls/crate.nix | 2 -- .../crates/private/tests/root-task/panicking/crate.nix | 2 -- .../crates/private/tests/root-task/tls/crate.nix | 2 -- .../crates/sel4-async/network/mbedtls/crate.nix | 2 -- .../cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix | 2 -- hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix | 1 - .../crates/sel4-backtrace/embedded-debug-info/cli/crate.nix | 2 -- .../crates/sel4-backtrace/embedded-debug-info/crate.nix | 1 - .../crates/sel4-backtrace/simple/crate.nix | 1 - .../crates/sel4-capdl-initializer/add-spec/crate.nix | 2 -- .../crates/sel4-capdl-initializer/core/crate.nix | 1 - .../crates/sel4-capdl-initializer/crate.nix | 2 -- .../crates/sel4-capdl-initializer/embed-spec/crate.nix | 1 - .../crates/sel4-capdl-initializer/types/derive/crate.nix | 1 - .../with-embedded-spec/build-env/crate.nix | 1 - .../crates/sel4-capdl-initializer/with-embedded-spec/crate.nix | 2 -- .../with-embedded-spec/embedded-spec/crate.nix | 1 - .../with-embedded-spec/embedded-spec/validate/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix | 1 - .../crates/sel4-externally-shared/crate.nix | 1 - .../crates/sel4-generate-target-specs/crate.nix | 3 --- .../crates/sel4-immediate-sync-once-cell/crate.nix | 1 - .../crates/sel4-kernel-loader/add-payload/crate.nix | 2 -- .../cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix | 2 -- .../crates/sel4-kernel-loader/embed-page-tables/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix | 2 -- .../crates/sel4-microkit/macros/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix | 1 - .../cargo-manifest-sources/crates/sel4-panicking/env/crate.nix | 1 - .../cargo-manifest-sources/crates/sel4-platform-info/crate.nix | 1 - .../crates/sel4-render-elf-with-data/crate.nix | 2 -- hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix | 1 - .../crates/sel4-root-task/macros/crate.nix | 1 - .../crates/sel4-runtime-common/crate.nix | 1 - .../crates/sel4-rustfmt-helper/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix | 1 - .../crates/sel4/bitfield-parser/crate.nix | 1 - .../crates/sel4/bitfield-parser/test/crate.nix | 2 -- .../crates/sel4/bitfield-types/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4/config/crate.nix | 1 - .../cargo-manifest-sources/crates/sel4/config/data/crate.nix | 1 - .../crates/sel4/config/generic/macro-impls/crate.nix | 1 - .../cargo-manifest-sources/crates/sel4/config/macros/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4/crate.nix | 1 - hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix | 1 - .../cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix | 2 -- 78 files changed, 128 deletions(-) diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix index e909aea9b..bf259e689 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix @@ -16,7 +16,4 @@ mk { sel4-externally-shared banscii-artist-interface-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix index 3b35343a2..94694bb18 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix @@ -8,7 +8,4 @@ mk { nix.local.dependencies = with localCrates; [ # sel4-microkit-message ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix index 2cfd50dbd..07e21ef36 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix @@ -7,5 +7,4 @@ mk { libm = { version = "0.2.1"; default-features = false; }; inherit (versions) log; }; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix index e5a017208..1f5679196 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix @@ -9,7 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ banscii-assistant-core ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix index 4585ed090..1b4a6b430 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix @@ -15,7 +15,4 @@ mk { hex = { version = "0.4.3"; default-features = false; features = [ "alloc" ]; }; sel4-externally-shared.features = [ "unstable" "alloc" ]; }; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix index 893fd7c12..3c07a3d45 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix @@ -12,7 +12,4 @@ mk { banscii-pl011-driver-core banscii-pl011-driver-interface-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix index 8318f23e1..84c9a50b8 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix @@ -8,7 +8,4 @@ mk { nix.local.dependencies = with localCrates; [ # sel4-microkit-message ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix index c1b5bcf2e..2d667b2c7 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix @@ -5,7 +5,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-microkit ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix index 2eabc58e8..16e02e8a7 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix @@ -59,6 +59,4 @@ mk { microkit-http-server-example-sp804-driver-interface-types microkit-http-server-example-virtio-net-driver-interface-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix index 24df04d38..7df42928e 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix @@ -11,6 +11,4 @@ mk { microkit-http-server-example-sp804-driver-core microkit-http-server-example-sp804-driver-interface-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix index 614bcbd4e..c3ceb7498 100644 --- a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix @@ -9,6 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4 ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix index a9c4ec151..eb731c145 100644 --- a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix @@ -6,6 +6,4 @@ mk { sel4 sel4-root-task ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix index d82f93177..7e2a2f0e4 100644 --- a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix @@ -6,6 +6,4 @@ mk { sel4 sel4-root-task ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix index 92c7a65d3..0e1743d01 100644 --- a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix @@ -60,5 +60,4 @@ mk { "sel4-microkit-message-types" ]; }; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix index 85725c053..bf54cb022 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix @@ -7,6 +7,4 @@ mk { cargo = "0.70.1"; clap = "3.2.23"; }; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix index 6636a7a22..486fac9a1 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix @@ -15,5 +15,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4 ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix index 92cfe0e1a..58b15c06b 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix @@ -9,6 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-simple-task-runtime-config-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix index ab8b2b93f..5ed7eec9c 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix @@ -39,5 +39,4 @@ mk { sel4-simple-task-threading sel4-sync ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix index 4ed7f1cd0..d9503c6f3 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix @@ -7,5 +7,4 @@ mk { inherit (versions) proc-macro2 quote; syn = { version = versions.syn; features = [ "full" ]; }; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix index 311604c50..073dd5a09 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix @@ -9,5 +9,4 @@ mk { features = { alloc = []; }; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix index bb0a82e08..2a9834681 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix @@ -11,6 +11,4 @@ mk { sel4-simple-task-runtime sel4-simple-task-config-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix index 437c8a920..3b218483a 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix @@ -11,6 +11,4 @@ mk { dependencies = { serde = serdeWith [ "alloc" "derive" ]; }; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix index ca63d4dc3..191630d2d 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix @@ -5,7 +5,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-microkit ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix index 81ab7144d..d8a1bba1f 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix @@ -5,7 +5,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-microkit ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix index 8b96430aa..85795ec25 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix @@ -16,6 +16,4 @@ mk { sel4-backtrace-embedded-debug-info sel4-root-task ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix index d7fc9a35d..06fb2761e 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix @@ -12,7 +12,4 @@ mk { sel4-async-network-mbedtls sel4-newlib ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix index aead170d4..d92d0d7dd 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix @@ -6,6 +6,4 @@ mk { sel4 sel4-root-task ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix index 993fd8195..f80dee9aa 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix @@ -8,6 +8,4 @@ mk { sel4-config sel4 ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix index a88573ff9..62bda97f8 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix @@ -10,6 +10,4 @@ mk { sel4-root-task sel4-platform-info ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix index 8f074f6af..08e1ac3a9 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix @@ -28,6 +28,4 @@ mk { ]; }; }; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix index 3d6340bff..f99ebbc17 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix @@ -14,6 +14,4 @@ mk { sel4 sel4-root-task ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix index c4d8fbafb..065c394cc 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix @@ -6,6 +6,4 @@ mk { sel4 sel4-root-task ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix index 741af7a60..058a4d6a1 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix @@ -25,6 +25,4 @@ mk { sel4-async-network-mbedtls-mozilla-ca-list # mbedtls ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix index c07616e43..0bd493ae1 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix @@ -12,6 +12,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-backtrace-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix index 272856963..5ca4f5dda 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix @@ -29,5 +29,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-backtrace-types ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix index da3d9a740..4f937c9b7 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix @@ -9,6 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-render-elf-with-data ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix index 3f1fe7bc3..014baf1cb 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix @@ -9,5 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-backtrace-addr2line-context-helper ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix index af795fef6..c5424801e 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix @@ -14,5 +14,4 @@ mk { sel4-backtrace sel4-panicking-env ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix index 36b00a525..be7b7804d 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix @@ -18,6 +18,4 @@ mk { sel4-capdl-initializer-types sel4-render-elf-with-data ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix index 1fcc33644..28a4897d0 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix @@ -10,5 +10,4 @@ mk { sel4-capdl-initializer-types.features = [ "sel4" ]; inherit (versions) log; }; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix index 678a2e54c..05a86e210 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix @@ -22,6 +22,4 @@ mk { sel4-root-task sel4-sync ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" "capdl-spec" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix index a5ffdee91..5dc26354f 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix @@ -16,5 +16,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-capdl-initializer-types ]; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix index 6e62686df..b89b26069 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix @@ -11,5 +11,4 @@ mk { synstructure ; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix index f0cb32987..6f2b7362b 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix @@ -10,5 +10,4 @@ mk { sel4-capdl-initializer-types.features = [ "std" "serde" ]; inherit (versions) serde serde_json; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix index e4b6fff00..af7abc5d7 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix @@ -22,6 +22,4 @@ mk { nix.local.build-dependencies = with localCrates; [ sel4-capdl-initializer-with-embedded-spec-embedded-spec-validate ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" "capdl-spec" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix index a67b1161f..b61f2b559 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix @@ -22,5 +22,4 @@ mk { sel4-capdl-initializer-types sel4-rustfmt-helper ]; - nix.meta.requirements = [ "capdl-spec" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix index 7d6350d09..21a183b54 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix @@ -10,5 +10,4 @@ mk { sel4-capdl-initializer-with-embedded-spec-build-env sel4-capdl-initializer-with-embedded-spec-embedded-spec ]; - nix.meta.requirements = [ "linux" "capdl-spec" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix index 3cfcc82aa..b42534028 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix @@ -8,5 +8,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-sync ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix index 5934878d0..0b8d8471d 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix @@ -11,5 +11,4 @@ mk { dev-dependencies = { rand = "0.8.3"; }; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix index d6164d62c..ade7bee49 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix @@ -6,7 +6,4 @@ mk { inherit (versions) serde_json; clap = "3.2.23"; }; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix index 354bef505..efe6f6c39 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix @@ -2,5 +2,4 @@ mk { package.name = "sel4-immediate-sync-once-cell"; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix index 75980ce7a..ebe431676 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix @@ -24,6 +24,4 @@ mk { sel4-render-elf-with-data sel4-config-generic-types ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix index 4d89dcd42..edc8a963b 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix @@ -46,6 +46,4 @@ mk { sel4-kernel-loader-payload-types sel4-kernel-loader-embed-page-tables ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix index af174f38c..c1a1c3ea6 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix @@ -6,5 +6,4 @@ mk { inherit (versions) proc-macro2 quote; bitfield = "0.14"; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix index 7f8ac7857..fb26a507f 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix @@ -5,5 +5,4 @@ mk { dependencies = { inherit (versions) log; }; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix index e15952473..d0a2a9052 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix @@ -32,6 +32,4 @@ mk { sel4-microkit-macros sel4-externally-shared ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix index cd58fdf88..66185235a 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix @@ -7,5 +7,4 @@ mk { syn = { version = versions.syn; features = [ "full" ]; }; inherit (versions) proc-macro2 quote; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix index 099707ab8..5ccd35898 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix @@ -28,5 +28,4 @@ mk { sel4-panicking-env sel4-immediate-sync-once-cell ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix index d9dd7ade3..fa9f0d68c 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix @@ -13,5 +13,4 @@ mk { sel4-panicking-env sel4-immediate-sync-once-cell ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix index 5d186e2d2..4f0dfe3a5 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix @@ -2,5 +2,4 @@ mk { package.name = "sel4-panicking-env"; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix index 0b3196e35..9c97e811c 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix @@ -13,5 +13,4 @@ mk { sel4-build-env sel4-config ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix index e72db93db..100e634f5 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix @@ -7,6 +7,4 @@ mk { clap = "3.2.23"; inherit (versions) anyhow fallible-iterator num; }; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix index 4adf484d5..71699bc0c 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix @@ -31,5 +31,4 @@ mk { sel4-runtime-common sel4-root-task-macros ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix index 4f8314e8c..c6f51002a 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix @@ -7,5 +7,4 @@ mk { syn = { version = versions.syn; features = [ "full" ]; }; inherit (versions) proc-macro2 quote; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix index c3ca2c60c..34d0bd1f7 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix @@ -20,5 +20,4 @@ mk { sel4-dlmalloc ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix index 3394e7788..e1bf0ff0f 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix @@ -5,5 +5,4 @@ mk { dependencies = { which = "4.3.0"; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix index 3be15ca62..fe26d1bae 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix @@ -6,5 +6,4 @@ mk { sel4 sel4-immediate-sync-once-cell ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix index 0fcca1fe1..5e4c208df 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix @@ -7,5 +7,4 @@ mk { pest = "2.4.1"; pest_derive = pest; }; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix index d075f0cb2..feedd4856 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix @@ -9,6 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-bitfield-parser ]; - nix.meta.labels = [ "leaf" ]; - nix.meta.requirements = [ "unix" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix index 82f03a243..381bfe743 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix @@ -2,5 +2,4 @@ mk { package.name = "sel4-bitfield-types"; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix index 3e2fc912d..8a28c3f01 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix @@ -2,5 +2,4 @@ mk { package.name = "sel4-build-env"; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix index 65c27f3c4..1e9486bed 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix @@ -5,5 +5,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-config-macros ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix index 4f20906ba..1330c4b3a 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix @@ -18,5 +18,4 @@ mk { sel4-config-generic-types sel4-build-env ]; - nix.meta.requirements = [ "linux" "sel4-config" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix index 22c95eeff..6693ac59c 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix @@ -13,5 +13,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-config-generic-types ]; - nix.meta.requirements = [ "linux" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix index 22acfe725..2e62c895b 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix @@ -7,5 +7,4 @@ mk { sel4-config-generic-macro-impls sel4-config-data ]; - nix.meta.requirements = [ "sel4-config" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/crate.nix index 7bddeca9f..ba72bbb20 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/crate.nix @@ -15,5 +15,4 @@ mk { sel4-config sel4-sys ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix index ad40420dd..4533ac1c7 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix @@ -29,5 +29,4 @@ mk { sel4-config sel4-config-data ]; - nix.meta.requirements = [ "sel4" ]; } diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix index 5aba3699b..da902b873 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix @@ -9,6 +9,4 @@ mk { nix.local.dependencies = with localCrates; [ sel4-sys ]; - nix.meta.requirements = [ "sel4" ]; - nix.meta.skip = true; # HACK }