tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, stdenv, fetchFromGitHub, mlton }:
2
3stdenv.mkDerivation {
4 pname = "ceptre";
5 version = "unstable-2016-11-27";
6
7 src = fetchFromGitHub {
8 owner = "chrisamaphone";
9 repo = "interactive-lp";
10 rev = "e436fda2ccd44e9c9d226feced9d204311deacf5";
11 sha256 = "sha256-COYrE9O/Y1/ZBNHNakBwrUVklCuk144RF9bjwa3rl5w=";
12 fetchSubmodules = true;
13 };
14
15 nativeBuildInputs = [ mlton ];
16
17 installPhase = ''
18 mkdir -p $out/bin
19 cp ceptre $out/bin
20 '';
21
22 meta = with lib; {
23 description = "A linear logic programming language for modeling generative interactive systems";
24 homepage = "https://github.com/chrisamaphone/interactive-lp";
25 maintainers = with maintainers; [ pSub ];
26 platforms = platforms.unix;
27 };
28}