coq-of-solidity: more work

.github/workflows/coq.yml

@@ -0,0 +1,52 @@
+name: Coq
+
+on:
+  push:
+    branches: [ "develop" ]
+  pull_request:
+    branches: [ "develop" ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v3
+    - name: Download Git submodules
+      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_script: |
+          startGroup "Install dependencies"
+            sudo apt-get update
+            sudo apt-get install -y cmake libboost-all-dev
+            opam install -y --deps-only coq/CoqOfSolidity/coq-of-solidity.opam
+          endGroup
+          startGroup "Build"
+            sudo chown -R $(whoami) .
+            mkdir build
+            cd build
+            cmake ..
+            # make
+            cd ..
+          endGroup
+          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
+            cd ../..
+          endGroup

.gitmodules

@@ -7,3 +7,6 @@
 [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