Merge pull request #20 from formal-land/guillaume-claret@coq-evm-copy…

…-and-paste

coq-evm without submodule

.github/workflows/coq.yml

@@ -20,7 +20,7 @@ jobs:
       run: git submodule update --init --recursive
     - uses: coq-community/docker-coq-action@v1
       with:
-        custom_image: coqorg/coq:8.17-ocaml-4.14-flambda
+        custom_image: coqorg/coq:8.20-ocaml-4.14-flambda
         custom_script: |
           startGroup "Install dependencies"
             sudo apt-get update
@@ -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

.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