rPackages.MANOR: fix build

2024-05-28 22:17:59 +02:00
parent b3f67825d5
commit c7864c9ad2
1 changed files with 4 additions and 0 deletions
@@ -1211,6 +1211,10 @@ let
      hardeningDisable = [ "format" ];
    });

+    MANOR = old.MANOR.overrideAttrs (attrs: {
+      hardeningDisable = [ "format" ];
+    });
+
    rGADEM = old.rGADEM.overrideAttrs (attrs: {
      hardeningDisable = [ "format" ];
    });