GNU bug report logs - #45762
[PATCH] ocaml: Add ocaml-down and ocaml-ocp-index

Previous Next

Full log

Message #17 received at 45762 <at> debbugs.gnu.org (full text, mbox):

From: aecepoglu <aecepoglu <at> fastmail.fm>
To: 45762 <at> debbugs.gnu.org
Subject: [PATCH 2/3] ocaml: Add ocaml-ocp-index * gnu/packages/ocaml.scm
 (ocaml-ocp-index): New variable.
Date: Mon, 11 Jan 2021 23:55:33 +0300

---
 gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index d2e2f03f3a..00978fa138 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2400,6 +2400,37 @@ Includes:
   or just for fault-tolerant/approximate parsing.")
     (license license:lgpl2.1)))
 
+(define-public ocaml-ocp-index
+  (package
+    (name "ocaml-ocp-index")
+    (version "1.2.1")
+    (source
+      (origin
+        (method url-fetch)
+        (uri "https://github.com/OCamlPro/ocp-index/archive/1.2.1.tar.gz")
+        (sha256
+          (base32
+            "169msb3k1ip5lp79lr62nsk715rwrn53x9jcrnxz4js7c0fv0cyr"))))
+    (build-system dune-build-system)
+    (arguments
+     `(#:package "ocp-index"))
+    (propagated-inputs
+     `(("ocaml-ocp-indent" ,ocaml-ocp-indent)
+       ("ocaml-re" ,ocaml-re)
+       ("ocaml-cmdliner" ,ocaml-cmdliner)))
+    (native-inputs
+     `(("ocaml-cppo" ,ocaml-cppo)))
+    (home-page
+      "http://www.typerex.org/ocp-index.html")
+    (synopsis
+      "Lightweight completion and documentation browsing for OCaml libraries")
+    (description
+      "This package includes only the `ocp-index` library
+and command-line tool.")
+    (license license:gpl3))) ; all files in libs/ are GNU lgpl2.1
+                             ; for static linking clause 6 of LGPL is lifted
+                             ; all other files under GNU gpl3
+
 (define-public ocaml-ocurl
   (package
     (name "ocaml-ocurl")
-- 
2.29.2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.