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