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