coq-of-solidity: remove the submodule for coq-evm and use copy and pa…

…ste instead
formal-land · Dec 11, 2024 · d742293 · d742293
1 parent 9c47dbd
commit d742293
Show file tree

Hide file tree

Showing 27 changed files with 6,226 additions and 16 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -38,13 +38,6 @@ jobs:
           startGroup "Check that the diff is empty (excluding submodules)"
             git -c color.ui=always diff --exit-code --ignore-submodules=dirty
           endGroup
-          startGroup "Install Coq dependencies"
-            cd coq/third-party/coq-evm
-            ./configure
-            make
-            make install
-            cd ../../..
-          endGroup
           startGroup "Compile Coq project"
             cd coq/CoqOfSolidity
             make

diff --git a/.gitmodules b/.gitmodules
@@ -7,6 +7,3 @@
 [submodule "deps/fmtlib"]
 	path = deps/fmtlib
 	url = https://github.com/fmtlib/fmt.git
-[submodule "coq/third-party/coq-evm"]
-	path = coq/third-party/coq-evm
-	url = https://github.com/formal-land/coq-evm.git