From patchwork Thu Jan 3 07:18:32 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 666 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C942A169C4; Sat, 5 Jan 2019 09:30:09 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID autolearn=ham autolearn_force=no version=3.4.0 Received: from listsout.gnu.org (listsout.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id 4B47216986 for ; Sat, 5 Jan 2019 09:30:09 +0000 (GMT) Received: from localhost ([127.0.0.1]:50236 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfiHQ-00045k-Ca for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 04:30:08 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:49247 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfiHN-00045c-Q4 for guix-patches@gnu.org; Sat, 05 Jan 2019 04:30:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfiHK-0001y8-Kz for guix-patches@gnu.org; Sat, 05 Jan 2019 04:30:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:53767) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfiHK-0001xk-GN for guix-patches@gnu.org; Sat, 05 Jan 2019 04:30:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfiHK-0000EP-Aq for guix-patches@gnu.org; Sat, 05 Jan 2019 04:30:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 1/9] gnu: Add ocaml-sexplib0. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 09:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.1546680548801 (code B ref -1); Sat, 05 Jan 2019 09:30:02 +0000 Received: (at submit) by debbugs.gnu.org; 5 Jan 2019 09:29:08 +0000 Received: from localhost ([127.0.0.1]:47230 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiGS-0000Cr-4d for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:29:08 -0500 Received: from eggs.gnu.org ([208.118.235.92]:35588) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiGR-0000Cj-7k for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:29:07 -0500 Received: from listsout.gnu.org ([208.118.235.17]:49592) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gfiGQ-0001dD-TF for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:29:06 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:49036 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfiGQ-0003yG-1V for guix-patches@gnu.org; Sat, 05 Jan 2019 04:29:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfiGP-0001ca-3N for guix-patches@gnu.org; Sat, 05 Jan 2019 04:29:05 -0500 Received: from mail-ed1-x533.google.com ([2a00:1450:4864:20::533]:34286) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfiGO-0001bp-S9 for guix-patches@gnu.org; Sat, 05 Jan 2019 04:29:05 -0500 Received: by mail-ed1-x533.google.com with SMTP id b3so33806053ede.1 for ; Sat, 05 Jan 2019 01:29:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=J/6cQWzgg8wjlnPRINOK1becqBGGLCxTkFVxWzdUCEI=; b=n2xhhwaBp1uYRu0tIkAifCrkMfB7ayIC9LofjFzOSdRKkYGKwhKJds//n9CdAe72v3 dpKxD9apCcjeQgVtawuvvF+Oz1dC4Nz+zIeYdOb1I/UPzSOSDGoqLGhhMLTCRwW23fZu OTB7lD1F3f56fuSdFHv7rJ9TGNP4ZyGGuOBc7TwOstmVDDfxy92c8zMuAtn9NkmGjtel T+ahglouSWe7ECfQcsu3OYDQwh6KEcHw4eLyct9LCwRNLjQ9dKKMOFuLlPm0nN6oRh/Y 5dWhJ/eApAkZ6GNJJi+B3YL7C6zhPaDbAjO9g4P+0IzzwJ/9oDZD/KVKHOmO25ubQCXn tUKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=J/6cQWzgg8wjlnPRINOK1becqBGGLCxTkFVxWzdUCEI=; b=VJhRpd0X1ZOGhzl7nxCjHJj04FacjbGL0153ag+EQJxScEhslWlHpRtIuuk9zqwU40 alTHAOJTnOfiSkyz2VxCv6nqhxyUHZLJ7U1TOZ9V9CeAM8tNRgHflhb9VTLWyNRbpdqO Xq3o6g3LgMg7mWmwRbcdtBwOXf2Kbt0M1HkvB5N1FGbi0/Sz6j4Wxr4morYnHaWsW3ss q9RN/WaO2nH1pjVQB5C73mm3WL1u8Y2o9OnuyBagGeS3YHaFS5GHKbdACyAdU8rOhDFe JkCNopm3Uj4uKebbKnLlVrrTpo1K06x7ue/xuZqGlJqlMkAvRFREWfxH0Ho06nL9Xm+S Rizw== X-Gm-Message-State: AA+aEWYIUdGY89hJI0hEdwk/qfCAduURF4xTYBhC4hzw1R4N2q6a5oCZ /J6sNDnAHiij/CjbA5VqC8Q7Qj8q X-Google-Smtp-Source: AFSGD/Uwl8O76w1V6xY8pauU4CaN1aRdHjdGTecp8BH/CBrHIsTSOfM1ldIwLgRVXnW6XE+0ZKYGqg== X-Received: by 2002:a50:cc04:: with SMTP id m4mr49947235edi.171.1546680543441; Sat, 05 Jan 2019 01:29:03 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id j31sm26308902eda.46.2019.01.05.01.29.02 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 01:29:02 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 08:18:32 +0100 Message-ID: <87lg3z8nc2.fsf@gmail.com> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-sexplib0): New variable. --- gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e4f17133d..bece14477 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5105,3 +5105,28 @@ speedup, polymorphic variants and optional syntax for tuples and variants. yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) + +(define-public ocaml-sexplib0 + (package + (name "ocaml-sexplib0") + (version "0.11.0") + (home-page "https://github.com/janestreet/sexplib0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) + (synopsis "Library containing the definition of S-expressions and some +base converters") + (description "Part of Jane Street's Core library The Core suite of +libraries is an industrial strength alternative to OCaml's standard library +that was developed by Jane Street, the largest industrial user of OCaml.") +(license license:expat))) From patchwork Thu Jan 3 07:26:51 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 667 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 61E52169C4; Sat, 5 Jan 2019 09:32:12 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from listsout.gnu.org (listsout.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id F3BDE16986 for ; Sat, 5 Jan 2019 09:32:11 +0000 (GMT) Received: from localhost ([127.0.0.1]:50824 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfiJP-0004JZ-K8 for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 04:32:11 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:49664 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfiJK-0004JU-DA for guix-patches@gnu.org; Sat, 05 Jan 2019 04:32:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfiJH-00031P-4G for guix-patches@gnu.org; Sat, 05 Jan 2019 04:32:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:48022) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfiJG-00031F-Ih for guix-patches@gnu.org; Sat, 05 Jan 2019 04:32:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfiJG-0000K6-Ec for guix-patches@gnu.org; Sat, 05 Jan 2019 04:32:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 2/9] gnu: Add ocaml-parsexp. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 09:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.15466807091223 (code B ref 33986); Sat, 05 Jan 2019 09:32:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 09:31:49 +0000 Received: from localhost ([127.0.0.1]:47233 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiJ2-0000Jf-Ki for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:31:48 -0500 Received: from mail-ed1-f48.google.com ([209.85.208.48]:39975) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiJ1-0000JS-Ah for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 04:31:47 -0500 Received: by mail-ed1-f48.google.com with SMTP id g22so33676720edr.7 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 01:31:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=5On0+IBXekAv0M2rMlr00PZctibfa73Kmp20GYZihdA=; b=K7Kd66CQM+Db4w0EjZc3e8+VuyLyyvyjUIf+IEYHLQn46XxDiIuxc1lQk1qBAN++sp qAIhgWIzZ1cRTzI26ZdAKUj2cqE+QK1Firr1zXAr4pfP7+tw0ODcmIzG3CWLzifghgin OuTv2P/RWxyEpCTGfNOXDET/+E65lH1t5V9BefVZ9rq9KyIO2vg2Fr4w77IJGXscxya7 11gkzfsR2BJ4Padn8M5feH8j9i5glCVtbAsA38kmzhoxAbp0uqpS42kAELbJDmQWVFN1 /j8MJPFA5o9Cvoze3YRbIBnoqAGEI5wSK8to4oR7iUv9twQ6Uq3WHlbXKSGOezYVNMoc AJtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=5On0+IBXekAv0M2rMlr00PZctibfa73Kmp20GYZihdA=; b=oV4JBSuQA12Kdm/9Mg3H+TunhSfJGNHvcse5h+rkS/gyKuhOFHU4F3/s3bxGDPbM8Z BvmL87qZA/h76GbB5c/UuCPHu6ksdKgrnFWzuVpY1md8aPbcevog0UyD75Kh4+IWx1Ew iNaZnq6hvma7Jgua1FCfO8K5a0WgMCDNYEBXbyjasVP0sTVHVznQ+ajTzoJ1kqcZDX88 unbfUTUG7GTqdqd8lsj+5IDJV3EX3LIDNqg9uz6q88UZVBiTHKIaeA9KAatrxFZyl8Z+ 7Dpd2vWajxN0WsfEIjaTvvhARv+ucEF78sI69zhMY/jhor7DSza/n3oBqR6S7RbPbCx/ 1MUw== X-Gm-Message-State: AA+aEWZjW+/SH78gWzWoMvfWkrGelRZspUaCpajSNeSY5+59xl+ud7fm 0/LntewyEbbTM5NEKDrkZClY3vUA X-Google-Smtp-Source: AFSGD/XbklJq/Qt+AedpVExGxw17yJyFtaqTTrUrORsVRFbpvNbUC7OcuV4BvDy2mCYWAa4KrDsthQ== X-Received: by 2002:a50:88a4:: with SMTP id d33mr49066604edd.261.1546680701362; Sat, 05 Jan 2019 01:31:41 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id g21sm28775643edc.63.2019.01.05.01.31.40 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 01:31:40 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 08:26:51 +0100 Message-ID: <87k1jj8n7n.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-parsexp): New variable. --- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index bece14477..7876c69a7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5130,3 +5130,49 @@ base converters") libraries is an industrial strength alternative to OCaml's standard library that was developed by Jane Street, the largest industrial user of OCaml.") (license license:expat))) + +(define-public ocaml-parsexp + (package + (name "ocaml-parsexp") + (version "0.11.0") + (home-page "https://github.com/janestreet/parsexp") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1nyq23s5igd8cf3n4qxprjvhbmb6ighb3fy5mw7hxl0mdgsw5fvz")))) + (build-system dune-build-system) + (inputs + `(("ocaml-sexplib0" ,ocaml-sexplib0))) + (synopsis "S-expression parsing library") + (description + "This library provides generic parsers for parsing S-expressions from +strings or other medium. + +The library is focused on performances but still provide full generic +parsers that can be used with strings, bigstrings, lexing buffers, +character streams or any other sources effortlessly. + +It provides three different class of parsers: +@itemize +@item +the normal parsers, producing [Sexp.t] or [Sexp.t list] values +@item +the parsers with positions, building compact position sequences so +that one can recover original positions in order to report properly +located errors at little cost +@item +the Concrete Syntax Tree parsers, produce values of type +[Parsexp.Cst.t] which record the concrete layout of the s-expression +syntax, including comments +@end itemize + +This library is portable and doesn't provide IO functions. To read +s-expressions from files or other external sources, you should use +parsexp_io.") + (license license:expat))) From patchwork Thu Jan 3 07:45:36 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 668 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 7740A16A0B; Sat, 5 Jan 2019 11:10:19 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 1E939169C4 for ; Sat, 5 Jan 2019 11:10:19 +0000 (GMT) Received: from localhost ([127.0.0.1]:52091 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjqM-0004Xl-NM for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:10:18 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:42180 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjqH-0004XT-39 for guix-patches@gnu.org; Sat, 05 Jan 2019 06:10:13 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjqC-00016g-RA for guix-patches@gnu.org; Sat, 05 Jan 2019 06:10:12 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:48898) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjq6-00013F-28 for guix-patches@gnu.org; Sat, 05 Jan 2019 06:10:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjq5-0006dp-QF for guix-patches@gnu.org; Sat, 05 Jan 2019 06:10:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 3/9] gnu: Add ocaml-sexplib. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668656925482 (code B ref 33986); Sat, 05 Jan 2019 11:10:01 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:09:29 +0000 Received: from localhost ([127.0.0.1]:47277 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjpY-0006cw-Ti for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:09:29 -0500 Received: from mail-ed1-f49.google.com ([209.85.208.49]:37529) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjpW-0006ch-OT for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:09:27 -0500 Received: by mail-ed1-f49.google.com with SMTP id h15so33840554edb.4 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:09:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=CzvL9+v0dqJ5Lgolq9p7Kxul9v6xsw2B+eAxfROlUJ8=; b=mKXrDhLCK3aiw96S8OTsiHXK/eg17gsy88+mlZXNyNsyHzcSgrpwRlyLwAErWQ7vC8 RrhXkPf71HHLnfR3dr3MGao1doylaZN/BKDnQDdxsWNCezOSp74KCUqkuF5aCFw07Xop 9LDBGfkvSx8orTB7NvftUSkYYn2iQQwIDGgLU47k2/CADRJzgS8Z812Oj/pl+TgnuASv ytBKTl/hOJNVl9xOHopphvVkVndZx2V+6+aLJmbDNnshX2EwbexZYYMAhJ60dlG5A8OG 2TmvJMNtWqk06XP/p0HIayY34kAFhftf8Ea+ZKxilqnXxyOj8aY11pAE+sElY4h76+Y4 suVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=CzvL9+v0dqJ5Lgolq9p7Kxul9v6xsw2B+eAxfROlUJ8=; b=CDKiBlJXJGDCyvRx+NrqypUkS8p+cY2xHEPCfMK0EQueGNpXzx3Lgr91WzEtyKyUxm OvBX3Al3twknQD4k7c56tVDldcaiKHSkImf7ZWQcSysmxFZ7lkyXwFL9kRFWcJITPbBk 6zgBS1/fUE1y0QEztGNdRR73iw4U/R7VXZvjamT88seiIOynL4zzqVGPF0414Df0VSfU riUvsbAL9a68uIpUZKjwyfMTJzOAKA6LWM+5iUWhCZa327TCyirRB+I4n5ZfYi9tQPsO CxECewX7aFpTZErrl+ujjUX43YsFtaYaxzEN9Keyvj1xb00LoFXcHxX0uXtGO9K9c1Ra cE8A== X-Gm-Message-State: AA+aEWblGLqPM5bAddwCOwzO6M4Yar2FPC1hM9ifvDf6ur9AcON0CDyP EDNE+HgR3j20odWuVF95lTyFXa2S X-Google-Smtp-Source: AFSGD/WS8azW0eDiGjJkWgPI0RAx1LHYtQWEfr8OBb51t9cY+h1INHuoMTUlhyW7Z5pLA6kp4WQTRQ== X-Received: by 2002:a50:ed03:: with SMTP id j3mr49405049eds.134.1546686560906; Sat, 05 Jan 2019 03:09:20 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id z16-v6sm15268492eju.61.2019.01.05.03.09.20 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:09:20 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 08:45:36 +0100 Message-ID: <87imz38ip0.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-sexplib): New variable. --- gnu/packages/ocaml.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7876c69a7..0faab47ee 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5176,3 +5176,32 @@ This library is portable and doesn't provide IO functions. To read s-expressions from files or other external sources, you should use parsexp_io.") (license license:expat))) + +(define-public ocaml-sexplib + (package + (name "ocaml-sexplib") + (version "0.11.0") + (home-page "https://github.com/janestreet/sexplib") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1qfl0m04rpcjvc4yw1hzh6r16jpwmap0sa9ax6zjji67dz4szpyb")))) + (build-system dune-build-system) + (inputs + `(("ocaml-num" ,ocaml-num) + ("ocaml-parsexp" ,ocaml-parsexp) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (synopsis + "Library for serializing OCaml values to and from S-expressions") + (description + "Part of Jane Street's Core library +The Core suite of libraries is an industrial strength alternative to +OCaml's standard library that was developed by Jane Street, the +largest industrial user of OCaml.") + (license license:expat))) From patchwork Thu Jan 3 08:43:49 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 670 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 307BF16A0B; Sat, 5 Jan 2019 11:12:14 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from listsout.gnu.org (listsout.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id BDFE0169C4 for ; Sat, 5 Jan 2019 11:12:13 +0000 (GMT) Received: from localhost ([127.0.0.1]:52634 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjsD-0004lU-BJ for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:12:13 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:42708 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjs5-0004l1-TT for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjs2-0002GI-Ps for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:55160) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjs2-0002G7-LT for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjs2-0006hL-Ec for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 4/9] gnu: Add ocaml-base. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668666425665 (code B ref 33986); Sat, 05 Jan 2019 11:12:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:11:04 +0000 Received: from localhost ([127.0.0.1]:47285 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjr6-0006ft-Ax for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:04 -0500 Received: from mail-ed1-f42.google.com ([209.85.208.42]:33328) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjr4-0006fP-Ox for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:03 -0500 Received: by mail-ed1-f42.google.com with SMTP id p6so33929063eds.0 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:11:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=X+p6DyLDf1lm0YK/bgE0IOG5NW3AyXMgSj7m/8qrc/M=; b=stInaBQHyajz2/LQP/UVGu3jpCTSn08IWkchSNq9R/ZHX9pJCImVFxMPkQFHJnLFcy ZX6U6DFF7NHlwiM/l9ll5E7yqDdVpLtbZd9L3tt91u8M2i5BAZPLM8WwK6B6XEeF5fo8 V+DpmENkfndzd1jjMdWH7bOqX3dVwn6z28jZklQZkBaiU3CjmvV73Ye2AkqlxkUkDZMz ogvYhKE/dB07L63kbIODn68xEF06lALMPs7ayrD+9fq8YsfV2bS4x1TzBrgyGkPjkYcd VVM4KKkjkPI1UnGIYiEE5hj/3pudOrOQpNg/cNJX2M6jhcnuiKo/cJcE5pXuXQ/7Bdva PY8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=X+p6DyLDf1lm0YK/bgE0IOG5NW3AyXMgSj7m/8qrc/M=; b=BzXXJS4VpjK8M8F81UwFkXpapvKEJC74nB+6IeEgf1ar8DQMj0QHPg3oSsloRQx2kH ga16TJ/H1L8lP5rHOqj+LsrGNquNZu+5zA4Lni9DUKh2spYcVcLIp890e3+/qsW9xWia eNyUxep4vpdCW9cU1pwPyiBhcClCU8O/VhKTRL3dJsX+MbQh7NFTHaSqczA2IGj8NqVw shUiofwB3nyHoVNeIaWlm/Vk7f6Klb4yc2pCBwGu6iYwWqFl5Vh9wkKdtqO1mwm8msw0 GgxYIIRiStIAstn9Rkm0CvgAZe450iQR2z6UdueSfusjkBlsZjWGI7ZvDyJP1aCelrbe 4gWw== X-Gm-Message-State: AA+aEWbSAm8UPLQBC9w24GhR+elVs2wRqA08yIbXBuvE0/MFXYP5wtBh 3ERscMbu7Q+Qx6To5KurEc+ttEUy X-Google-Smtp-Source: AFSGD/WXbrkB+QFGSdu7yaRwT6rR/jryVYNPpvqURB3sc4WuzeKkaV5j0wRdDgFXoEf15sF77sk0EA== X-Received: by 2002:a17:906:6dcb:: with SMTP id j11-v6mr41590548ejt.162.1546686656666; Sat, 05 Jan 2019 03:10:56 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id p7-v6sm15441768ejx.27.2019.01.05.03.10.55 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:10:56 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 09:43:49 +0100 Message-ID: <87h8en8im8.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-base): 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 0faab47ee..9e2e7e09b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5205,3 +5205,45 @@ The Core suite of libraries is an industrial strength alternative to OCaml's standard library that was developed by Jane Street, the largest industrial user of OCaml.") (license license:expat))) + +(define-public ocaml-base + (package + (name "ocaml-base") + (version "0.11.1") + (home-page "https://github.com/janestreet/base") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir")))) + (build-system dune-build-system) + (inputs + `(("ocaml-sexplib0" ,ocaml-sexplib0))) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'build + ;; make warnings non fatal (jbuilder behaviour) + (lambda _ + (invoke "dune" "build" "@install" "--profile=release")))))) + (synopsis + "Full standard library replacement for OCaml") + (description + "Full standard library replacement for OCaml + +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, stdio}.") + (license license:expat))) + From patchwork Thu Jan 3 09:13:51 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 669 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EAF4D16A0B; Sat, 5 Jan 2019 11:12:09 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID autolearn=ham autolearn_force=no version=3.4.0 Received: from listsout.gnu.org (listsout.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id 827B2169C4 for ; Sat, 5 Jan 2019 11:12:09 +0000 (GMT) Received: from localhost ([127.0.0.1]:52629 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjs8-0004lD-QL for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:12:08 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:42712 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjs6-0004l2-Ck for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjs3-0002HI-8w for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:57197) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjs3-0002H0-5a for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjs2-0006hT-VO for guix-patches@gnu.org; Sat, 05 Jan 2019 06:12:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 5/9] gnu: Add ocaml-compiler-libs. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668671125727 (code B ref 33986); Sat, 05 Jan 2019 11:12:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:11:51 +0000 Received: from localhost ([127.0.0.1]:47288 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjrq-0006gs-PL for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:51 -0500 Received: from mail-ed1-f49.google.com ([209.85.208.49]:43790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjrp-0006gg-EF for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:49 -0500 Received: by mail-ed1-f49.google.com with SMTP id f9so33821410eds.10 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:11:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=eog3JOMTwdX4TzLfkuoORMRViFDAVCl7V/X1T2bWIG0=; b=uyycDmDiJ7UxNc7LXZUcxaqicsAIJiu5XiDKrhCt1g5qZv+Htv09Pl6KXgcitBqd1X lMgNpM6lh9A9mfSY5AC+/djj/2NWPaWZ2p2Gc25FEX0o+/iMnTTzRmo8aYaHfIXEpsuJ pg8CffjjcncHkzmO+u1jN0fMClS91lYDgSrMvgFWyot1kcn2xu7/NSXR1LrwHhUpvhmA CzDxHCgd8Q8Ft66WBqhgxJkEZLHX3XKOy7Yg8rV/3erU1YczcevzKuIGGcdAOlFpd+vN rpV5FgWzs8ch7x0CbXNV0eP6mGgn7BdURJxLkv8EsigTdt5D7Cgk1VWBtK3GRcdfq38K igpA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=eog3JOMTwdX4TzLfkuoORMRViFDAVCl7V/X1T2bWIG0=; b=njqTLzaM4/eAuLmpuhqa7+TTa4sbvZizGRuYyLKj4DSD8lB7wpNpwK4nmYAMeFH+hk ZUcCHJW/YNGhXuE6oIcyDQrwryPBWcg5PzdGUP/lF2tl53HLHq5P3P+lsmE941m4qkvf s1hjR/rUjYZEW47858FLVnpqv6kJpGuAyEjEak3iwWh2m1HbAifzewhFKm+c08SPHTj5 2hqfniMuejOaNfcrCVrIhJnJdHDjHPMFkG5B9tHxPPLpYlhl6Sk8Mr8puhLxOmZ0Aq5G 030fkgIIUtwMlkcJtarIGiWFJcSWV6HJnwNcE7uqeXpNHpO1QK6PCjIgGrJGU7tVkiv8 gkkw== X-Gm-Message-State: AA+aEWYnI5P90eTAgd7GzPGCR0trSDCYReist6VKEGL4sJbg0PS83/SU krSXL7wStRik7ICyQ/8PPa0oq8aC X-Google-Smtp-Source: AFSGD/XXYBhTbo/T+WP1XOMaqSjPRT4ZhDkTOxIdkMjV2bzZMOo2KHqr5m2HQm73GaSO2M/pdIwxjg== X-Received: by 2002:aa7:d487:: with SMTP id b7mr47365334edr.256.1546686703635; Sat, 05 Jan 2019 03:11:43 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id h21-v6sm15324240eja.45.2019.01.05.03.11.42 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:11:43 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 10:13:51 +0100 Message-ID: <87ftu78ikx.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-compiler-libs): New variable. --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9e2e7e09b..6f91f5d99 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5247,3 +5247,26 @@ provided by companion libraries such as @url{https://github.com/janestreet/stdio, stdio}.") (license license:expat))) +(define-public ocaml-compiler-libs + (package + (name "ocaml-compiler-libs") + (version "0.11.0") + (home-page "https://github.com/janestreet/ocaml-compiler-libs") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "03jds7bszh8wwpfwxb3dg0gyr1j1872wxwx1xqhry5ir0i84bg0s")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) + (synopsis "Compiler libraries repackaged") + (description "This packaeg simply repackages the OCaml compiler libraries +so they don't expose everything at toplevel. For instance, @code{Ast_helper} +is now @code{Ocaml_common.Ast_helper}.") + (license license:expat))) From patchwork Thu Jan 3 09:40:45 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 671 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 63A6216A0B; Sat, 5 Jan 2019 11:13:12 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id EB32E16A0A for ; Sat, 5 Jan 2019 11:13:11 +0000 (GMT) Received: from localhost ([127.0.0.1]:52898 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjt9-0004wA-ID for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:13:11 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:42914 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjt3-0004ve-DO for guix-patches@gnu.org; Sat, 05 Jan 2019 06:13:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjt0-0003HV-5t for guix-patches@gnu.org; Sat, 05 Jan 2019 06:13:05 -0500 Received: from debbugsout.gnu.org ([209.51.188.43]:58688) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjt0-0003H3-2L for guix-patches@gnu.org; Sat, 05 Jan 2019 06:13:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjsz-0006j5-KM for guix-patches@gnu.org; Sat, 05 Jan 2019 06:13:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 6/9] gnu: Add ocaml-migrate-parsetree. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668675225817 (code B ref 33986); Sat, 05 Jan 2019 11:13:01 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:12:32 +0000 Received: from localhost ([127.0.0.1]:47291 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjsW-0006iL-4k for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:12:32 -0500 Received: from mail-ed1-f44.google.com ([209.85.208.44]:34232) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjsU-0006i7-Ea for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:12:30 -0500 Received: by mail-ed1-f44.google.com with SMTP id b3so33947934ede.1 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:12:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=GSuU5KI6KMcpWP9YBh+3Yxu3JWP08AOHMyhsIuxPj3g=; b=kYjP3/RcCq8XwDT2/hevosEa830xtOf1WujAe0G3y9i/RIeSJPvDZg4vPUFjY63818 z+ppDYb+x+xXb6ycvwdE9+x9S4aqw68Jgi8RQZrdUltFCViBPNBcpbIptJbqIT2wJsdZ 4qbGtEXamVvgbjiFIKp0MHoXvgBkEPgcicVMX0KohxBQ4BsajEo5FG5kSigkX4mumhNw RRvINKh8RrVqFO0+FtoUawvRtxdlXMRAPzOM+0mcaLT/A4XzD2oJ6XfzBoUufG8G1i1B OwuYoeDWT+Nv7qFFhTsz/+H3zTuDihJeMo3DDFMElE2mORsk+YjDn98qCA7zboBnpxyP 9F9g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=GSuU5KI6KMcpWP9YBh+3Yxu3JWP08AOHMyhsIuxPj3g=; b=QsoEIZjS/9By6wMHT4Ak2h6dOzakja+YZ88GpNKxNoulmhFgWVQ4MNEN3eIT2/u6VP hl/z1WDOjBd1c8HN4L8T+XW+1ZL84TxxMPqhNq7Y5p+tnRNBG1zq/nF+AODTVgLpb0px nCYSPWVlBQ6+RVqnndHQZwvNMyupPUrU3/uePy2O6Pm6X6/x352jiuf5gS1/HRmTOnac 2bkdXsSUMCrlUATE6bKBOUhF0mUTDBiTaRr4QhsAYUSxNQXNPojdsrwsEZTC7M8MkL/u 5INhGvqY9Yc3i5O8MgljWTmFPi/Q9mmKUC4SYj4gCwaXstjnjNbk4VrSQXLB7WAxgL7m zwXw== X-Gm-Message-State: AA+aEWbdTWhwMVlwQzWns6Pqjo/cwKI0HZ2+hG2YnKEdx9raSK/hUV6M zUGMXE0dvL/yI6lRBGxfsSWMfPRd X-Google-Smtp-Source: AFSGD/XcSqiHkxnp7Tg3LtgcmUfGVhxHW5Rk8NgXIfx5tiqiUFzXZLh/cdKMV8AE+S2qXdJKjJHnHg== X-Received: by 2002:a17:906:6b43:: with SMTP id o3-v6mr41836839ejs.31.1546686744532; Sat, 05 Jan 2019 03:12:24 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id 97sm28744745edq.45.2019.01.05.03.12.23 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:12:23 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 10:40:45 +0100 Message-ID: <87ef9r8ijs.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-migrate-parsetree): New variable. --- gnu/packages/ocaml.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6f91f5d99..28ae9fd04 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5270,3 +5270,33 @@ provided by companion libraries such as so they don't expose everything at toplevel. For instance, @code{Ast_helper} is now @code{Ocaml_common.Ast_helper}.") (license license:expat))) + +(define-public ocaml-migrate-parsetree + (package + (name "ocaml-migrate-parsetree") + (version "1.1.0") + (home-page "https://github.com/ocaml-ppx/ocaml-migrate-parsetree") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1d2n349d1cqm3dr09mwy5m9rfd4bkkqvri5i94wknpsrr35vnrr1")))) + (build-system dune-build-system) + (inputs + `(("ocaml-compiler-libs" ,ocaml-compiler-libs) + ("ocaml-result" ,ocaml-result))) + (native-inputs + `(("ocamlbuild" ,ocamlbuild))) + (synopsis "Convert OCaml parsetrees between different major versions") + (description "This library converts between parsetrees of different OCaml +version. + +Supported versions are 4.02, 4.03, 4.04, 4.05 and 4.06. For each version, +there is a snapshot of the parsetree and conversion functions to the next +and/or previous version.") + (license license:lgpl2.1+))) From patchwork Thu Jan 3 09:48:28 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 672 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id E802316A0B; Sat, 5 Jan 2019 11:14:11 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 943DE16A0A for ; Sat, 5 Jan 2019 11:14:11 +0000 (GMT) Received: from localhost ([127.0.0.1]:53163 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfju7-0005Fp-75 for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:14:11 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:43220 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfju1-0005FY-JR for guix-patches@gnu.org; Sat, 05 Jan 2019 06:14:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjty-0004H9-G6 for guix-patches@gnu.org; Sat, 05 Jan 2019 06:14:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:53882) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjty-0004H1-Bx for guix-patches@gnu.org; Sat, 05 Jan 2019 06:14:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjty-0006kv-5a for guix-patches@gnu.org; Sat, 05 Jan 2019 06:14:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 7/9] gnu: Add ocaml-stdio. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668679925906 (code B ref 33986); Sat, 05 Jan 2019 11:14:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:13:19 +0000 Received: from localhost ([127.0.0.1]:47294 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjtG-0006jm-Ry for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:13:19 -0500 Received: from mail-ed1-f54.google.com ([209.85.208.54]:39364) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjtF-0006jX-KN for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:13:17 -0500 Received: by mail-ed1-f54.google.com with SMTP id b14so33829398edt.6 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:13:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=K8AdM42SCPmRmDmyqtX7FIpzBQ85I1PGt6oJT8w65Ew=; b=Nc0l79bmFe5e2AuJL8ZmcChGzEfmyesVAl69qX1vby7o9FEXH1iyiW1h19nEM9JrmS yRSmKRnv2CiL4GCfCrW1gn+ldZgm6+Awod/jGuJL+Vy+5KjxLq//PRzkjmSjn+co5WE7 ZRJneN7PnNYP2ACHlWD+GfaxJb/slkrjOnMEk+rNKicvuEY9heD+rHFVE1TlzshDjd/J 4ZXEPOWjz3AQT4ljvbRHkFdzrmog07H+nStx7f8d3Lz1dJHte4hsQWo+uVkPlxgjzxn8 a4otNw6bi5wyDOCed5wY5+eGwot9dR6kDW50M7djXPMbWsKS1lqQ445dOzgMLi3C/4wo rFOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=K8AdM42SCPmRmDmyqtX7FIpzBQ85I1PGt6oJT8w65Ew=; b=owxbm8KjfdWwr/QuK2k3Hqm47BWr+0LJCBusYCj183xgnjX6IVHcjwtfpaeS3SGWpm IBOhcN5n4TRy52Jz46U+WiNLr26MFMR78o6VoUm6rBvAbQ1TcY0rKStwMoD3Fr4P8JFB mWflVIGktLsyHdajQN+aIP5VRTXIfWVpkq0Gw3GmIB5WqntGENTD+Z2IMwELGnZTH/Gl 6zLc1CoX2wM9DBeAHuXaLy+L/MCT6Kr0Tqv1jlhztuNIt4kZef2l7mU0nL3q5bvYfARw KWIHGDMQbg+TXGfw9xuJX4tUEtO/RyURbM8XQ6+dFIzSrJo+KuDDcxZ3+/xZImgJArkO rnzg== X-Gm-Message-State: AA+aEWZom0Aoxi3ec/p36meULZb9bnksKyTaf5rh6PP5mjVWTVrRFfOk oHfRO9jzEujVQRnKSl2hzCIm4p3k X-Google-Smtp-Source: AFSGD/WSGnofp6b4ky5TNG8BM78Es21UJ1gNiW4ZVWkzEZBYBX44ZyXVe2KOVYcmm2PiaDYHDxfUCQ== X-Received: by 2002:a50:9a42:: with SMTP id o60mr50571336edb.180.1546686791756; Sat, 05 Jan 2019 03:13:11 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id c23-v6sm16316841ejb.62.2019.01.05.03.13.10 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:13:11 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 10:48:28 +0100 Message-ID: <87d0pb8iih.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-stdio): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 28ae9fd04..209aa66c3 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5300,3 +5300,31 @@ Supported versions are 4.02, 4.03, 4.04, 4.05 and 4.06. For each version, there is a snapshot of the parsetree and conversion functions to the next and/or previous version.") (license license:lgpl2.1+))) + +(define-public ocaml-stdio + (package + (name "ocaml-stdio") + (version "0.11.0") + (home-page "https://github.com/janestreet/stdio") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1facajqhvq34g2wrg368y0ajxd6lrj5b3lyzyj0jhdmraxajjcwn")))) + (build-system dune-build-system) + (inputs `(("ocaml-base" ,ocaml-base) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (arguments + '(#:tests? #f)) + (synopsis "Standard IO library for OCaml") + (description + "Stdio implements simple input/output functionalities for OCaml. + +It re-exports the input/output functions of the OCaml standard +libraries using a more consistent API.") + (license license:expat))) From patchwork Thu Jan 3 09:59:52 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 673 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id B164616A0B; Sat, 5 Jan 2019 11:15:11 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 485E4169C4 for ; Sat, 5 Jan 2019 11:15:11 +0000 (GMT) Received: from localhost ([127.0.0.1]:53443 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjv4-0005Vi-TE for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:15:10 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:43521 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjuz-0005VK-Av for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjuw-0004tw-4t for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:05 -0500 Received: from debbugsout.gnu.org ([209.51.188.43]:57993) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjuv-0004th-VC for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjuv-0006n1-NV for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 8/9] gnu: Add ocaml-ppx-derivers. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:15:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668685326014 (code B ref 33986); Sat, 05 Jan 2019 11:15:01 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:14:13 +0000 Received: from localhost ([127.0.0.1]:47297 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfju9-0006lV-8H for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:13 -0500 Received: from mail-ed1-f44.google.com ([209.85.208.44]:39944) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfju7-0006lH-A7 for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:11 -0500 Received: by mail-ed1-f44.google.com with SMTP id g22so33815388edr.7 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:14:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=e1uBY+rjpFK37MPLzmNY9cCG21HwPCnxVeteOYjyxT0=; b=N3QEJY4LtnOotKWRyJZ11NNX81R9cWo193KqsyeU4nySWOz4TBCRBlvZYBsPqYCWeX UMzAxEFHzGeEGVdW5vVQTkWhZkk/zermTvF3VQvsa3awghiDPJrNzRV6tRdFT+p14N0z 5W/6Hp1lF7QEm+KalAr0whwa6GMzH6Dp4NrtEVNCl3Mg6ojt0HpJHCVQDqJyLRmMN28O Rc87EzPwONfbQlqx7LseqwNEvXMBsFZLrlwHZUOFMjUsyNlc15KtUZzxAdwWhcDsY5dS mmRMNHf6qhuxtcf77h8nGLTsekumwRGO+Sl/0P6rJO7PkpMZXcAzHuZABz+7ONGta+vA C2jw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=e1uBY+rjpFK37MPLzmNY9cCG21HwPCnxVeteOYjyxT0=; b=jGz6yjvEEAj2isEOMYWQAAR/JMBgVMwZ1Kp+Hg30YFt5hYpMk6QHYlfBv/5egWFhGz 5i/RtoduZ8WYBQTdErKxGT4YzJEoOCxEVFFvbV2D0tQCOhKvMHy542QdeUhaFy0UwM7B 66wPfeF+waYt/b6lZwBT5NER+X3NVT1ALl+H8AAvMTu/1EjMCeCJ0fzKZnE4mTbzMBfu ZFpygXWyMzCj5XCxAu86DtV361n3n7UflZUDKfLI2DpCbLGwvNHlxZdttb0161wKlIL7 mY2g/LiEfu5CrVR6KEoornS2d0yUeHPQNCmrPsFtCJYQXj4qdxotNm5recG24wVcvEpY 0jFQ== X-Gm-Message-State: AA+aEWbNHwOaUV90wIjyiH37CTA1V3qho/nrdFHYPDQkE2SQ8LEOK7KA uUier/dTwzwynNWH9T6NyOGLt3uo X-Google-Smtp-Source: AFSGD/V+M5oS2PQjTAlI2q8Vt4dc5WGuNcRGujK/TayKIJLRbFC8bt3lcJOSqQ6H98Tx4Pq7zEOR2A== X-Received: by 2002:aa7:d394:: with SMTP id x20mr48719836edq.193.1546686845470; Sat, 05 Jan 2019 03:14:05 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id t24sm26711595edb.7.2019.01.05.03.14.04 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:14:04 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 3 Jan 2019 10:59:52 +0100 Message-ID: <87bm4v8igz.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-ppx-derivers): New variable. --- gnu/packages/ocaml.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 209aa66c3..3607dc319 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5328,3 +5328,29 @@ and/or previous version.") It re-exports the input/output functions of the OCaml standard libraries using a more consistent API.") (license license:expat))) + +(define-public ocaml-ppx-derivers + (package + (name "ocaml-ppx-derivers") + (version "1.2") + (home-page + "https://github.com/ocaml-ppx/ppx_derivers") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0bnhihl1w31as5w2czly1v3d6pbir9inmgsjg2cj6aaj9v1dzd85")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) + (synopsis "Shared [@@deriving] plugin registry") + (description + "Ppx_derivers is a tiny package whose sole purpose is to allow +ppx_deriving and ppx_type_conv to inter-operate gracefully when linked +as part of the same ocaml-migrate-parsetree driver.") + (license license:bsd-3))) From patchwork Fri Jan 4 09:09:12 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 674 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 37C0D16A0B; Sat, 5 Jan 2019 11:15:17 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID autolearn=unavailable autolearn_force=no version=3.4.0 Received: from listsout.gnu.org (listsout.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id C1E03169C4 for ; Sat, 5 Jan 2019 11:15:16 +0000 (GMT) Received: from localhost ([127.0.0.1]:53484 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjvA-0005aG-Bn for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 06:15:16 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:43544 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfjv0-0005VT-O4 for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfjux-0004vM-HW for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:57287) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfjux-0004uj-9o for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfjuw-0006nB-8N for guix-patches@gnu.org; Sat, 05 Jan 2019 06:15:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 9/9] gnu: Add ocaml-ppxlib. References: <87lg3z8nc2.fsf@gmail.com> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 11:15:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33986 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33986@debbugs.gnu.org Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.154668689626070 (code B ref 33986); Sat, 05 Jan 2019 11:15:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:14:56 +0000 Received: from localhost ([127.0.0.1]:47300 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjup-0006mQ-JX for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:55 -0500 Received: from mail-ed1-f46.google.com ([209.85.208.46]:36782) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjun-0006mD-6O for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:53 -0500 Received: by mail-ed1-f46.google.com with SMTP id f23so33867782edb.3 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:14:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=DpplMt3K+I7nzF/7lybUhw3ycJOei9k962+tmZzrRkM=; b=lliFER9hBvqT8Aqg9GMfBlwHo/U8wo66a4xLIvpUtaEswwM13//m/IIL1LNtHGrWkD tt1FUc2zytmv+wNem2vmDo5/iEEcaE2rjX54gt5L/lJtWzVhyshUA7J2f+041oyR9WO+ p8wh2GVTALF6P0qAXFPViDzNJQAUez8if2/0TCyTs/pBoxHTz6dmQucPmw6zXxrVZT+O jsqkjBsOUKxfAdaHaYjZJEB6EYta11hLVK7xHbC+DqAhH3cBNiqggUw8aIeenl6XQulO OgHLlHUpVL5K8NPm07TEXGRBaSDrkbwH7Lkc5iPeqrNPX1aNxpu/NUpoiJw09O9qMWAU w1rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=DpplMt3K+I7nzF/7lybUhw3ycJOei9k962+tmZzrRkM=; b=uW/XpvDkvNhhAdEsnKe4r1xX23mUNLRj6bVcER1UVkV92mi7aX92uq21ziDxpvnYos MJk8CQ2JsLTak4UhNLv5qnAj3muXZOEb/CseJgTIjoWzTV1Z+6nF+dsqzLkHFeE67v0t mgeC4uyj2rteXnR72u1fLCcq6l53nlO1rR1h608tJ9DjiKBdsP+PncNb7BoC1iOuUWIk sZg5fDnc8lUANPQ76ataYeF/nSsonHUKd17TiMlQLUXkdMetzbJD9Ei4KlJ7IlShAcjc Y27BSYmq7r4YKvV184pNMUgKl8B5tJtjeg1aQReCeks4VKtuZGlXkfSs1Srw0LuuWbh5 BQGQ== X-Gm-Message-State: AA+aEWYL/skKGxigFHY5LCj/G73GV4E0glTMWwOldhhlhhQNLGMJk4Fo ZYowf6hbXCOgHS/bjQo4xclnqjLV X-Google-Smtp-Source: AFSGD/XEQaag7Yw4JEzjhl1NEH3z86DbVrOQb9bxGTYcIKAoIjHchiWbGO1spVc8N8GYcX8HEujjfg== X-Received: by 2002:a17:906:b7d1:: with SMTP id fy17-v6mr41297684ejb.70.1546686887214; Sat, 05 Jan 2019 03:14:47 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id e35sm26781465eda.13.2019.01.05.03.14.46 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:14:46 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Fri, 4 Jan 2019 10:09:12 +0100 Message-ID: <87a7kf8ift.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-ppxlib): New variable. --- gnu/packages/ocaml.scm | 66 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3607dc319..70dcf1bd7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5354,3 +5354,69 @@ libraries using a more consistent API.") ppx_deriving and ppx_type_conv to inter-operate gracefully when linked as part of the same ocaml-migrate-parsetree driver.") (license license:bsd-3))) + +(define-public ocaml-ppxlib + (package + (name "ocaml-ppxlib") + (version "0.4.0") + (home-page "https://github.com/ocaml-ppx/ppxlib") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1nr4igf5m4prvigvv470dnhfdhdw0p6hz6zw8gnm5bzcv7s2lg5l")))) + (build-system dune-build-system) + (inputs + `(("ocaml-base" ,ocaml-base) + ("ocaml-compiler-libs" ,ocaml-compiler-libs) + ("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree) + ("ocaml-ppx-derivers" ,ocaml-ppx-derivers) + ("ocaml-stdio" ,ocaml-stdio) + ("ocaml-result" ,ocaml-result) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (native-inputs + `(("ocaml-findlib" ,ocaml-findlib))) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'check 'set-topfind + (lambda* (#:key inputs #:allow-other-keys) + ;; add the line #directory ".." at the top of each file + ;; using #use "topfind";; to be able to find topfind + (let* ((findlib-path (assoc-ref inputs "ocaml-findlib")) + (findlib-libdir + (string-append findlib-path "/lib/ocaml/site-lib"))) + (substitute* '("test/base/test.ml" + "test/deriving/test.ml" + "test/driver/attributes/test.ml" + "test/driver/non-compressible-suffix/test.ml" + "test/driver/transformations/test.ml") + (("#use \"topfind\";;" all) + (string-append "#directory \"" findlib-libdir "\"\n" + all)))) + #t))))) + (synopsis + "Base library and tools for ppx rewriters") + (description + "A comprehensive toolbox for ppx development. It features: +@itemize +@item +a OCaml AST / parser / pretty-printer snapshot, to create a full frontend +independent of the version of OCaml; +@item +a library for library for ppx rewriters in general, and type-driven code +generators in particular; +@item +a feature-full driver for OCaml AST transformers; +@item +a quotation mechanism allowing to write values representing the +OCaml AST in the OCaml syntax; +@item +a generator of open recursion classes from type definitions. +@end itemize") + (license license:expat)))