boogie.nix

{ pkgs ? import <nixpkgs> {} }:

let self = pkgs.dotnetPackages.override {
  overrides = {
    Boogie = pkgs.buildDotnetPackage rec {
      baseName = "Boogie";
      version = "20160909";
      rev = "428cb5ea2f6efd3b6be7733c79ab963e3326c95b";
      sha256 = "0j4y53bjxcx1spqwqb1mafk1qi9117w2qh8zwa47y252iayvqgxj";

      src = pkgs.fetchFromGitHub {
        owner = "boogie-org";
        repo = "boogie";
        inherit rev sha256;
      };

      buildInputs = with self; [ NUnitRunners ];

      xBuildFiles = [ "Source/Boogie.sln" ];

      outputFiles = [ "Binaries/*" ];

      meta = with pkgs.stdenv.lib; {
        description = "FIXME.";
        homepage = "https://github.com/boogie-org/boogie";
        license = licenses.mit; # FIXME: MSPL
        maintainers = [ maintainers.taktoa ];
        platforms = platforms.linux;
      };
    };

    Dafny = pkgs.buildDotnetPackage rec {
      baseName = "Dafny";

      # version = "1.9.8";
      # rev = "6df61296ed877fc00768ed0807822c9aff2e7546";
      # sha256 = "0q86barssq2dz22zl5hfswmvb8hd9l2ana15w2373vj3n2s1qlx2";

      version = "20160902";
      rev = "e6fd2411a5d48cd4f7f7c49abf594512e732cc03";
      sha256 = "0idhpiah6kl4mgkcb2fjshcmqgqx59nxyjlkbpq7wx5bzwk99z0l";

      src = pkgs.fetchFromGitHub {
        owner = "Microsoft";
        repo = "dafny";
        inherit rev sha256;
      };

      buildInputs = with self; [ Boogie ];

      #preConfigure = ''
      #    mkdir -p ./Binaries/
      #    ln -s ${pkgs.z3_opt} ./Binaries/z3
      #'';

      xBuildFiles = [ "Source/Dafny.sln" ];

      outputFiles = [ "Binaries/*" ];

      meta = with pkgs.stdenv.lib; {
        description = "FIXME.";
        homepage = "https://github.com/Microsoft/dafny";
        license = licenses.mit;
        maintainers = [ maintainers.taktoa ];
        platforms = platforms.linux;
      };
    };
  };
};
in self