Parameterise static library version in Rust build script

Author: NlightNFotis

CMakeLists.txt

@@ -42,6 +42,7 @@ file(
   STRINGS src/config.inc CBMC_VERSION
   REGEX "CBMC_VERSION = (.*)")
 string(REGEX REPLACE "CBMC_VERSION = (.*)" "\\1" CBMC_VERSION ${CBMC_VERSION})
+message(STATUS "Building CBMC version ${CBMC_VERSION}")
 
 project(CBMC VERSION ${CBMC_VERSION})
 
@@ -274,7 +275,7 @@ else()
 
     corrosion_import_crate(MANIFEST_PATH src/libcprover-rust/Cargo.toml)
     list(JOIN sat_impl " " sat_impl_str)
-    corrosion_set_env_vars(cprover-api-rust CBMC_BUILD_DIR=${CMAKE_BINARY_DIR})
+    corrosion_set_env_vars(cprover-api-rust CBMC_BUILD_DIR=${CMAKE_BINARY_DIR} CBMC_VERSION=${CBMC_VERSION})
     corrosion_link_libraries(cprover-api-rust cprover-api-cpp)
     install(TARGETS cprover-api-rust RUNTIME DESTINATION lib)
     # NOTE: We want to rename to a name consistent with the name of the

src/libcprover-rust/build.rs

@@ -12,6 +12,13 @@ fn get_build_directory() -> Result<String, VarError> {
     env::var("CBMC_BUILD_DIR")
 }
 
+// Passed by the top-level CMakeLists.txt to control which version of the
+// static library of CBMC we're linking against. A user can also change the
+// environment variable to link against different versions of CBMC.
+fn get_cbmc_version() -> Result<String, VarError> {
+    env::var("CBMC_VERSION")
+}
+
 fn get_library_build_dir() -> std::io::Result<PathBuf> {
     let env_var_fetch_result = get_build_directory();
     if let Ok(build_dir) = env_var_fetch_result {
@@ -50,5 +57,10 @@ fn main() {
         libraries_path.display()
     );
 
-    println!("cargo:rustc-link-lib=static=cprover.5.78.0");
+    let cprover_static_libname = match get_cbmc_version() {
+        Ok(version) => String::from("cprover.") + &version,
+        Err(err) => panic!("Error: {}", err),
+    };
+
+    println!("cargo:rustc-link-lib=static={}", cprover_static_libname);
 }