pkgs/by-name/ce/ceptre/package.nix

   1 { lib, stdenv, fetchFromGitHub, mlton }:
   2
   3 stdenv.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     hash = "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 = "Linear logic programming language for modeling generative interactive systems";
  24     mainProgram = "ceptre";
  25     homepage = "https://github.com/chrisamaphone/interactive-lp";
  26     maintainers = with maintainers; [ pSub ];
  27     platforms = platforms.unix;
  28   };
  29 }