default.nix

{ stdenv, makeWrapper, pythonPackages }:
let
  pkgs = import <nixpkgs> {};
in
with pythonPackages; buildPythonApplication rec {
  name = "scyther-${version}";
  version = "1.1.3";
  src = pkgs.fetchzip {
    url = "https://www.cs.ox.ac.uk/people/cas.cremers/downloads/scyther/scyther-linux-v${version}.tgz";
    sha256 = "129sm9l2lawdpaw82a21958ni4a8vhn2fjvh3v5gilqz8li59bv5";
  };
  buildInputs = with pkgs; [
         python27
     wxPython
     graphviz
  ];

  format = "other";

  installPhase = ''
    mkdir -p "$out/src"
    mv * "$out/src"
    makeWrapper "$out/src/scyther-gui.py" "$out/bin/scyther"
  '';
}