From bfa1db31ac68d1f96e400a1e9b1a063a2935a635 Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Mon, 5 Dec 2022 16:46:53 +0100
Subject: [PATCH] Add temporary evmone eof ci setup

---
 .circleci/config.yml | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 784b561d9..c2b3d0d6b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -425,6 +425,13 @@ defaults:
         TERM: xterm
         MAKEFLAGS: -j 2
 
+  - eof_ubuntu2204_small: &eof_ubuntu2204_small
+      <<: *base_cimg_small
+      resource_class: small
+      environment:
+        TERM: xterm
+        MAKEFLAGS: -j 5
+
   # --------------------------------------------------------------------------
   # Workflow Templates
 
@@ -1037,6 +1044,42 @@ jobs:
     parallelism: 50
     <<: *steps_soltest_all
 
+  t_ubu_soltest_eof: &t_ubu_soltest_eof
+    <<: *eof_ubuntu2204_small
+    parallelism: 50
+    steps:
+      - run:
+          name: Install build dependencies
+          command: |
+            dist=$(grep DISTRIB_CODENAME /etc/lsb-release | cut -d= -f2); \
+            echo "deb http://ppa.launchpad.net/ethereum/cpp-build-deps/ubuntu $dist main" | sudo tee -a /etc/apt/sources.list > /dev/null
+
+            sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 1c52189c923f6ca9
+            sudo apt-get update
+            sudo apt-get install -qqy --no-install-recommends \
+                build-essential \
+                software-properties-common \
+                cmake ninja-build \
+                libboost-filesystem-dev libboost-test-dev libboost-system-dev \
+                libboost-program-options-dev \
+                libcvc4-dev libz3-static-dev z3-static jq
+            sudo rm -rf /var/lib/apt/lists/*
+      - run:
+          name: Build evmone based on EOF branch
+          command: |
+            ( cd /usr/src; \
+            sudo git clone --branch="eof" --recurse-submodules https://github.com/ethereum/evmone.git; \
+            cd evmone; \
+            sudo mkdir build; \
+            cd build; \
+            sudo cmake -G Ninja -DBUILD_SHARED_LIBS=ON -DCMAKE_INSTALL_PREFIX="/usr" ..; \
+            sudo ninja; \
+            sudo ninja install/strip; \
+            sudo rm -rf /usr/src/evmone )
+      - checkout
+      - run: *run_build
+      - run: *run_soltest
+
   t_ubu_lsp: &t_ubu_lsp
     <<: *base_ubuntu2004_small
     <<: *steps_test_lsp
@@ -1583,6 +1626,7 @@ workflows:
       - b_ubu_clang: *workflow_trigger_on_tags
       - t_ubu_clang_soltest: *workflow_ubuntu2004_clang
       - t_ubu_lsp: *workflow_ubuntu2004
+      - t_ubu_soltest_eof: *workflow_trigger_on_tags
 
       # Ubuntu fake release build and tests
       - b_ubu_force_release: *workflow_trigger_on_tags