[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#52039] [PATCH v2 7/7] gnu: Add ocaml-utop.
From: |
zimoun |
Subject: |
[bug#52039] [PATCH v2 7/7] gnu: Add ocaml-utop. |
Date: |
Mon, 22 Nov 2021 18:37:02 +0100 |
* gnu/packages/ocaml.scm (ocaml-utop): New variable.
(ocaml4.07-utop): Inherit and adjust.
---
gnu/packages/ocaml.scm | 52 +++++++++++++++++++++++++++++-------------
1 file changed, 36 insertions(+), 16 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 844d018ded..0551aec589 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4125,40 +4125,60 @@ (define-public ocaml4.07-lambda-term
("ocaml-zed" ,ocaml4.07-zed)))
(properties '()))))
-(define-public ocaml4.07-utop
+(define-public ocaml-utop
(package
- (name "ocaml4.07-utop")
- (version "2.4.3")
+ (name "ocaml-utop")
+ (version "2.8.0")
+ (home-page "https://github.com/ocaml-community/utop")
(source
(origin
(method git-fetch)
(uri (git-reference
- (url "https://github.com/ocaml-community/utop")
+ (url home-page)
(commit version)))
(file-name (git-file-name name version))
(sha256
- (base32 "1bl4943qpi3qy152dbdm5glhx19zsiylmn4rcxi8l66g58hikyjp"))))
+ (base32 "1zf4hg33sblzh2f65vk0292jg4jlwa8702kfwpsg1kcg4w6nsfdp"))))
(build-system dune-build-system)
(arguments
- `(#:test-target "."
- #:ocaml ,ocaml-4.07
- #:findlib ,ocaml4.07-findlib
- #:dune ,ocaml4.07-dune))
+ '(#:test-target "."))
(native-inputs
- `(("cppo" ,(package-with-ocaml4.07 ocaml-cppo))))
+ `(("ocaml-cppo" ,ocaml-cppo)))
(propagated-inputs
- `(("lambda-term" ,ocaml4.07-lambda-term)
- ("lwt" ,(package-with-ocaml4.07 ocaml-lwt))
- ("react" ,(package-with-ocaml4.07 ocaml-react))
- ("camomile" ,(package-with-ocaml4.07 ocaml-camomile))
- ("zed" ,ocaml4.07-zed)))
- (home-page "https://github.com/ocaml-community/utop")
+ `(("ocaml-lambda-term" ,ocaml-lambda-term)
+ ("ocaml-lwt" ,ocaml-lwt)
+ ("ocaml-lwt-react" ,ocaml-lwt-react)
+ ("ocaml-camomile" ,ocaml-camomile)
+ ("ocaml-react" ,ocaml-react)))
+ (properties `((ocaml4.07-variant . ,(delay ocaml4.07-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 ocaml4.07-utop
+ (package-with-ocaml4.07
+ (package
+ (inherit ocaml-utop)
+ (version "2.4.3")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/ocaml-community/utop")
+ (commit version)))
+ (file-name (git-file-name "ocaml4.07-utop" version))
+ (sha256
+ (base32 "1bl4943qpi3qy152dbdm5glhx19zsiylmn4rcxi8l66g58hikyjp"))))
+ (propagated-inputs
+ `(("lambda-term" ,ocaml4.07-lambda-term)
+ ("lwt" ,(package-with-ocaml4.07 ocaml-lwt))
+ ("react" ,(package-with-ocaml4.07 ocaml-react))
+ ("camomile" ,(package-with-ocaml4.07 ocaml-camomile))
+ ("zed" ,ocaml4.07-zed)))
+ (properties '()))))
+
(define-public ocaml-integers
(package
(name "ocaml-integers")
--
2.32.0
- [bug#52039] [PATCH 3/7] gnu: Add ocaml-mew-vi., (continued)
- [bug#52039] [PATCH 3/7] gnu: Add ocaml-mew-vi., zimoun, 2021/11/22
- [bug#52039] [PATCH 4/7] gnu: ocaml-charinfo-width: Fix source to get 'LICENSE' file., zimoun, 2021/11/22
- [bug#52039] [PATCH 5/7] gnu: Add ocaml-zed., zimoun, 2021/11/22
- [bug#52039] [PATCH 6/7] gnu: Add ocaml-lambda-term., zimoun, 2021/11/22
- [bug#52039] [PATCH 7/7] gnu: Add ocaml-utop., zimoun, 2021/11/22
- [bug#52039] [PATCH v2 1/7] gnu: Add ocaml-trie., zimoun, 2021/11/22
- [bug#52039] [PATCH v2 3/7] gnu: Add ocaml-mew-vi., zimoun, 2021/11/22
- [bug#52039] [PATCH v2 4/7] gnu: ocaml-charinfo-width: Fix source to get 'LICENSE' file., zimoun, 2021/11/22
- [bug#52039] [PATCH v2 5/7] gnu: Add ocaml-zed., zimoun, 2021/11/22
- [bug#52039] [PATCH v2 6/7] gnu: Add ocaml-lambda-term., zimoun, 2021/11/22
- [bug#52039] [PATCH v2 7/7] gnu: Add ocaml-utop.,
zimoun <=
- [bug#52039] [PATCH v2 2/7] gnu: Add ocaml-mew., zimoun, 2021/11/22
- bug#52039: [PATCH 0/7] Add utop., Julien Lepiller, 2021/11/23