Commit 190bd872 authored by Sebastian Blunt's avatar Sebastian Blunt
Browse files

splint: Build with gnu99

Otherwise it fails to build with
```
mtgrammar.c:139:37: error: too many arguments to function 'yyprint'; expected 0, have 3
```
See https://github.com/splintchecker/splint/issues/41 for the upstream
issue.
parent f9f868a2
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
@@ -18,6 +18,10 @@ stdenv.mkDerivation rec {

  buildInputs = [ flex ];

  buildFlags = [
    "CFLAGS=-std=gnu99"
  ];

  doCheck = true;

  meta = {