From a23171357e6d629409c7fb8cbb9b8c0944e3ed1b Mon Sep 17 00:00:00 2001
From: Andrei Malashkin <andrei.malashkin@nil.foundation>
Date: Fri, 13 Dec 2024 11:29:54 +0100
Subject: [PATCH] add proof-producer-debug-gcc

---
 .github/workflows/gcc-debug-proof-producer-nix-check.yml | 2 +-
 flake.nix                                                | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/gcc-debug-proof-producer-nix-check.yml b/.github/workflows/gcc-debug-proof-producer-nix-check.yml
index fc4723613c..e5042ed0c1 100644
--- a/.github/workflows/gcc-debug-proof-producer-nix-check.yml
+++ b/.github/workflows/gcc-debug-proof-producer-nix-check.yml
@@ -19,7 +19,7 @@ jobs:
 
       - name: Run checks for debug proof-producer
         run: |
-          nix build -L .?#checks.x86_64-linux.proof-producer-debug-tests
+          nix build -L .?#checks.x86_64-linux.proof-producer-debug-gcc
 
       - name: Publish Test Results
         uses: EnricoMi/publish-unit-test-result-action/linux@v2
diff --git a/flake.nix b/flake.nix
index 08ec737c75..cdcc7c03c4 100644
--- a/flake.nix
+++ b/flake.nix
@@ -179,6 +179,10 @@
             runTests = true;
             enableDebug = false;
           });
+          proof-producer-debug-gcc = (pkgs.callPackage ./proof-producer.nix {
+            runTests = true;
+            enableDebug = true;
+          });
           proof-producer-clang = (pkgs.callPackage ./proof-producer.nix {
             stdenv = pkgs.llvmPackages_19.stdenv;
             runTests = true;