fix the model buiding

Author: steelgeek091

Cargo.lock

@@ -366,34 +366,40 @@ hashbrown = "0.15.2"
 # BEGIN MOVE DEPENDENCIES
 # keep this for convenient debug Move in local repo
 # [patch.'https://github.com/rooch-network/move']
-move-abigen = { path = "/home/roy/move-language/move/language/move-prover/move-abigen" }
-move-prover = { path = "/home/roy/move-language/move/language/move-prover" }
-move-package = { path = "/home/roy/move-language/move/language/tools/move-package" }
-move-stdlib = { path = "/home/roy/move-language/move/language/move-stdlib", features = ["testing"] }
-move-unit-test = { path = "/home/roy/move-language/move/language/tools/move-unit-test", features = ["table-extension"] }
-move-cli = { path = "/home/roy/move-language/move/language/tools/move-cli" }
-move-command-line-common = { path = "/home/roy/move-language/move/language/move-command-line-common" }
-move-ir-types = { path = "/home/roy/move-language/move/language/move-ir/types" }
-move-binary-format = { path = "/home/roy/move-language/move/language/move-binary-format" }
-move-core-types = { path = "/home/roy/move-language/move/language/move-core/types" }
-move-bytecode-verifier = { path = "/home/roy/move-language/move/language/move-bytecode-verifier" }
-move-ir-compiler = { path = "/home/roy/move-language/move/language/move-ir-compiler" }
-move-ir-to-bytecode = { path = "/home/roy/move-language/move/language/move-ir-compiler/move-ir-to-bytecode" }
-move-bytecode-source-map = { path = "/home/roy/move-language/move/language/move-ir-compiler/move-bytecode-source-map" }
-move-compiler = { path = "/home/roy/move-language/move/language/move-compiler" }
-move-compiler-v2 = { path = "/home/roy/move-language/move/language/move-compiler-v2" }
-move-vm-runtime = { path = "/home/roy/move-language/move/language/move-vm/runtime" }
-move-vm-types = { path = "/home/roy/move-language/move/language/move-vm/types" }
-move-model = { path = "/home/roy/move-language/move/language/move-model" }
-move-vm-test-utils = { path = "/home/roy/move-language/move/language/move-vm/test-utils", features = ["table-extension"] }
-move-transactional-test-runner = { path = "/home/roy/move-language/move/language/testing-infra/transactional-test-runner" }
-move-bytecode-utils = { path = "/home/roy/move-language/move/language/tools/move-bytecode-utils" }
-move-resource-viewer = { path = "/home/roy/move-language/move/language/tools/move-resource-viewer" }
-move-disassembler = { path = "/home/roy/move-language/move/language/tools/move-disassembler" }
-move-symbol-pool = { path = "/home/roy/move-language/move/language/move-symbol-pool" }
-move-coverage = { path = "/home/roy/move-language/move/language/tools/move-coverage" }
-move-errmapgen = { path = "/home/roy/move-language/move/language/move-prover/move-errmapgen" }
-move-docgen = { path = "/home/roy/move-language/move/language/move-prover/move-docgen" }
+move-abigen = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-binary-format = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-bytecode-verifier = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-bytecode-utils = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-cli = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-command-line-common = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-compiler = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-compiler-v2 = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-core-types = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-coverage = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-disassembler = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-docgen = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-errmapgen = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-ir-compiler = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-model = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-package = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-prover = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-prover-boogie-backend = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-stackless-bytecode = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-prover-test-utils = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-resource-viewer = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-stackless-bytecode-interpreter = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-stdlib = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5", features = ["testing"] }
+move-symbol-pool = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+#move-table-extension = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-transactional-test-runner = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-unit-test = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5", features = ["table-extension"] }
+move-vm-runtime = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5", features = ["stacktrace", "debugging", "testing"] }
+move-vm-test-utils = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5", features = ["table-extension"] }
+move-vm-types = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+read-write-set = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+read-write-set-dynamic = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-bytecode-source-map = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }
+move-ir-types = { git = "https://github.com/rooch-network/move", rev = "7f194243e172b463447c805d291ef2c0c1a1a0c5" }# END MOVE DEPENDENCIES
 
 # keep this for convenient debug Move in local repo
 # [patch.'https://github.com/rooch-network/move']