apollo_compile_to_casm,apollo_compile_to_native: switch to script-based compiler installation

Remove build.rs from both compiler crates — compiler binaries are now
installed by scripts/install_compiler_binaries.sh (called from
install_cargo_tools.sh) instead of as a cargo build side effect.

- Delete build.rs and [build-dependencies] from both crates
- Compiler constructors use verify_compiler_binary + PATH-based lookup
  (skip version check for custom paths in SierraToNativeCompiler)
- install_cargo_tools.sh calls install_compiler_binaries.sh
- Dockerfiles use cargo install with versions from .txt files
- Base Dockerfile copies new scripts and version files

Old install_compiler_binary() and legacy path functions are left for
removal in a follow-up cleanup.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: avi-starkware

crates/apollo_compilation_utils/src/build_utils.rs

@@ -3,15 +3,15 @@ use std::process::Command;
 
 use tempfile::TempDir;
 
-use crate::paths::{binary_path, shared_folder_dir};
+use crate::paths::{legacy_binary_path, shared_folder_dir};
 
 pub fn install_compiler_binary(
     binary_name: &str,
     required_version: &str,
     cargo_install_args: &[&str],
     out_dir: &std::path::Path,
 ) {
-    let binary_path = binary_path(out_dir, binary_name);
+    let binary_path = legacy_binary_path(out_dir, binary_name);
     match Command::new(&binary_path).args(["--version"]).output() {
         Ok(binary_version) => {
             let binary_version = String::from_utf8(binary_version.stdout)

crates/apollo_compilation_utils/src/paths.rs

@@ -14,6 +14,12 @@ pub fn shared_folder_dir(out_dir: &std::path::Path) -> std::path::PathBuf {
     target_dir(out_dir).join("shared_executables")
 }
 
-pub fn binary_path(out_dir: &std::path::Path, binary_name: &str) -> std::path::PathBuf {
+/// Returns the binary name as a PathBuf. `Command::new` will find it in PATH.
+pub fn binary_path(binary_name: &str) -> std::path::PathBuf {
+    std::path::PathBuf::from(binary_name)
+}
+
+// TODO(Avi): Remove once build.rs callers are gone.
+pub fn legacy_binary_path(out_dir: &std::path::Path, binary_name: &str) -> std::path::PathBuf {
     shared_folder_dir(out_dir).join(binary_name)
 }

crates/apollo_compile_to_casm/Cargo.toml

@@ -16,6 +16,7 @@ workspace = true
 apollo_compilation_utils.workspace = true
 apollo_compile_to_casm_types.workspace = true
 apollo_infra.workspace = true
+apollo_infra_utils.workspace = true
 apollo_metrics.workspace = true
 apollo_proc_macros.workspace = true
 apollo_sierra_compilation_config.workspace = true
@@ -29,12 +30,7 @@ tracing.workspace = true
 
 [dev-dependencies]
 apollo_compilation_utils = { workspace = true, features = ["testing"] }
-apollo_infra_utils.workspace = true
 assert_matches.workspace = true
 expect-test.workspace = true
 mempool_test_utils.workspace = true
 regex.workspace = true
-
-[build-dependencies]
-apollo_compilation_utils.workspace = true
-apollo_infra_utils.workspace = true

crates/apollo_compile_to_casm/build.rs

@@ -1,9 +1,11 @@
 use std::path::PathBuf;
 
+use apollo_compilation_utils::build_utils::verify_compiler_binary;
 use apollo_compilation_utils::compiler_utils::compile_with_args;
 use apollo_compilation_utils::errors::CompilationUtilError;
 use apollo_compilation_utils::paths::binary_path;
 use apollo_compilation_utils::resource_limits::ResourceLimits;
+use apollo_infra_utils::cairo_compiler_version::CAIRO1_COMPILER_VERSION;
 use apollo_sierra_compilation_config::config::SierraCompilationConfig;
 use cairo_lang_starknet_classes::casm_contract_class::CasmContractClass;
 use cairo_lang_starknet_classes::contract_class::ContractClass;
@@ -19,7 +21,8 @@ pub struct SierraToCasmCompiler {
 
 impl SierraToCasmCompiler {
     pub fn new(config: SierraCompilationConfig) -> Self {
-        let path_to_binary = binary_path(&out_dir(), CAIRO_LANG_BINARY_NAME);
+        let path_to_binary = binary_path(CAIRO_LANG_BINARY_NAME);
+        verify_compiler_binary(&path_to_binary, CAIRO1_COMPILER_VERSION);
         info!("Using Sierra compiler binary at: {:?}", path_to_binary);
         Self { config, path_to_binary }
     }
@@ -51,8 +54,3 @@ impl SierraToCasmCompiler {
         Ok(serde_json::from_slice::<CasmContractClass>(&stdout)?)
     }
 }
-
-// Returns the OUT_DIR. This function is only operable at run time.
-fn out_dir() -> PathBuf {
-    env!("RUNTIME_ACCESSIBLE_OUT_DIR").into()
-}

crates/apollo_compile_to_casm/src/compiler.rs

@@ -23,7 +23,3 @@ assert_matches.workspace = true
 mempool_test_utils.workspace = true
 rstest.workspace = true
 toml_test_utils.workspace = true
-
-[build-dependencies]
-apollo_compilation_utils.workspace = true
-apollo_infra_utils.workspace = true

crates/apollo_compile_to_native/Cargo.toml

@@ -1,5 +1,6 @@
-use std::path::{Path, PathBuf};
+use std::path::PathBuf;
 
+use apollo_compilation_utils::build_utils::verify_compiler_binary;
 use apollo_compilation_utils::compiler_utils::compile_with_args;
 use apollo_compilation_utils::errors::CompilationUtilError;
 use apollo_compilation_utils::paths::binary_path;
@@ -9,7 +10,7 @@ use cairo_lang_starknet_classes::contract_class::ContractClass;
 use cairo_native::executor::AotContractExecutor;
 use tempfile::NamedTempFile;
 
-use crate::constants::CAIRO_NATIVE_BINARY_NAME;
+use crate::constants::{CAIRO_NATIVE_BINARY_NAME, REQUIRED_CAIRO_NATIVE_VERSION};
 
 #[derive(Clone)]
 pub struct SierraToNativeCompiler {
@@ -21,7 +22,11 @@ impl SierraToNativeCompiler {
     pub fn new(config: SierraCompilationConfig) -> Self {
         let path_to_binary = match &config.compiler_binary_path {
             Some(path) => path.clone(),
-            None => binary_path(&out_dir(), CAIRO_NATIVE_BINARY_NAME),
+            None => {
+                let path = binary_path(CAIRO_NATIVE_BINARY_NAME);
+                verify_compiler_binary(&path, REQUIRED_CAIRO_NATIVE_VERSION);
+                path
+            }
         };
         Self { config, path_to_binary }
     }
@@ -50,13 +55,8 @@ impl SierraToNativeCompiler {
             resource_limits,
         )?;
 
-        Ok(AotContractExecutor::from_path(Path::new(&output_file_path))
+        Ok(AotContractExecutor::from_path(output_file.path())
             .map_err(|e| CompilationUtilError::CompilationError(e.to_string()))?
             .unwrap())
     }
 }
-
-// Returns the OUT_DIR. This function is only operable at run time.
-fn out_dir() -> PathBuf {
-    env!("RUNTIME_ACCESSIBLE_OUT_DIR").into()
-}

crates/apollo_compile_to_native/build.rs

@@ -82,6 +82,9 @@ RUN cargo chef cook --release -p blockifier_reexecution --features cairo_native
 COPY . .
 RUN cargo build --release -p blockifier_reexecution --features cairo_native
 
+# Install compiler binaries used for Sierra compilation at runtime.
+RUN scripts/install_compiler_binaries.sh --dest /usr/local/bin
+
 # =============================================================================
 # Stage 4: Final runtime image
 # =============================================================================
@@ -100,8 +103,8 @@ WORKDIR /app
 
 # Copy the binary and both compilers (Sierra-to-CASM and Sierra-to-Native).
 COPY --from=builder /app/target/release/blockifier_reexecution ./target/release/blockifier_reexecution
-COPY --from=builder /app/target/release/shared_executables/starknet-sierra-compile ./target/release/shared_executables/starknet-sierra-compile
-COPY --from=builder /app/target/release/shared_executables/starknet-native-compile ./target/release/shared_executables/starknet-native-compile
+COPY --from=builder /usr/local/bin/starknet-sierra-compile /usr/local/bin/starknet-sierra-compile
+COPY --from=builder /usr/local/bin/starknet-native-compile /usr/local/bin/starknet-native-compile
 COPY --from=builder /usr/bin/tini /usr/bin/tini
 
 RUN set -ex; \

crates/apollo_compile_to_native/src/compiler.rs

@@ -135,6 +135,9 @@ RUN BUILD_FLAGS=$([ "$BUILD_MODE" = "release" ] && echo "--release" || true); \
         cargo build $BUILD_FLAGS -p starknet_transaction_prover --features stwo_proving; \
     fi
 
+# Install compiler binary used for Sierra to CASM compilation at runtime.
+RUN scripts/install_compiler_binaries.sh --sierra --dest /usr/local/bin
+
 # =============================================================================
 # Stage 4: Final runtime image
 # =============================================================================
@@ -158,7 +161,7 @@ COPY --from=builder /app/target/${BUILD_MODE}/starknet_transaction_prover ./targ
 COPY --from=builder /app/crates/starknet_transaction_prover/resources ./crates/starknet_transaction_prover/resources
 
 # Copy starknet-sierra-compile binary required for Sierra to Casm compilation.
-COPY --from=builder /app/target/${BUILD_MODE}/shared_executables/starknet-sierra-compile ./target/${BUILD_MODE}/shared_executables/starknet-sierra-compile
+COPY --from=builder /usr/local/bin/starknet-sierra-compile /usr/local/bin/starknet-sierra-compile
 
 # Copy tini for proper init handling.
 COPY --from=builder /usr/bin/tini /usr/bin/tini