about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/rope
diff options
context:
space:
mode:
authorVolth <volth@webmaster.ms>2017-07-04 21:39:37 +0000
committerVincent Laporte <Vincent.Laporte@gmail.com>2017-07-05 17:48:45 +0000
commit18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e (patch)
tree79e4981392ab99754241354cfc70d096197d459d /pkgs/development/ocaml-modules/rope
parentf9a2866508c1133ea54d4174feb8a76b689eb616 (diff)
downloadnixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.tar
nixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.tar.gz
nixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.tar.bz2
nixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.tar.lz
nixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.tar.xz
nixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.tar.zst
nixlib-18e3799cd1fcce8a1b37e182e65e3edc4c0f0a0e.zip
ocamlPackages.{benchmark,obuild,ptmap,rope}: init at 1.4, 0.1.8, 2.0.1, 0.5
Diffstat (limited to 'pkgs/development/ocaml-modules/rope')
-rw-r--r--pkgs/development/ocaml-modules/rope/default.nix24
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/rope/default.nix b/pkgs/development/ocaml-modules/rope/default.nix
new file mode 100644
index 000000000000..a62c321a4e83
--- /dev/null
+++ b/pkgs/development/ocaml-modules/rope/default.nix
@@ -0,0 +1,24 @@
+{ stdenv, fetchzip, ocaml, findlib, ocamlbuild, benchmark }:
+
+let version = "0.5"; in
+
+stdenv.mkDerivation {
+  name = "ocaml${ocaml.version}-rope-${version}";
+
+  src = fetchzip {
+    url = "https://forge.ocamlcore.org/frs/download.php/1156/rope-${version}.tar.gz";
+    sha256 = "1i8kzg19jrapl30mq8m91vy09z0r0dl4bnpw24ga96w8pxqf9qhd";
+  };
+
+  buildInputs = [ ocaml findlib ocamlbuild benchmark ];
+
+  createFindlibDestdir = true;
+
+  meta = {
+    homepage = http://rope.forge.ocamlcore.org/;
+    platforms = ocaml.meta.platforms or [];
+    description = ''Ropes ("heavyweight strings") in OCaml'';
+    license = stdenv.lib.licenses.lgpl21;
+    maintainers = with stdenv.lib.maintainers; [ volth ];
+  };
+}