Fix corelib finding

starkware-libs · Jan 26, 2023 · 0e3ff18 · 0e3ff18
1 parent 589dfcb
commit 0e3ff18
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/crates/cairo-lang-compiler/src/lib.rs b/crates/cairo-lang-compiler/src/lib.rs
@@ -51,7 +51,9 @@ pub fn compile_cairo_project_at_path(
     path: &Path,
     compiler_config: CompilerConfig,
 ) -> Result<SierraProgram> {
-    let mut db = RootDatabase::default();
+    let mut builder = RootDatabase::builder();
+    builder.with_dev_corelib().unwrap();
+    let mut db = builder.build();
     let main_crate_ids = setup_project(&mut db, path)?;
     compile_prepared_db(db, main_crate_ids, compiler_config)
 }

diff --git a/crates/cairo-lang-runner/src/cli.rs b/crates/cairo-lang-runner/src/cli.rs
@@ -31,7 +31,9 @@ struct Args {
 fn main() -> anyhow::Result<()> {
     let args = Args::parse();
 
-    let mut db_val = RootDatabase::default();
+    let mut builder = RootDatabase::builder();
+    builder.with_dev_corelib().unwrap();
+    let mut db_val = builder.build();
     let db = &mut db_val;
 
     let main_crate_ids = setup_project(db, Path::new(&args.path))?;