zeroc-ice: add disable-warnings-if-gcc13

2023-12-07 09:11:37 +00:00
parent 41e258d69f
commit e8da5f109a
1 changed files with 1 additions and 1 deletions
@@ -36908,7 +36908,7 @@ with pkgs;

  zerobin = callPackage ../applications/networking/zerobin { };

-  zeroc-ice = callPackage ../development/libraries/zeroc-ice { };
+  zeroc-ice = disable-warnings-if-gcc13 (callPackage ../development/libraries/zeroc-ice { });

  zeroc-ice-cpp11 = zeroc-ice.override { cpp11 = true; };