add EVM_VERIFIER flag

NilFoundation · Jul 8, 2024 · 87cbfed · 87cbfed
1 parent 8ba2071
commit 87cbfed
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -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";