From 87cbfedf219c92b74eac0682bef57cf4e87adab1 Mon Sep 17 00:00:00 2001
From: Andrei Malashkin <andrei.malashkin@nil.foundation>
Date: Mon, 8 Jul 2024 11:30:15 +0200
Subject: [PATCH] add EVM_VERIFIER flag

---
 .github/workflows/nix_build_linux.yml | 5 ++++-
 zkllvm.nix                            | 1 +
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/nix_build_linux.yml b/.github/workflows/nix_build_linux.yml
index 3a4dd754..8652a273 100644
--- a/.github/workflows/nix_build_linux.yml
+++ b/.github/workflows/nix_build_linux.yml
@@ -58,7 +58,10 @@ jobs:
       # nix is taken from the cloud-init template, no need to install it.
       - name: Setup build
         run: |
-          nix develop .?submodules=1# -c cmake -G Ninja -B build -DCMAKE_CXX_STANDARD=17 -DCMAKE_BUILD_TYPE=Debug -DCMAKE_ENABLE_TESTS=TRUE -DGENERATE_EVM_VERIFIER=TRUE -DZKLLVM_VERSION=0.1.18
+          nix develop .?submodules=1# -c cmake -G Ninja -B build -DCMAKE_CXX_STANDARD=17 -DCMAKE_BUILD_TYPE=Debug \
+          -DCMAKE_ENABLE_TESTS=TRUE \
+          -DGENERATE_EVM_VERIFIER=TRUE \
+          -DZKLLVM_VERSION=0.1.18
 
       - name: Build zkllvm
         run: |
diff --git a/zkllvm.nix b/zkllvm.nix
index 45ae80c4..bfcb757f 100644
--- a/zkllvm.nix
+++ b/zkllvm.nix
@@ -36,6 +36,7 @@ in stdenv.mkDerivation {
       (if enableDebug then "-DCMAKE_BUILD_TYPE=Debug" else "-DCMAKE_BUILD_TYPE=Release")
       (if enableDebug then "-DCMAKE_CXX_FLAGS=-ggdb" else "")
       "-DZKLLVM_VERSION=0.1.18"
+      "-DGENERATE_EVM_VERIFIER=TRUE"
     ];
 
   ninjaFlags = "assigner clang transpiler";