nix: Add notes to C test

seL4 · Aug 2, 2023 · 3603d30 · 3603d30
1 parent 6720570
commit 3603d30
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/hacking/nix/rust-utils/build-sysroot.nix b/hacking/nix/rust-utils/build-sysroot.nix
@@ -85,3 +85,9 @@ runCommand "sysroot" {
   mkdir -p $d
   mv target/${rustTargetInfo.name}/${if release then "release" else "debug"}/deps/* $d
 ''
+
+# TODO
+# rel=lib/rustlib/${buildPlatform.config}/bin
+# d=$out/$rel
+# mkdir -p $d
+# ln -s ${rustToolchain}/$rel/* $d
diff --git a/hacking/nix/scope/world/instances/c.nix b/hacking/nix/scope/world/instances/c.nix
@@ -28,18 +28,31 @@ mkInstance {
         nativeBuildInputs = super.nativeBuildInputs ++ [
           cmake
         ];
+        # NIX_DEBUG = 2;
       });
+      # extraCargoFlags = [ "--verbose" ];
       modifyConfig = old: lib.recursiveUpdate old {
         target.${defaultRustTargetInfo.name} = {
           rustflags = (old.target.${defaultRustTargetInfo.name}.rustflags or []) ++ [
             "-C" "link-arg=-lc"
             "-C" "link-arg=-L${libcDir}/lib"
 
             # TODO
+            # NOTE: won't work because cross gcc always uses hard-coded --with-ld
+
             # "-C" "linker-flavor=gcc"
             # "-C" "link-arg=-nostartfiles"
             # "-C" "default-linker-libraries=on"
+
             # "-Z" "gcc-ld=lld"
+            # (or)
+            # "-Z" "unstable-options"
+            # "-C" "link-self-contained=+linker"
+            # (or)
+            # "-Z" "unstable-options"
+            # "-C" "linker-flavor=gnu-lld-cc"
+
+            # "-Z" "verbose"
           ];
         };
       };