From aabae74ddccec2c8254cf0a4f000228e1ab24ee9 Mon Sep 17 00:00:00 2001
From: David Mak <chmakac@connect.ust.hk>
Date: Mon, 27 Jan 2025 22:09:03 +0800
Subject: [PATCH] [meta] Use lld as linker

---
 .cargo/config.toml              | 2 ++
 flake.nix                       | 2 +-
 nac3standalone/demo/run_demo.sh | 2 +-
 3 files changed, 4 insertions(+), 2 deletions(-)
 create mode 100644 .cargo/config.toml

diff --git a/.cargo/config.toml b/.cargo/config.toml
new file mode 100644
index 00000000..188308db
--- /dev/null
+++ b/.cargo/config.toml
@@ -0,0 +1,2 @@
+[target.x86_64-unknown-linux-gnu]
+rustflags = ["-C", "link-arg=-fuse-ld=lld"]
diff --git a/flake.nix b/flake.nix
index a20e1f12..daf085b1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -168,7 +168,7 @@
         buildInputs = with pkgs; [
           # build dependencies
           packages.x86_64-linux.llvm-nac3
-          (pkgs.wrapClangMulti llvmPackages_14.clang) llvmPackages_14.llvm.out  # for running nac3standalone demos
+          (pkgs.wrapClangMulti llvmPackages_14.clang) llvmPackages_14.llvm.out llvmPackages_14.bintools  # for running nac3standalone demos
           packages.x86_64-linux.llvm-tools-irrt
           cargo
           rustc
diff --git a/nac3standalone/demo/run_demo.sh b/nac3standalone/demo/run_demo.sh
index bec2eb6e..78e32dd2 100755
--- a/nac3standalone/demo/run_demo.sh
+++ b/nac3standalone/demo/run_demo.sh
@@ -58,7 +58,7 @@ rm -f ./*.o ./*.bc demo
 if [ -z "$i686" ]; then
   $nac3standalone "${nac3args[@]}"
   clang -c -std=gnu11 -Wall -Wextra -O3 -o demo.o demo.c
-  clang -o demo module.o demo.o $DEMO_LINALG_STUB -lm -Wl,--no-warn-search-mismatch
+  clang -o demo module.o demo.o $DEMO_LINALG_STUB -fuse-ld=lld -lm
 else
   $nac3standalone --triple i686-unknown-linux-gnu --target-features +sse2 "${nac3args[@]}"
   clang -m32 -c -std=gnu11 -Wall -Wextra -O3 -msse2 -o demo.o demo.c