Add a warning when static-link-z3 is used.

Author: waywardmonkeys

z3-sys/Cargo.toml

@@ -25,4 +25,5 @@ bundled = ["dep:cmake"] # Build Z3 via our bundled submodule.
 vcpkg = ["dep:vcpkg"] # Build Z3 via vcpkg.
 
 # Legacy feature for short term compatibility
-static-link-z3 = ["bundled"]
+static-link-z3 = ["bundled", "deprecated-static-link-z3"]
+deprecated-static-link-z3 = []

z3-sys/build.rs

@@ -4,6 +4,9 @@ fn main() {
     #[cfg(feature = "bundled")]
     build_bundled_z3();
 
+    #[cfg(feature = "deprecated-static-link-z3")]
+    println!("cargo:warning=The 'static-link-z3' feature is deprecated. Please use the 'bundled' feature.");
+
     println!("cargo:rerun-if-changed=build.rs");
 
     #[cfg(not(feature = "vcpkg"))]

z3/Cargo.toml

@@ -20,7 +20,7 @@ bundled = ["z3-sys/bundled"]
 vcpkg = ["z3-sys/vcpkg"]
 
 # This is a legacy feature here for short term compatibility.
-static-link-z3 = ["z3-sys/bundled"]
+static-link-z3 = ["z3-sys/bundled", "z3-sys/deprecated-static-link-z3"]
 
 [dependencies]
 log = "0.4"