Add extra version check for ubuntu 18.04 (rust-lang#1371)

celinval · Jul 13, 2022 · 872ba52 · 872ba52
1 parent 92155a1
commit 872ba52
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/setup.rs b/src/setup.rs
@@ -115,7 +115,9 @@ fn setup_python_deps(kani_dir: &Path, os: &os_info::Info) -> Result<()> {
     let pkg_versions = &["cbmc-viewer==3.5", "colorama==0.4.3"];
 
     if os.os_type() == os_info::Type::Ubuntu
-        && *os.version() == os_info::Version::Semantic(18, 4, 0)
+        // Check both versions: https://github.com/stanislav-tkach/os_info/issues/318
+        && (*os.version() == os_info::Version::Semantic(18, 4, 0)
+            || *os.version() == os_info::Version::Custom("18.04".into()))
     {
         os_hacks::setup_python_deps_on_ubuntu_18_04(&pyroot, pkg_versions)?;
         return Ok(());