From 49bad232bc57a7eb538c9c1a6c020123d9f61720 Mon Sep 17 00:00:00 2001
From: xenia <xenia.agda@gmail.com>
Date: Fri, 12 Jan 2024 20:44:16 +0100
Subject: [PATCH] Add -Wpedantic to CFLAGS

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 17dab19..68f0318 100644
--- a/flake.nix
+++ b/flake.nix
@@ -11,7 +11,7 @@
 
           verilator = import ./verilator.nix pkgs ;
 
-          vflags = "-Wpedantic -Wwarn-lint -Wwarn-style";
+          vflags = "-Wpedantic -Wwarn-lint -Wwarn-style -CFLAGS -Wpedantic";
           verilate-src = cmd: ''
             cp -r ${./verilog-src} ./verilog-src
             cp -r ${./simulation} ./simulation