feat(build): link gmp dynamically

SoftVarE-Group · Dec 8, 2024 · 0852c73 · 0852c73
1 parent 6320117
commit 0852c73
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/d4-oxide/build.rs b/d4-oxide/build.rs
@@ -60,8 +60,10 @@ fn main() {
     println!("cargo::rustc-link-lib=static=cadical");
     println!("cargo::rustc-link-lib=static=cryptominisat5");
     println!("cargo::rustc-link-lib=static=glucose");
-    println!("cargo::rustc-link-lib=static=gmp");
-    println!("cargo::rustc-link-lib=static=gmpxx");
     println!("cargo::rustc-link-lib=static=gpmc");
     println!("cargo::rustc-link-lib=static=sbva");
+
+    // Link GMP dynamically for now as it is also needed for Mt-KaHyPar.
+    println!("cargo::rustc-link-lib=dylib=gmpxx");
+    println!("cargo::rustc-link-lib=dylib=gmp");
 }
diff --git a/flake.nix b/flake.nix
@@ -38,8 +38,8 @@
 
             buildInputs = [
               pkgs.boost.dev
+              pkgs.gmp.dev
               pkgs.pkgsStatic.mpfr.dev
-              pkgs.pkgsStatic.gmp.dev
               d4Pkgs.mt-kahypar.dev
             ];
           };