GNU bug report logs - #29034
[PATCH 0/5] Add ocaml-utop and dependencies

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 29034 in the body.
You can then email your comments to 29034 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: Peter Kreye <kreyepr <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/5] Add ocaml-utop and dependencies
Date: Fri, 27 Oct 2017 18:10:33 -0500

Hi,

This patch series adds UTop and its dependencies for OCaml. In order to
get a recent version of utop to build, a more recent version of
ocaml-findlib was needed.

Thanks,
Peter

Peter Kreye (5):
  gnu: Add ocaml-jbuilder.
  gnu: Add ocaml-zed.
  gnu: Add ocaml-lambda-term.
  gnu: Add ocaml-findlib-1.7.3.
  gnu: Add ocaml-utop.

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

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

From: Peter Kreye <kreyepr <at> gmail.com>
To: 29034 <at> debbugs.gnu.org
Subject: [PATCH 1/5] gnu: Add ocaml-jbuilder.
Date: Thu, 26 Oct 2017 17:02:49 -0500

* gnu/packages/ocaml.scm (ocaml-jbuilder): New variable.
---
 gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index b13168c7d..2df9cc1a2 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3557,6 +3557,40 @@ library is currently designed for Unicode Standard 3.2.")
     ;; with an exception for linked libraries to use a different license
     (license license:lgpl2.0+)))
 
+(define-public ocaml-jbuilder
+  (package
+    (name "ocaml-jbuilder")
+    (version "1.0+beta14")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://github.com/janestreet/jbuilder/archive/"
+                    version ".tar.gz"))
+              (file-name (string-append name "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "06jdcb4jmmp4wqyf9cm59jzgj0mxkpdzd9q3728gdxc1sz3v1sz0"))))
+    (build-system ocaml-build-system)
+    (arguments
+     `(#:phases
+       (modify-phases %standard-phases
+         (replace 'configure
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let ((out (assoc-ref outputs "out")))
+               (setenv "PREFIX" out))
+             #t)))))
+    (native-inputs
+     `(("menhir" ,ocaml-menhir)))
+    (propagated-inputs
+     `(("opam" ,opam)))
+    (home-page "https://github.com/janestreet/jbuilder")
+    (synopsis "Composable build system for OCaml")
+    (description "Jbuilder is a build system designed for OCaml/Reason projects
+only.  It focuses on providing the user with a consistent experience and takes
+care of most of the low-level details of OCaml compilation.  All you have to do
+is provide a description of your project and Jbuilder will do the rest.")
+    (license license:asl2.0)))
+
 (define-public coq-flocq
   (package
     (name "coq-flocq")
-- 
2.14.2

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

From: Peter Kreye <kreyepr <at> gmail.com>
To: 29034 <at> debbugs.gnu.org
Subject: [PATCH 2/5] gnu: Add ocaml-zed.
Date: Fri, 27 Oct 2017 18:31:57 -0500

* gnu/packages/ocaml.scm (ocaml-zed): New variable.
---
 gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2df9cc1a2..5fdc8e09c 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3591,6 +3591,43 @@ care of most of the low-level details of OCaml compilation.  All you have to do
 is provide a description of your project and Jbuilder will do the rest.")
     (license license:asl2.0)))
 
+(define-public ocaml-zed
+  (package
+    (name "ocaml-zed")
+    (version "1.5")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "https://github.com/diml/zed/archive/"
+                                  version ".tar.gz"))
+              (file-name (string-append name "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "1q281slzwgdrrxalayll75bxgghadswlh2zcvzy08nrywqnlq5y8"))))
+    (build-system ocaml-build-system)
+    (arguments
+     `(#:phases
+       (modify-phases %standard-phases
+         (delete 'configure)
+         (replace 'build
+           (lambda* (#:key #:allow-other-keys)
+             (zero? (system* "jbuilder" "build"))))
+         (delete 'check)
+         (replace 'install
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let ((out (assoc-ref outputs "out")))
+               (zero? (system* "jbuilder" "install" "--prefix" out))))))))
+    (native-inputs
+     `(("jbuilder" ,ocaml-jbuilder)))
+    (propagated-inputs
+     `(("camomile" ,ocaml-camomile)
+       ("react" ,ocaml-react)))
+    (home-page "https://github.com/diml/zed")
+    (synopsis "Abstract engine for text editing in OCaml")
+    (description "Zed is an abstract engine for text edition.  It can be used
+to write text editors, edition widgets, readlines, etc.  You just have to
+connect an engine to your inputs and rendering functions to get an editor.")
+    (license license:bsd-3)))
+
 (define-public coq-flocq
   (package
     (name "coq-flocq")
-- 
2.14.2

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

From: Peter Kreye <kreyepr <at> gmail.com>
To: 29034 <at> debbugs.gnu.org
Subject: [PATCH 3/5] gnu: Add ocaml-lambda-term.
Date: Fri, 27 Oct 2017 18:32:45 -0500

* gnu/packages/ocaml.scm (ocaml-zed): New variable.
---
 gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 5fdc8e09c..712cc91e0 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3628,6 +3628,48 @@ to write text editors, edition widgets, readlines, etc.  You just have to
 connect an engine to your inputs and rendering functions to get an editor.")
     (license license:bsd-3)))
 
+(define-public ocaml-lambda-term
+  (package
+    (name "ocaml-lambda-term")
+    (version "1.11")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://github.com/diml/lambda-term/archive/"
+                           version ".tar.gz"))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32 "10lx1jqgmmfwwlv64di4a8nia9l53v7179z70n9fx6aq5l7r8nba"))))
+    (build-system ocaml-build-system)
+    (arguments
+     `(#:test-target "test"
+       #:phases
+       (modify-phases %standard-phases
+         (delete 'configure)
+         ;; currently, ocaml-lwt is an old version of lwt from before lwt.react
+         ;; was split into a separate module called lwt_react
+         (add-before 'build 'use-old-lwt-react-name
+           (lambda _
+             (substitute* "src/jbuild" (("lwt_react") "lwt.react"))))
+         (replace 'install
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let ((out (assoc-ref outputs "out")))
+               (zero? (system* "jbuilder" "install" "--prefix" out))))))))
+    (native-inputs
+     `(("jbuilder" ,ocaml-jbuilder)))
+    (propagated-inputs
+     `(("lwt" ,ocaml-lwt)
+       ("zed" ,ocaml-zed)))
+    (home-page "https://github.com/diml/lambda-term")
+    (synopsis "Terminal manipulation library for OCaml")
+    (description "Lambda-Term is a cross-platform library for manipulating the
+terminal.  It provides an abstraction for keys, mouse events, colors, as well as
+a set of widgets to write curses-like applications.  The main objective of
+Lambda-Term is to provide a higher level functional interface to terminal
+manipulation than, for example, ncurses, by providing a native OCaml interface
+instead of bindings to a C library.")
+    (license license:bsd-3)))
+
 (define-public coq-flocq
   (package
     (name "coq-flocq")
-- 
2.14.2

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

From: Peter Kreye <kreyepr <at> gmail.com>
To: 29034 <at> debbugs.gnu.org
Subject: [PATCH 4/5] gnu: Add ocaml-findlib-1.7.3.
Date: Fri, 27 Oct 2017 18:33:25 -0500

* gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): New variable.
---
 gnu/packages/ocaml.scm | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 712cc91e0..403176452 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -844,6 +844,41 @@ brought up to date by propagating the changes in each replica
 to the other.")
     (license license:gpl3+)))
 
+(define-public ocaml-findlib-1.7.3
+  (package
+    (inherit ocaml-findlib)
+    (version "1.7.3")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "http://download.camlcity.org/download/"
+                                  "findlib" "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni"))))
+    (arguments
+     `(#:tests? #f  ; no test suite
+       #:parallel-build? #f
+       #:make-flags (list "all" "opt")
+       #:phases (modify-phases %standard-phases
+                  (replace
+                      'configure
+                    (lambda* (#:key outputs #:allow-other-keys)
+                      (let ((out (assoc-ref outputs "out")))
+                        (system*
+                         "./configure"
+                         "-bindir" (string-append out "/bin")
+                         "-config" (string-append out "/etc/ocamfind.conf")
+                         "-mandir" (string-append out "/share/man")
+                         "-sitelib" (string-append out "/lib/ocaml/site-lib")
+                         "-with-toolbox"))))
+                  (replace
+                      'install
+                    (lambda* (#:key outputs #:allow-other-keys)
+                      (let ((out (assoc-ref outputs "out")))
+                        (system*
+                         "make" "install"
+                         (string-append "OCAML_CORE_STDLIB=" out))))))))))
+
 (define-public ocaml-findlib
   (package
     (name "ocaml-findlib")
-- 
2.14.2

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

From: Peter Kreye <kreyepr <at> gmail.com>
To: 29034 <at> debbugs.gnu.org
Subject: [PATCH 5/5] gnu: Add ocaml-utop.
Date: Fri, 27 Oct 2017 18:34:13 -0500

* gnu/packages/ocaml.scm (ocaml-utop): New variable.
---
 gnu/packages/ocaml.scm | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 403176452..474d7653b 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3705,6 +3705,50 @@ manipulation than, for example, ncurses, by providing a native OCaml interface
 instead of bindings to a C library.")
     (license license:bsd-3)))
 
+(define-public ocaml-utop
+  (package
+    (name "ocaml-utop")
+    (version "2.0.1")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "https://github.com/diml/utop/archive/"
+                                  version ".tar.gz"))
+              (file-name (string-append name "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "1v22bzw1vgwbbmpvi7lkyp2r59w5mag85rmqplb4fwik78x7k4ss"))))
+    (build-system gnu-build-system)
+    (arguments
+     `(#:test-target "test"
+       #:phases
+       (modify-phases %standard-phases
+         (delete 'configure)
+         (replace 'install
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let* ((out (assoc-ref outputs "out"))
+                    (libdir (string-append out "/lib/ocaml/site-lib")))
+               (mkdir-p libdir)
+               (zero? (system* "jbuilder" "install"
+                               "--prefix" out
+                               "--libdir" libdir))))))))
+    (native-inputs
+     `(("ocaml" ,ocaml)
+       ("cppo" ,ocaml-cppo)
+       ("jbuilder" ,ocaml-jbuilder)))
+    (propagated-inputs
+     `(("findlib" ,ocaml-findlib-1.7.3)
+       ("lambda-term" ,ocaml-lambda-term)
+       ("lwt" ,ocaml-lwt)
+       ("react" ,ocaml-react)
+       ("camomile" ,ocaml-camomile)
+       ("zed" ,ocaml-zed)))
+    (home-page "https://github.com/diml/utop")
+    (synopsis "Improved interface to the OCaml toplevel")
+    (description "UTop is an improved toplevel for OCaml.  It can run in a
+terminal or in Emacs.  It supports line editing, history, real-time and context
+sensitive completion, colors, and more.")
+    (license license:bsd-3)))
+
 (define-public coq-flocq
   (package
     (name "coq-flocq")
-- 
2.14.2

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Peter Kreye <kreyepr <at> gmail.com>
Cc: 29034 <at> debbugs.gnu.org
Subject: Re: [bug#29034] [PATCH 1/5] gnu: Add ocaml-jbuilder.
Date: Sat, 28 Oct 2017 10:08:44 +0200

Hello,

Peter Kreye <kreyepr <at> gmail.com> skribis:

> * gnu/packages/ocaml.scm (ocaml-jbuilder): New variable.

Applied!

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Peter Kreye <kreyepr <at> gmail.com>
Cc: 29034 <at> debbugs.gnu.org
Subject: Re: [bug#29034] [PATCH 2/5] gnu: Add ocaml-zed.
Date: Sat, 28 Oct 2017 10:11:28 +0200

Peter Kreye <kreyepr <at> gmail.com> skribis:

> * gnu/packages/ocaml.scm (ocaml-zed): New variable.

Applied!

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Peter Kreye <kreyepr <at> gmail.com>
Cc: 29034 <at> debbugs.gnu.org
Subject: Re: [bug#29034] [PATCH 3/5] gnu: Add ocaml-lambda-term.
Date: Sat, 28 Oct 2017 10:18:56 +0200

Peter Kreye <kreyepr <at> gmail.com> skribis:

> * gnu/packages/ocaml.scm (ocaml-zed): New variable.

Applied!

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Peter Kreye <kreyepr <at> gmail.com>
Cc: 29034 <at> debbugs.gnu.org
Subject: Re: [bug#29034] [PATCH 4/5] gnu: Add ocaml-findlib-1.7.3.
Date: Sat, 28 Oct 2017 10:36:49 +0200

Peter Kreye <kreyepr <at> gmail.com> skribis:

> * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): New variable.

I rewrote it a bit to reduce duplication:

--8<---------------cut here---------------start------------->8---
(define-public ocaml-findlib-1.7.3
  (package
    (inherit ocaml-findlib)
    (version "1.7.3")
    (source (origin
              (method url-fetch)
              (uri (string-append "http://download.camlcity.org/download/"
                                  "findlib" "-" version ".tar.gz"))
              (sha256
               (base32
                "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni"))))
    (arguments
     (substitute-keyword-arguments (package-arguments ocaml-findlib)
       ((#:phases phases)
        `(modify-phases ,phases
           (replace 'install
             (lambda* (#:key outputs #:allow-other-keys)
               (let ((out (assoc-ref outputs "out")))
                 (zero? (system* "make" "install"
                                 (string-append "OCAML_CORE_STDLIB="
                                                out))))))))))))
--8<---------------cut here---------------end--------------->8---

Hope that’s fine with you!

Also, what would it take to upgrade ocaml-findlib <at> 1.6 to this one?
That’s something we should do if there are no compatibility issues.

Thanks,
Ludo’.

Message #37 received at 29034-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Peter Kreye <kreyepr <at> gmail.com>
Cc: 29034-done <at> debbugs.gnu.org
Subject: Re: [bug#29034] [PATCH 5/5] gnu: Add ocaml-utop.
Date: Sat, 28 Oct 2017 10:37:40 +0200

Peter Kreye <kreyepr <at> gmail.com> skribis:

> * gnu/packages/ocaml.scm (ocaml-utop): New variable.

Applied.

Thanks for this patch series, and welcome!  :-)

Ludo’.

Previous Next

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