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

   1 { lib, stdenv, fetchFromGitHub, smlnj }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "celf";
   5   pversion = "2013-07-25";
   6   name = "${pname}-${pversion}";
   7
   8   src = fetchFromGitHub {
   9     owner  = "clf";
  10     repo   = pname;
  11     rev    = "d61d95900ab316468ae850fa34a2fe9488bc5b59";
  12     sha256 = "0slrwcxglp0sdbp6wr65cdkl5wcap2i0fqxbwqfi1q3cpb6ph6hq";
  13   };
  14
  15   buildInputs = [ smlnj ];
  16
  17   # (can also build with MLton)
  18   buildPhase = ''
  19     export SMLNJ_HOME=${smlnj}
  20     sml < main-export.sml
  21   '';
  22
  23   installPhase = ''
  24     mkdir -p $out/bin
  25     cp .heap* $out/bin/
  26     ./.mkexec ${smlnj}/bin/sml $out/bin celf
  27   '';
  28
  29   meta = with lib; {
  30     description = "Linear logic programming system";
  31     mainProgram = "celf";
  32     homepage = "https://github.com/clf/celf";
  33     license = licenses.gpl3;
  34     maintainers = with maintainers; [ bcdarwin ];
  35     platforms = platforms.unix;
  36   };
  37 }