Commit ca687410 authored by Guillaume Girol's avatar Guillaume Girol
Browse files

ocamlPackages.prof_spacetime: remove 

currently does not build, unmaintained upstream, and only useful for
ocaml <= 4.11 as spacetime was removed in ocaml 4.12
parent 301aada7

pkgs/development/ocaml-modules/prof_spacetime/default.nix

deleted100644 → 0
+0 −45
Original line number Diff line number Diff line 
{ buildDunePackage

, lib

, fetchFromGitHub

, ocaml

, cmdliner

, spacetime_lib

, yojson

, cohttp

, ocaml_lwt

, cohttp-lwt-unix

, lambda-term

, stdlib-shims

}:



buildDunePackage rec {

  pname = "prof_spacetime";

  version = "0.3.0";

  useDune2 = true;



  src = fetchFromGitHub {

    owner = "lpw25";

    repo = pname;

    rev = version;

    sha256 = "1s88gf6x5almmyi58zx4q23w89mvahfjwhvyfg29ya5s1pjbc9hi";

  };



  buildInputs = [

    cmdliner

    spacetime_lib

    yojson

    cohttp

    ocaml_lwt

    cohttp-lwt-unix

    lambda-term

    stdlib-shims

  ];



  meta = {

    description = "A viewer for OCaml spacetime profiles";

    license = lib.licenses.mit;

    maintainers = [ lib.maintainers.symphorien ];

    broken = true; # 2022-10-20, doesn't work with updated lambda-term

    inherit (src.meta) homepage;

  };

}

pkgs/top-level/ocaml-packages.nix

+0 −2
Original line number Diff line number Diff line
@@ -1326,8 +1326,6 @@ let 


    process = callPackage ../development/ocaml-modules/process { };



    prof_spacetime = callPackage ../development/ocaml-modules/prof_spacetime { };



    progress = callPackage ../development/ocaml-modules/progress { };



    promise_jsoo = callPackage ../development/ocaml-modules/promise_jsoo { };