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 = "ceptre";
10 version = "0-unstable-2024-08-26";
11
12 src = fetchFromGitHub {
13 owner = "chrisamaphone";
14 repo = "interactive-lp";
15 rev = "22df9ff622f3363824f345089a25016e2a897077";
16 hash = "sha256-MKA/289KWIYzHW0RbHC0Q2fMJT45WcABZrNsCWKZr4Y=";
17 fetchSubmodules = true;
18 };
19
20 nativeBuildInputs = [ mlton ];
21
22 installPhase = ''
23 runHook preInstall
24 mkdir -p $out/bin
25 cp ceptre $out/bin
26 runHook postInstall
27 '';
28
29 meta = {
30 description = "Linear logic programming language for modeling generative interactive systems";
31 mainProgram = "ceptre";
32 homepage = "https://github.com/chrisamaphone/interactive-lp";
33 maintainers = with lib.maintainers; [
34 NotAShelf
35 pSub
36 ];
37 platforms = lib.platforms.unix;
38 license = lib.licenses.unfree;
39 };
40}