diff options
| author | Symphorien Gibol <symphorien+git@xlumurb.eu> | 2020-07-17 16:01:52 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-08-12 14:01:44 +0200 |
| commit | 5810d6681fa4327db6b37252f72eb6ae175575ee (patch) | |
| tree | 9a73642db8b0dbf642c000b5a643b5628ab59c78 /pkgs/development/ocaml-modules/prof_spacetime | |
| parent | 5aca42698e15545071bed5dbb4388e8d986b06bf (diff) | |
ocamlPackages.prof_spacetime: init at 0.3.0
Diffstat (limited to 'pkgs/development/ocaml-modules/prof_spacetime')
| -rw-r--r-- | pkgs/development/ocaml-modules/prof_spacetime/default.nix | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/prof_spacetime/default.nix b/pkgs/development/ocaml-modules/prof_spacetime/default.nix new file mode 100644 index 000000000000..91e30e155db4 --- /dev/null +++ b/pkgs/development/ocaml-modules/prof_spacetime/default.nix @@ -0,0 +1,43 @@ +{ buildDunePackage +, lib +, fetchFromGitHub +, cmdliner +, spacetime_lib +, yojson +, cohttp +, ocaml_lwt +, cohttp-lwt-unix +, lambdaTerm +, 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 + lambdaTerm + stdlib-shims + ]; + + meta = { + description = "A viewer for OCaml spacetime profiles"; + license = lib.licenses.mit; + maintainers = [ lib.maintainers.symphorien ]; + inherit (src.meta) homepage; + }; +} |