From 963a06378c11a425a2b753a77c1d2dc7eff85381 Mon Sep 17 00:00:00 2001
From: MrDenkoV <stanislaw.denkowski@swmansion.com>
Date: Tue, 1 Aug 2023 15:54:06 +0200
Subject: [PATCH] Add runtime check for Core library and Cairo compiler
 versions

---
 scarb/src/sources/standard_lib.rs | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/scarb/src/sources/standard_lib.rs b/scarb/src/sources/standard_lib.rs
index f9fe10743..085ce8d7b 100644
--- a/scarb/src/sources/standard_lib.rs
+++ b/scarb/src/sources/standard_lib.rs
@@ -1,6 +1,6 @@
 use std::fmt;
 
-use anyhow::{Context, Result};
+use anyhow::{anyhow, ensure, Context, Result};
 use async_trait::async_trait;
 use camino::Utf8Path;
 use include_dir::{include_dir, Dir, DirEntry};
@@ -8,7 +8,7 @@ use tokio::sync::OnceCell;
 use tracing::trace;
 
 use crate::core::config::Config;
-use crate::core::manifest::{ManifestDependency, Summary};
+use crate::core::manifest::{ManifestDependency, Summary, TomlManifest};
 use crate::core::package::{Package, PackageId};
 use crate::core::source::Source;
 use crate::core::SourceId;
@@ -76,6 +76,8 @@ impl<'c> StandardLibSource<'c> {
             }
         }
 
+        check_corelib_version(&tag_fs.path_existent()?.join("core").join("Scarb.toml"))?;
+
         Ok(PathSource::recursive_at(
             tag_path,
             SourceId::for_std(),
@@ -146,3 +148,17 @@ fn expand_meta_variables(contents: &[u8]) -> Vec<u8> {
     let contents = contents.replace("{{ CAIRO_VERSION }}", crate::version::get().cairo.version);
     contents.into_bytes()
 }
+
+fn check_corelib_version(core_scarb_toml: &Utf8Path) -> Result<()> {
+    let comp_ver = crate::version::get().cairo.version;
+    let core_ver = TomlManifest::read_from_path(core_scarb_toml)?
+        .package
+        .ok_or_else(|| anyhow!("could not get package section from `core` Scarb.toml"))?
+        .version
+        .to_string();
+    ensure!(
+        comp_ver == core_ver,
+        "`core` version does not match Cairo compiler version"
+    );
+    Ok(())
+}