chore(ci): patch examples to use local crates (openvm-org#1712)

Author: jonathanpwang

.github/workflows/cli.yml

@@ -51,11 +51,6 @@ jobs:
           set -e
           for dir in */; do
             if [ -f "${dir}Cargo.toml" ]; then
-              echo "Editing ${dir}Cargo.toml to use the current branch"
-              sed -i \
-                -e "s|\(git = \"https://github.com/openvm-org/openvm.git\"\)|\1, branch = \"${{ github.head_ref }}\"|" \
-                "${dir}Cargo.toml"
-
               echo "Building ${dir%/}"
               cd "$dir"
               cargo openvm build

.github/workflows/lints.yml

@@ -31,18 +31,6 @@ jobs:
         with:
           cache-on-failure: true
 
-      - name: Update example dependencies to current ref
-        working-directory: examples
-        run: |
-          set -e
-          for dir in */; do
-            if [ -f "${dir}Cargo.toml" ]; then
-              sed -i \
-                -e "s|\(git = \"https://github.com/openvm-org/openvm.git\"\)|\1, branch = \"${{ github.head_ref }}\"|" \
-                "${dir}Cargo.toml"
-            fi
-          done
-
       - name: Generate docs
         run: |
           cargo doc --workspace  --exclude "openvm-benchmarks" --exclude "*-tests" --exclude "*-test"

examples/ecc/Cargo.toml

@@ -17,3 +17,10 @@ hex-literal = { version = "0.4.1", default-features = false }
 
 [features]
 default = []
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
+openvm-algebra-guest = { path = "../../extensions/algebra/guest" }
+openvm-ecc-guest = { path = "../../extensions/ecc/guest" }
+k256 = { path = "../../guest-libs/k256" }

examples/i256/Cargo.toml

@@ -16,8 +16,14 @@ alloy-primitives = "1.1.2"
 default = []
 
 [patch.crates-io]
-ruint = { git = "https://github.com/openvm-org/openvm.git" }
-# alloy-primitives uses ruint
+# alloy-primitives uses ruint:
+# ruint = { git = "https://github.com/openvm-org/openvm.git" }
+# Use above if outside of monorepo
+ruint = { path = "../../guest-libs/ruint" }
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
 
 [profile.release]
 lto = "thin"

examples/keccak/Cargo.toml

@@ -15,3 +15,8 @@ hex = { version = "0.4.3" }
 
 [features]
 default = []
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
+openvm-keccak256 = { path = "../../guest-libs/keccak256" }

examples/pairing/Cargo.toml

@@ -21,3 +21,10 @@ hex-literal = { version = "0.4.1", default-features = false }
 
 [features]
 default = []
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
+openvm-algebra-guest = { path = "../../extensions/algebra/guest" }
+openvm-ecc-guest = { path = "../../extensions/ecc/guest" }
+openvm-pairing = { path = "../../guest-libs/pairing" }

examples/sha256/Cargo.toml

@@ -15,3 +15,8 @@ hex = { version = "0.4.3" }
 
 [features]
 default = []
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
+openvm-sha2 = { path = "../../guest-libs/sha2" }

examples/u256/Cargo.toml

@@ -14,3 +14,8 @@ openvm-ruint = { git = "https://github.com/openvm-org/openvm.git", package = "ru
 
 [features]
 default = []
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
+ruint = { path = "../../guest-libs/ruint" }

extensions/bigint/guest/Cargo.toml

@@ -13,4 +13,6 @@ strum_macros = { workspace = true }
 
 [features]
 default = []
-export-intrinsics = [] # export extern no_mangle functions for external linkage
+export-intrinsics = [
+    "openvm-platform/rust-runtime",
+] # export extern no_mangle functions for external linkage