From: Julien Lepiller <julien@lepiller.eu>
To: 53882@debbugs.gnu.org
Subject: [bug#53882] [PATCH 21/24] gnu: Add ocaml-core-kernel.
Date: Tue, 8 Feb 2022 21:14:47 +0100 [thread overview]
Message-ID: <84b05a81d6e195a11a234750e8f26a2711c0cbef.1644350658.git.julien@lepiller.eu> (raw)
In-Reply-To: <1dcef02fe1f5f25657c6427d09c43bfc41091050.1644350657.git.julien@lepiller.eu>
* gnu/packages/ocaml.scm (ocaml-core-kernel): New variable.
(ocaml4.07-core-kernel): Inherit from it.
---
gnu/packages/ocaml.scm | 118 +++++++++++++++++++++++++++--------------
1 file changed, 77 insertions(+), 41 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 6493613bfa..040c91e440 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -6887,58 +6887,94 @@ (define-public ocaml4.07-core
;; by OCaml's license for consortium members (see THIRD-PARTY.txt).
(license license:asl2.0)))
-(define-public ocaml4.07-core-kernel
+(define-public ocaml-core-kernel
(package
- (name "ocaml4.07-core-kernel")
- (version "0.11.1")
- (source (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/janestreet/core_kernel")
- (commit (string-append "v" version))))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "1dg7ygy7i64c5gaakb1cp1b26p9ks81vbxmb8fd7jff2q60j2z2g"))))
+ (name "ocaml-core-kernel")
+ (version "0.14.2")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/core_kernel")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1vxv9rq6m52n60gprm4sqjj1i1p4dd4sgns068hkp9g558d8zdjx"))))
(build-system dune-build-system)
(arguments
;; Cyclic dependency with ocaml-core
- `(#:tests? #f
- #:ocaml ,ocaml-4.07
- #:findlib ,ocaml4.07-findlib
- #:dune ,ocaml4.07-dune))
+ `(#:tests? #f))
(propagated-inputs
- `(("ocaml-base" ,(package-with-ocaml4.07 ocaml-base))
- ("ocaml-bin-prot" ,ocaml4.07-bin-prot)
- ("ocaml-configurator" ,ocaml4.07-configurator)
- ("ocaml-fieldslib" ,(package-with-ocaml4.07 ocaml-fieldslib))
- ("ocaml-jane-street-headers" ,ocaml4.07-jane-street-headers)
- ("ocaml-ppx-assert" ,(package-with-ocaml4.07 ocaml-ppx-assert))
- ("ocaml-ppx-base" ,(package-with-ocaml4.07 ocaml-ppx-base))
- ("ocaml-ppx-hash" ,(package-with-ocaml4.07 ocaml-ppx-hash))
- ("ocaml-ppx-inline-test" ,(package-with-ocaml4.07 ocaml-ppx-inline-test))
- ("ocaml-ppx-jane" ,ocaml4.07-ppx-jane)
- ("ocaml-ppx-sexp-conv" ,(package-with-ocaml4.07 ocaml-ppx-sexp-conv))
- ("ocaml-ppx-sexp-message" ,ocaml4.07-ppx-sexp-message)
- ("ocaml-sexplib" ,(package-with-ocaml4.07 ocaml-sexplib))
- ("ocaml-splittable-random" ,ocaml4.07-splittable-random)
- ("ocaml-stdio" ,(package-with-ocaml4.07 ocaml-stdio))
- ("ocaml-typerep" ,ocaml4.07-typerep)
- ("ocaml-variantslib" ,(package-with-ocaml4.07 ocaml-variantslib))
- ("ocaml-migrate-parsetree"
- ,(package-with-ocaml4.07 ocaml-migrate-parsetree))))
- (properties `((upstream-name . "core_kernel")))
+ (list ocaml-base
+ ocaml-base-bigstring
+ ocaml-base-quickcheck
+ ocaml-bin-prot
+ ocaml-fieldslib
+ ocaml-jane-street-headers
+ ocaml-jst-config
+ ocaml-ppx-assert
+ ocaml-ppx-base
+ ocaml-ppx-hash
+ ocaml-ppx-inline-test
+ ocaml-ppx-jane
+ ocaml-ppx-sexp-conv
+ ocaml-ppx-sexp-message
+ ocaml-sexplib
+ ocaml-splittable-random
+ ocaml-stdio
+ ocaml-time-now
+ ocaml-typerep
+ ocaml-variantslib
+ ocaml-ppx-optcomp))
+ (properties `((upstream-name . "core_kernel")
+ (ocaml4.07-variant . ,(delay ocaml4.07-core-kernel))))
(home-page "https://github.com/janestreet/core_kernel")
(synopsis "Portable standard library for OCaml")
(description "Core is an alternative to the OCaml standard library.
Core_kernel is the system-independent part of Core. It is aimed for cases when
the full Core is not available, such as in Javascript.")
- (license (list
- ;; this package and parts of OCaml, relicensed by janestreet
- license:asl2.0
- ;; MLton and sjs
- license:expat))))
+ (license license:expat)))
+
+(define-public ocaml4.07-core-kernel
+ (package-with-ocaml4.07
+ (package
+ (inherit ocaml-core-kernel)
+ (version "0.11.1")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/core_kernel")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name "ocaml4.07-core-kernel" version))
+ (sha256
+ (base32
+ "1dg7ygy7i64c5gaakb1cp1b26p9ks81vbxmb8fd7jff2q60j2z2g"))))
+ (propagated-inputs
+ (list ocaml-base
+ ocaml-bin-prot
+ ocaml4.07-configurator
+ ocaml-fieldslib
+ ocaml-jane-street-headers
+ ocaml-ppx-assert
+ ocaml-ppx-base
+ ocaml-ppx-hash
+ ocaml-ppx-inline-test
+ ocaml-ppx-jane
+ ocaml-ppx-sexp-conv
+ ocaml-ppx-sexp-message
+ ocaml-sexplib
+ ocaml-splittable-random
+ ocaml-stdio
+ ocaml-typerep
+ ocaml-variantslib
+ ocaml-migrate-parsetree))
+ (properties '())
+ (license (list
+ ;; this package and parts of OCaml, relicensed by janestreet
+ license:asl2.0
+ ;; MLton and sjs
+ license:expat)))))
(define-public ocaml-markup
(package
--
2.34.0
next prev parent reply other threads:[~2022-02-08 21:17 UTC|newest]
Thread overview: 58+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-02-08 20:08 [bug#53882] [PATCH] gnu: Add ocaml-core Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 01/24] import: opam: Accept tabulations Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 02/24] import: opam: Factor out source import Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 03/24] gnu: Add ocaml-spawn Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 04/24] gnu: Add ocaml-typerep Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 05/24] gnu: Add ocaml-ppx-typerep-conv Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 06/24] gnu: Add ocaml-ppx-string Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 07/24] gnu: Add ocaml-ppx-stable Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 08/24] gnu: Add ocmal-ppx-pipebang Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 09/24] gnu: Add ocaml-ppx-module-timer Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 10/24] gnu: Add ocaml-ppx-fixed-literal Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 11/24] gnu: Add ocaml-bin-prot Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 12/24] gnu: Add ocaml-ppx-bin-prot Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 13/24] gnu: Add ocaml-ppx-bench Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 14/24] gnu: Add ocaml-ppx-sexp-value Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 15/24] gnu: Add ocaml-ppx-sexp-message Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 16/24] gnu: Add ocaml-splittable-random Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 17/24] gnu: Add ocaml-base-quickcheck Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 18/24] gnu: Add ocaml-ppx-fail Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 19/24] gnu: Add ocmal-ppx-jane Julien Lepiller
2022-02-23 16:12 ` zimoun
2022-03-15 14:14 ` [bug#53882] [PATCH] gnu: Add ocaml-core zimoun
2022-04-05 16:07 ` Ludovic Courtès
2022-04-06 19:00 ` zimoun
2022-04-07 10:04 ` pukkamustard
2022-02-08 20:14 ` [bug#53882] [PATCH 20/24] gnu: Add ocaml-base-bigstring Julien Lepiller
2022-02-08 20:14 ` Julien Lepiller [this message]
2022-02-08 20:14 ` [bug#53882] [PATCH 22/24] gnu: Add ocaml-timezone Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 23/24] gnu: ocaml-jane-street-headers: Add variant Julien Lepiller
2022-02-08 20:14 ` [bug#53882] [PATCH 24/24] gnu: Add ocaml-core Julien Lepiller
2022-02-23 18:09 ` [bug#53882] [PATCH 01/24] import: opam: Accept tabulations Maxime Devos
2022-04-08 13:21 ` [bug#53882] [PATCH v2 00/25] Add ocaml-core zimoun
2022-04-11 10:19 ` bug#53882: [PATCH] gnu: " Ludovic Courtès
2022-04-08 13:22 ` [bug#53882] [PATCH v2 01/25] gnu: ocaml-odoc: Update to 2.2.0-alpha zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 02/25] import: opam: Accept tabulations zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 03/25] import: opam: Factor out source import zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 04/25] gnu: Add ocaml-spawn zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 05/25] gnu: Add ocaml-typerep zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 06/25] gnu: Add ocaml-ppx-typerep-conv zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 07/25] gnu: Add ocaml-ppx-string zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 08/25] gnu: Add ocaml-ppx-stable zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 09/25] gnu: Add ocaml-ppx-pipebang zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 10/25] gnu: Add ocaml-ppx-module-timer zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 11/25] gnu: Add ocaml-ppx-fixed-literal zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 12/25] gnu: Add ocaml-bin-prot zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 13/25] gnu: Add ocaml-ppx-bin-prot zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 14/25] gnu: Add ocaml-ppx-bench zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 15/25] gnu: Add ocaml-ppx-sexp-value zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 16/25] gnu: Add ocaml-ppx-sexp-message zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 17/25] gnu: Add ocaml-splittable-random zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 18/25] gnu: Add ocaml-base-quickcheck zimoun
2022-04-08 13:22 ` [bug#53882] [PATCH v2 19/25] gnu: Add ocaml-ppx-fail zimoun
2022-04-08 13:23 ` [bug#53882] [PATCH v2 20/25] gnu: Add ocaml-ppx-jane zimoun
2022-04-08 13:23 ` [bug#53882] [PATCH v2 21/25] gnu: Add ocaml-base-bigstring zimoun
2022-04-08 13:23 ` [bug#53882] [PATCH v2 22/25] gnu: Add ocaml-core-kernel zimoun
2022-04-08 13:23 ` [bug#53882] [PATCH v2 23/25] gnu: Add ocaml-timezone zimoun
2022-04-08 13:23 ` [bug#53882] [PATCH v2 24/25] gnu: ocaml-jane-street-headers: Add variant zimoun
2022-04-08 13:23 ` [bug#53882] [PATCH v2 25/25] gnu: Add ocaml-core zimoun
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=84b05a81d6e195a11a234750e8f26a2711c0cbef.1644350658.git.julien@lepiller.eu \
--to=julien@lepiller.eu \
--cc=53882@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.