pyrox.dev
lol
1{ fetchgit, stdenv, smlnj, which }:
2
3stdenv.mkDerivation rec {
4 name = "jonprl-${version}";
5 version = "0.1.0";
6
7 src = fetchgit {
8 url = "https://github.com/jonsterling/JonPRL.git";
9 deepClone = true;
10 rev = "refs/tags/v${version}";
11 sha256 = "1z0d8dq1nb4dycic58nnk617hbfgafz0vmwr8gkl0i6405gfg1zy";
12 };
13
14 buildInputs = [ smlnj which ];
15
16 installPhase = ''
17 mkdir -p "$out/bin"
18 cp bin/.heapimg.* "$out/bin/"
19 build/mkexec.sh "${smlnj}/bin/sml" "$out" jonprl
20 '';
21
22 meta = {
23 description = "Proof Refinement Logic - Computational Type Theory";
24 longDescription = ''
25 An proof refinement logic for computational type theory
26 based on Brouwer-realizability & meaning explanations.
27 Inspired by Nuprl
28 '';
29 homepage = http://www.jonprl.org/;
30 license = stdenv.lib.licenses.mit;
31 maintainers = with stdenv.lib.maintainers; [ puffnfresh ];
32 platforms = stdenv.lib.platforms.unix;
33 };
34}