Fix vendored build

fatemender · Nov 25, 2021 · 7b94e97 · 7b94e97
1 parent 1138685
commit 7b94e97
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/build-vendor.rs b/build-vendor.rs
@@ -74,8 +74,10 @@ impl BitwuzlaBuild {
                 .current_dir(self.out_dir.join("build")),
         );
 
-        println!("cargo:rustc-link-lib=stdc++");
         println!("cargo:rustc-link-search=native={}", self.out_dir.join("build/lib").display());
+        println!("cargo:rustc-link-lib=static=bitwuzla");
+        println!("cargo:rustc-link-lib=stdc++");
+        println!("cargo:rustc-link-lib=gmp");
 
         self
     }

diff --git a/build.rs b/build.rs
@@ -9,5 +9,8 @@ fn main() {
         }
     }
 
-    println!("cargo:rustc-link-lib=bitwuzla");
+    #[cfg(not(feature = "vendor-cadical"))]
+    {
+        println!("cargo:rustc-link-lib=bitwuzla");
+    }
 }