pkgs/applications/science/logic/redprl/default.nix

   1 { lib, stdenv, fetchFromGitHub, mlton }:
   2
   3 stdenv.mkDerivation {
   4   pname = "redprl";
   5   version = "unstable-2019-11-04";
   6
   7   src = fetchFromGitHub {
   8     owner = "RedPRL";
   9     repo = "sml-redprl";
  10     rev = "c72190de76f7ed1cfbe1d2046c96e99ac5022b0c";
  11     fetchSubmodules = true;
  12     hash = "sha256-xrQT5o0bsIN+mCYUOz9iY4+j3HGROb1I6R2ADcLy8n4=";
  13   };
  14
  15   buildInputs = [ mlton ];
  16
  17   postPatch = ''
  18     patchShebangs ./script/
  19   '';
  20
  21   buildPhase = ''
  22     ./script/mlton.sh
  23   '';
  24
  25   installPhase = ''
  26     mkdir -p $out/bin
  27     mv ./bin/redprl $out/bin
  28   '';
  29
  30   meta = with lib; {
  31     description = "Proof assistant for Nominal Computational Type Theory";
  32     mainProgram = "redprl";
  33     homepage = "http://www.redprl.org/";
  34     license = licenses.mit;
  35     maintainers = with maintainers; [ acowley ];
  36     platforms = platforms.unix;
  37   };
  38 }