nixpkgs/pkgs/by-name/so/souffle/tests.nix

{
  stdenv,
  lib,
  souffle,
  runCommand,
}:
let
  simpleTest =
    { name, commands }:
    stdenv.mkDerivation {
      inherit name;
      meta.timeout = 60;
      buildCommand = ''
        echo -e '.decl A(X: number)\n.output A\nA(1).' > A.dl
        ${commands}
        [ "$(cat A.csv)" = "1" ]
        touch $out
      '';
    };
in
{
  interpret = simpleTest {
    name = "souffle-test-interpret";
    commands = "${souffle}/bin/souffle A.dl";
  };

  compile-in-one-step = simpleTest {
    name = "souffle-test-compile-in-one-step";
    commands = ''
      ${souffle}/bin/souffle -o A A.dl
      ./A
    '';
  };

  compile-in-two-steps = simpleTest {
    name = "souffle-test-compile-in-two-steps";
    commands = ''
      ${souffle}/bin/souffle -g A.cpp A.dl
      ${souffle}/bin/souffle-compile.py A.cpp -o A
      ./A
    '';
  };
}