about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2018-09-16 04:37:08 +0000
committerVincent Laporte <vbgl@users.noreply.github.com>2018-09-24 05:08:37 +0000
commit886acaff116ab3678d267b904ffbdd763c57efb5 (patch)
tree69e4bc8a21efe9ac9c0ae3001547a19512ae68e3 /pkgs/development/ocaml-modules
parent41f06396ccb6fe0c200c888b7558853b39c98a4d (diff)
downloadnixlib-886acaff116ab3678d267b904ffbdd763c57efb5.tar
nixlib-886acaff116ab3678d267b904ffbdd763c57efb5.tar.gz
nixlib-886acaff116ab3678d267b904ffbdd763c57efb5.tar.bz2
nixlib-886acaff116ab3678d267b904ffbdd763c57efb5.tar.lz
nixlib-886acaff116ab3678d267b904ffbdd763c57efb5.tar.xz
nixlib-886acaff116ab3678d267b904ffbdd763c57efb5.tar.zst
nixlib-886acaff116ab3678d267b904ffbdd763c57efb5.zip
ocamlPackages.doc-ock-xml: init at 1.2.1
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r--pkgs/development/ocaml-modules/doc-ock-xml/default.nix27
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/doc-ock-xml/default.nix b/pkgs/development/ocaml-modules/doc-ock-xml/default.nix
new file mode 100644
index 000000000000..72e562cb5f36
--- /dev/null
+++ b/pkgs/development/ocaml-modules/doc-ock-xml/default.nix
@@ -0,0 +1,27 @@
+{ stdenv, fetchFromGitHub, ocaml, findlib, dune, doc-ock, menhir, xmlm }:
+
+stdenv.mkDerivation rec {
+  name = "ocaml${ocaml.version}-doc-ock-xml-${version}";
+  version = "1.2.1";
+
+  src = fetchFromGitHub {
+    owner = "ocaml-doc";
+    repo = "doc-ock-xml";
+    rev = "v${version}";
+    sha256 = "1s27ri7vj9ixi5p5ixg6g6invk96807bvxbqjrr1dm8sxgl1nd20";
+  };
+
+  buildInputs = [ ocaml findlib dune ];
+
+  propagatedBuildInputs = [ doc-ock menhir xmlm ];
+
+  inherit (dune) installPhase;
+
+  meta = {
+    description = "XML printer and parser for Doc-Ock";
+    license = stdenv.lib.licenses.isc;
+    maintainers = [ stdenv.lib.maintainers.vbgl ];
+    inherit (ocaml.meta) platforms;
+    inherit (src.meta) homepage;
+  };
+}