pkgs/development/tools/analysis/sparse/tests.nix

   1 { runCommand, gcc, sparse, writeText }:
   2 let
   3   src = writeText "CODE.c" ''
   4     #include <stdio.h>
   5     #include <stddef.h>
   6     #include <stdlib.h>
   7
   8     int main(int argc, char *argv[]) {
   9       return EXIT_SUCCESS;
  10     }
  11   '';
  12 in
  13   runCommand "${sparse.pname}-tests" { buildInputs = [ gcc sparse ]; meta.timeout = 3; }
  14 ''
  15   set -eu
  16   ${sparse}/bin/cgcc ${src} > output 2>&1 || ret=$?
  17   if [[ -z $(<output) ]]; then
  18     mv output $out
  19   else
  20     echo "Test build returned $ret"
  21     cat output
  22     exit 1
  23   fi
  24 ''