gringo: fixup build with gcc 11

2 years ago · 90edec053b
parent c07da190f5
commit 90edec053b
1 changed files with 2 additions and 0 deletions
--- a/pkgs/tools/misc/gringo/default.nix
+++ b/pkgs/tools/misc/gringo/default.nix
@ -34,6 +34,8 @@ stdenv.mkDerivation rec {
      --replace \
        "env['LIBPATH']        = []" \
        "env['LIBPATH']        = ['${lib.getLib libcxx}/lib']"
+  '' + ''
+    sed '1i#include <limits>' -i libgringo/gringo/{control,term}.hh
  '';

  buildPhase = ''