From b094768e99782162f6f3c2554a0f983d738f0539 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 13 Jan 2015 11:17:25 +0100 Subject: [PATCH] Adds ocaml-gtktop Gtktop is a small OCaml library to ease the creation of graphical toplevels. Homepage: http://zoggy.github.io/gtktop/ --- .../ocaml-modules/gtktop/default.nix | 25 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 2 ++ 2 files changed, 27 insertions(+) create mode 100644 pkgs/development/ocaml-modules/gtktop/default.nix diff --git a/pkgs/development/ocaml-modules/gtktop/default.nix b/pkgs/development/ocaml-modules/gtktop/default.nix new file mode 100644 index 000000000000..ca0687882879 --- /dev/null +++ b/pkgs/development/ocaml-modules/gtktop/default.nix @@ -0,0 +1,25 @@ +{ stdenv, fetchurl, ocaml, camlp4, findlib, lablgtk-extras }: + +let pname = "gtktop-2.0"; in + +stdenv.mkDerivation { + name = "ocaml-${pname}"; + + src = fetchurl { + url = "http://zoggy.github.io/gtktop/${pname}.tar.gz"; + sha256 = "0cpmnavvham9mwxknm6df90g9qxabcvn2kfwlf9mncqa0z3rknz6"; + }; + + buildInputs = [ ocaml camlp4 findlib ]; + propagatedBuildInputs = [ lablgtk-extras ]; + + createFindlibDestdir = true; + + meta = { + homepage = http://zoggy.github.io/gtktop/; + description = "A small OCaml library to ease the creation of graphical toplevels"; + license = stdenv.lib.licenses.lgpl3; + maintainers = with stdenv.lib.maintainers; [ vbgl ]; + platforms = ocaml.meta.platforms; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 80ec3ecff77e..7fe6b9f53fe5 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3747,6 +3747,8 @@ let gmetadom = callPackage ../development/ocaml-modules/gmetadom { }; + gtktop = callPackage ../development/ocaml-modules/gtktop { }; + js_of_ocaml = callPackage ../development/tools/ocaml/js_of_ocaml { }; lablgl = callPackage ../development/ocaml-modules/lablgl { };