update flake

2024-07-16 09:59:22 +02:00
parent 21243ea979
commit 5283df7b98
2 changed files with 6 additions and 3 deletions
--- a/flake.nix
+++ b/flake.nix
@ -80,6 +80,9 @@
        cmakeFlags = [
          "-DTOMATO_ASAN=OFF"
          "-DCMAKE_BUILD_TYPE=RelWithDebInfo"
+          #"-DCMAKE_BUILD_TYPE=Debug"
+          #"-DCMAKE_C_FLAGS:STRING=-Og"
+          #"-DCMAKE_CXX_FLAGS:STRING=-Og"

          "-DFETCHCONTENT_SOURCE_DIR_JSON=${nlohmann-json}" # we care about the version
          # TODO: use package instead