From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id qN5eGhLU6V+RbQAA0tVLHw (envelope-from ) for ; Mon, 28 Dec 2020 12:48:18 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id kAkyFhLU6V9TGAAA1q6Kng (envelope-from ) for ; Mon, 28 Dec 2020 12:48:18 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id DD54E9403CD for ; Mon, 28 Dec 2020 12:48:17 +0000 (UTC) Received: from localhost ([::1]:40844 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ktrwe-0007Gy-Q5 for larch@yhetil.org; Mon, 28 Dec 2020 07:48:16 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:47296) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ktrwR-0007Fo-KO for guix-patches@gnu.org; Mon, 28 Dec 2020 07:48:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:51240) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ktrwR-000425-E0 for guix-patches@gnu.org; Mon, 28 Dec 2020 07:48:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ktrwR-0003wK-CR for guix-patches@gnu.org; Mon, 28 Dec 2020 07:48:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45498] [PATCH 03/12] gnu: Add ocaml-base. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 28 Dec 2020 12:48:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45498 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 45498@debbugs.gnu.org Received: via spool by 45498-submit@debbugs.gnu.org id=B45498.160915966315018 (code B ref 45498); Mon, 28 Dec 2020 12:48:03 +0000 Received: (at 45498) by debbugs.gnu.org; 28 Dec 2020 12:47:43 +0000 Received: from localhost ([127.0.0.1]:34529 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ktrw6-0003ty-Em for submit@debbugs.gnu.org; Mon, 28 Dec 2020 07:47:43 -0500 Received: from mout02.posteo.de ([185.67.36.66]:36233) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ktrw3-0003t0-Nq for 45498@debbugs.gnu.org; Mon, 28 Dec 2020 07:47:40 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id AA7B5240101 for <45498@debbugs.gnu.org>; Mon, 28 Dec 2020 13:47:33 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1609159653; bh=z0U9QbQrhhz9dl9UYL8OUbG/yxHNqhA7jlnGmmHrHy0=; h=From:To:Cc:Subject:Date:From; b=bj3MYSngRmUCOQOfcOveexKuid55FADNGu6lPighrHLqhQJjTvTsodMJ0433qRDAh AJe/B2AsMfDz6vqNLxoBV6Vmlzjz4oMRuxyRmTU4d8x3M3PlVp5uhOYHwT6+8pB27z bgpNRpcrQ9AnMDtl44+F18GfMR5enJk4/+Z2Z403bVWrdspx/pqkr2gK2GmnzyJ4PV zC/tMb5IW57OpoKDakIYbAL73KjDTfqgnS2lDjqxe1VHcyHTNTEEmD94NlsOyWk12i r+xfFI0j+G0F96BKsBGi38jvBmAtJMjMbycGBRVxXDA78u9glAxE2ww6UBMqFgB99D 54r03G40/waiQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4D4HPs3XZRz6tmb; Mon, 28 Dec 2020 13:47:29 +0100 (CET) From: pukkamustard Date: Mon, 28 Dec 2020 13:47:09 +0100 Message-Id: <20201228124718.24736-3-pukkamustard@posteo.net> X-Mailer: git-send-email 2.29.2 In-Reply-To: <20201228124718.24736-1-pukkamustard@posteo.net> References: <20201228124718.24736-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: 3.78 Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=posteo.net header.s=2017 header.b=bj3MYSng; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: DD54E9403CD X-Spam-Score: 3.78 X-Migadu-Scanner: scn0.migadu.com X-TUID: 01KmmHXbRikd * gnu/packages/ocaml.scm (ocaml-base): New variable. (ocaml4.07-base): Inherit from ocaml-base. --- gnu/packages/ocaml.scm | 48 ++++++++++++++++++++++++++---------------- 1 file changed, 30 insertions(+), 18 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 917a82c514..36137e9d78 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4146,22 +4146,47 @@ parsexp_io.") functionality for parsing and pretty-printing s-expressions.") (license license:expat))) -(define-public ocaml4.07-base +(define-public ocaml-base (package + (name "ocaml-base") + (version "0.14.0") + (home-page "https://github.com/janestreet/base") + (source + (janestreet-origin "base" version + "1rkdhsgbcv0a8p29mwvpd2ldz8cjk97pixl43izm54wyin4lp778")) + (build-system dune-build-system) + (propagated-inputs + `(("ocaml-sexplib0" ,ocaml-sexplib0))) + (arguments '()) + (synopsis + "Full standard library replacement for OCaml") + (description + "Base is a complete and portable alternative to the OCaml standard +library. It provides all standard functionalities one would expect +from a language standard library. It uses consistent conventions +across all of its module. + +Base aims to be usable in any context. As a result system dependent +features such as I/O are not offered by Base. They are instead +provided by companion libraries such as +@url{https://github.com/janestreet/stdio, ocaml-stdio}.") + (license license:expat))) + +(define-public ocaml4.07-base + (package (inherit ocaml-base) (name "ocaml4.07-base") (version "0.11.1") - (home-page "https://github.com/janestreet/base") (source (origin + ;; version 0.11.1 is not released on ocaml.janestreet.org. (method git-fetch) (uri (git-reference - (url (string-append home-page ".git")) + (url "https://github.com/janestreet/base.git") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 (base32 "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir")))) - (build-system dune-build-system) (propagated-inputs `(("ocaml-sexplib0" ,ocaml4.07-sexplib0))) (arguments @@ -4173,20 +4198,7 @@ functionality for parsing and pretty-printing s-expressions.") (invoke "dune" "build" "@install" "--profile=release")))) #:ocaml ,ocaml-4.07 #:findlib ,ocaml4.07-findlib - #:dune ,ocaml4.07-dune)) - (synopsis - "Full standard library replacement for OCaml") - (description - "Base is a complete and portable alternative to the OCaml standard -library. It provides all standard functionalities one would expect -from a language standard library. It uses consistent conventions -across all of its module. - -Base aims to be usable in any context. As a result system dependent -features such as I/O are not offered by Base. They are instead -provided by companion libraries such as -@url{https://github.com/janestreet/stdio, ocaml-stdio}.") - (license license:expat))) + #:dune ,ocaml4.07-dune)))) (define-public ocaml4.07-compiler-libs (package -- 2.29.2