From patchwork Sat Jan 5 16:36:56 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 677 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 8A49F16A0B; Sat, 5 Jan 2019 16:38:13 +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 0E66F169C4 for ; Sat, 5 Jan 2019 16:38:13 +0000 (GMT) Received: from localhost ([127.0.0.1]:36398 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfoxg-0000dd-EY for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 11:38:12 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:37659 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfoxZ-0000dY-M0 for guix-patches@gnu.org; Sat, 05 Jan 2019 11:38:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfoxW-0005tv-FE for guix-patches@gnu.org; Sat, 05 Jan 2019 11:38:05 -0500 Received: from debbugsout.gnu.org ([209.51.188.43]:50086) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfoxW-0005tV-AS for guix-patches@gnu.org; Sat, 05 Jan 2019 11:38:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfoxW-000266-18 for guix-patches@gnu.org; Sat, 05 Jan 2019 11:38: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 16:38: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: Julien Lepiller Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.15467062257984 (code B ref 33986); Sat, 05 Jan 2019 16:38:01 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:37:05 +0000 Received: from localhost ([127.0.0.1]:48016 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfowb-00024i-CI for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:37:05 -0500 Received: from mail-ed1-f46.google.com ([209.85.208.46]:38820) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfowa-00024F-6C for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:37:04 -0500 Received: by mail-ed1-f46.google.com with SMTP id h50so34302597ede.5 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:37:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=GT92OW2tlhSnl1p5brjUEE04zeENE2RtPze7CougTzE=; b=XaWok+heb8OqY3FjXOWLiAGI0YvsGCHDszArna/WQRmZwOZjgCw2waLc+KYd2rwYCw RJgC+HtrZRbqYNN5Y9EOkOehIrNmPNg0/NP2uyheQSQl79PCwiFd/1h3238tj/crDZ4z z9SEUt97FN1//Kwc8OukXQiYYk/7q0YAdq4TpXWh74FhjqHQWLLbLK1PSXna0GxK3ias vBI+VzUccgfqmfEfm+/U3ZX5K4IntPXL4egvAGBPepRpWyqeCK2pgQvL1Xy5femG33SY Ca3FymIeStC56XKpg441BD/wKz0Jk4fJ0iq6N7VQ4qqCIQEyg3aBSWDwfN5fYiyv+dK4 mLJw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=GT92OW2tlhSnl1p5brjUEE04zeENE2RtPze7CougTzE=; b=E8xzS6YhRXqP9uRVS3x24MJ0g00JJZLa5BykIDWYpxONX3eHqjpEOClLVtxwNskTpZ O7boXetW0SlfgHyVjQGQx0iootSx1GWeg7G/GtHZKTgbJhJ16T/Fbvm+pMUVfy5ZpKQc 8xTC4KPaSmbt40Mzfb0wXX7dwb1yNfTA61RLNuCqFUK/jmN2eXr7U6MxWgET/pKbJnZx +H9Ij4EnV13TnxRsXNSYkklNbsd6iI5QYJY0xnHx0D65Xf7j1NT/SFJ09x8+DZA/SCOC t0Bfpffy6QD2Iz1jx2kQJ/57z1AsAFEjXh+hkU3C5QRiV3W5cmIyyd1/nRBtF3MicjA4 ZkpA== X-Gm-Message-State: AA+aEWaJr1HCwSrwWk+EfkpP44dfEMHPwZzshlHHElNOR9CfSJame8NE y2y1G5IOSISyqSaJ9qWsbdjff9a6 X-Google-Smtp-Source: AFSGD/UcaTvSwg002MTBfd/oHIoI39b+LHIYKtahKgP1w6MKF62tBUZ1jFhf43zEujuBdWi7WWJTeg== X-Received: by 2002:a05:6402:796:: with SMTP id d22mr51402071edy.81.1546706218255; Sat, 05 Jan 2019 08:36:58 -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 w24-v6sm16473874eja.71.2019.01.05.08.36.57 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:36:57 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:36:56 +0100 Message-ID: <877efj83iv.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: , Cc: 33986@debbugs.gnu.org Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches On Sat 05 Jan 2019 at 14:22 Julien Lepiller wrote: > We already have them, but I think they are only for ocaml-4.02. Indeed they exist but only for ocaml-4.02, I hope doing new patches for the current version was the right thing to do. > In the meantime, could you add a comment to explain why you disabled tests whenever you did? It could be as short as "; no tests". Also, do you know what happened with the versionning? Regarding the test, I only disabled them if they don't exist. I have added comments to clarify that. Regarding the versioning number (113.33.xx in 2016 to 0.9.0 in 2017...), I have no idea what happened. Here is the first patch, the others are following. * 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..a23f6a724 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)) ;no tests + (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 Sat Jan 5 16:38:15 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 678 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 8333016A10; Sat, 5 Jan 2019 16:39:10 +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=ham 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 1129E16A0A for ; Sat, 5 Jan 2019 16:39:10 +0000 (GMT) Received: from localhost ([127.0.0.1]:36669 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfoyb-000124-Kq for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 11:39:09 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:37829 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfoyY-0000zj-EI for guix-patches@gnu.org; Sat, 05 Jan 2019 11:39:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfoyU-0006fD-Ty for guix-patches@gnu.org; Sat, 05 Jan 2019 11:39:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:47748) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfoyU-0006f2-Pr for guix-patches@gnu.org; Sat, 05 Jan 2019 11:39:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfoyU-00027p-Hy for guix-patches@gnu.org; Sat, 05 Jan 2019 11:39:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 5/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 16:39: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: Julien Lepiller Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.15467063068120 (code B ref 33986); Sat, 05 Jan 2019 16:39:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:38:26 +0000 Received: from localhost ([127.0.0.1]:48019 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfoxs-00026t-Oj for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:38:26 -0500 Received: from mail-ed1-f45.google.com ([209.85.208.45]:42231) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfoxr-00026e-4d for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:38:23 -0500 Received: by mail-ed1-f45.google.com with SMTP id y20so34256865edw.9 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:38:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=WUH5mzZiJ8d2yWDgJYS9cKSWjPRo+8oHmGr9a8UIwS4=; b=RnwocHM6P9tLpmAdUeHcqTN4shTngo9ptlqHG10HMBj0T0mNn97fO5uk9EHghPZEZg efOORKjyerBBMnxowVWUqJgJ7OWdkJ2A+YgMaOauBmj2CzG7I+7FIxXr5YHhF8kfogEm 2eKq5dkysbhUP4DpYjmjVP/BEBXWAHD4tCmjtAar8NQbqbMc1hWv2YqtX1zeLSar8mMn 2A7oQdFN2EwyoR0A7tIEzu2rCVxfgq8bAlIndrTtio+qTHM7+YTVnecD2Efy4f9tTDfy wQKzBDLd3ZWrXa9v8Sp5VRYcI+SPAYrZnO8oDEKv8K4A2BFt6FQnHgextnM6pG9W4sSq WEFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=WUH5mzZiJ8d2yWDgJYS9cKSWjPRo+8oHmGr9a8UIwS4=; b=TRsROfBz/vr74a/fgrR/TefduaupxySMAgrf+bArifljL9WBx6JlUQdqV3oWBKU3Yq 2QYsMyuhUw3CKgwaShnCGoFpibCUBLQUk147+HXILaLjhddj1spZJrWAb4pL+iiOFbm3 K9taKtB/Aj+ADWDF+ihPG10MRgY8dpyP70emCF7ijnAt3FSBCSMMJQrR+mX++YxeYj8a I+e3AFLe8JrsOJ5h4m7U8fVlNanLInM8gfCcaMu5bL8YQSVdTSV1HcLMZtatlsBMZ/VO OmjpL7tYW+A6JEAwH7m68VbvGcklWmmCPYWIjOWylCZ7HcEh4PzY+peFZ5nVfL/gB9qU /LFw== X-Gm-Message-State: AA+aEWZ35u8Z+0FTKebwsj+F0Uex4fuaIGXMtdxmSzoCKKAOyz4a4m7R Tn9VuFOL9YrbqKnhIb+bVejHhWZM X-Google-Smtp-Source: AFSGD/X8YNvdOGjsmdLPtCveNrZfUcVKh5ri0D36WaSlOKkI9ghLDjyZ2dpl3cLtiPZIMZ4IwQ1NyQ== X-Received: by 2002:a50:93c5:: with SMTP id o63mr48984973eda.20.1546706297285; Sat, 05 Jan 2019 08:38:17 -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 by5-v6sm15969348ejb.7.2019.01.05.08.38.16 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:38:16 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:38:15 +0100 Message-ID: <875zv383go.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: , Cc: 33986@debbugs.gnu.org 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 c52cd76a3..820e87f22 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)) ;no tests + (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 Sat Jan 5 16:39:41 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 679 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 93B9616A10; Sat, 5 Jan 2019 16:40:10 +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=ham 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 1619416A0A for ; Sat, 5 Jan 2019 16:40:10 +0000 (GMT) Received: from localhost ([127.0.0.1]:36924 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfozZ-0001oS-MO for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 11:40:09 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:38040 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfozW-0001nB-H4 for guix-patches@gnu.org; Sat, 05 Jan 2019 11:40:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfozS-0007Gq-Eb for guix-patches@gnu.org; Sat, 05 Jan 2019 11:40:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:33378) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfozS-0007Ge-Aw for guix-patches@gnu.org; Sat, 05 Jan 2019 11:40:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfozS-00029e-6D for guix-patches@gnu.org; Sat, 05 Jan 2019 11:40:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 7/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 16:40: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: Julien Lepiller Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.15467063908258 (code B ref 33986); Sat, 05 Jan 2019 16:40:02 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:39:50 +0000 Received: from localhost ([127.0.0.1]:48022 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfozG-000298-AZ for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:39:50 -0500 Received: from mail-ed1-f43.google.com ([209.85.208.43]:33207) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfozE-00028p-DA for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:39:48 -0500 Received: by mail-ed1-f43.google.com with SMTP id p6so34374955eds.0 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:39:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=PgbfP1MtTzIsjhA+QdAJgHz7Zb9cB4DN0iGjCc2hVWQ=; b=AHq0FMFYMKJrpp32aIFLcZ9ofoDV/sIjVMgl+bdbSzMqPJ1fZMWYwZjxdXI2a0S/VV pot8Jp9vYF5vM9OpHP4wydrdj4a5AEiHK6BQaLHiQDjrl4HmqkFXLU4+sSS+ojYJLVov RGTbDsCtXaQnj4TcnNl8MMj68gJszq+JLijW6g+9CXXJvHl+2FaO9DQSIk1aFAAwkyoF j3JAe+njZrPfMuUb4FfCxUdzbrR4CxmugmI1f4T72Jm4FlgB0u75REj/e00HA4Bf4rvR pj0/ry4cjBLyIt7HKx7TIxpqtQ30KjhIwV1uSh4vJr+jsdILDRdsSX1/Efrp2I2VcvOr M1Nw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=PgbfP1MtTzIsjhA+QdAJgHz7Zb9cB4DN0iGjCc2hVWQ=; b=ZIT7cdOmH6r+j1RhnqZF5O1uVCLR73RAo3H+qB+GfEw/L9xhVWyQEiv+A9HlYhmWqc D3HYWKq2yyX3jLhMrXZaXOwR1sTV5Pz4t/pWprIDFNKj8Sbmlao32Jjk4zP4D8C3v7Ce DDNBNxZTtfHO1EqCPK4drSZ45WlM+ok7OOJzUua43L14tsE7s2hd0rLCHRf2JxL2J1UY OYiKqKRE/lN2a4+CMf/qLPfDBSxcSU9V2RXtXUN/oJ4qYrOtYLt2qU1ZUsTRTl0OgyZJ 3a/3fTFP2NWk9llEJoxbF4X9W4K+W1KH65Ajuh6qC1IGblokTAiNtCvNZS7Ug/hWapCm 1A3Q== X-Gm-Message-State: AA+aEWZOmoLpzydvF98QyWXdaRiVSxiNYF4Ox3jBCtglLTcl+qaDD5tz X7M5PNGSWmWlliCqUQMEoxN9mK4i X-Google-Smtp-Source: AFSGD/VrJFKzrM4am9tNV1z0/blfv9kuLS6tQMnEHonQ9+67JMOPnHZKw8SEgCAgeSC9d6H17Oj6wQ== X-Received: by 2002:a50:8e95:: with SMTP id w21mr48337269edw.198.1546706382504; Sat, 05 Jan 2019 08:39:42 -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 ga24-v6sm16152736ejb.72.2019.01.05.08.39.41 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:39:41 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:39:41 +0100 Message-ID: <874lan83ea.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: , Cc: 33986@debbugs.gnu.org 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 bce2f4f13..dddad4f33 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)) ;no tests + (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 Sat Jan 5 16:44:30 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 680 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 8AFF816A0B; Sat, 5 Jan 2019 16:45:08 +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=ham 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 03799169C4 for ; Sat, 5 Jan 2019 16:45:08 +0000 (GMT) Received: from localhost ([127.0.0.1]:38444 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfp4N-0002R9-HX for patchwork@mira.cbaines.net; Sat, 05 Jan 2019 11:45:07 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:39071 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfp4L-0002R3-F2 for guix-patches@gnu.org; Sat, 05 Jan 2019 11:45:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfp4I-0003tL-AH for guix-patches@gnu.org; Sat, 05 Jan 2019 11:45:05 -0500 Received: from debbugsout.gnu.org ([209.51.188.43]:53490) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfp4I-0003sy-5U for guix-patches@gnu.org; Sat, 05 Jan 2019 11:45:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfp4H-0002HO-Rw for guix-patches@gnu.org; Sat, 05 Jan 2019 11:45:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33986] [PATCH 8/9] gnu: Add ocaml-ppx-derivers. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Jan 2019 16:45: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: Julien Lepiller Received: via spool by 33986-submit@debbugs.gnu.org id=B33986.15467066798719 (code B ref 33986); Sat, 05 Jan 2019 16:45:01 +0000 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:44:39 +0000 Received: from localhost ([127.0.0.1]:48027 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfp3v-0002GY-1z for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:44:39 -0500 Received: from mail-ed1-f65.google.com ([209.85.208.65]:33837) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfp3t-0002GM-DH for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:44:37 -0500 Received: by mail-ed1-f65.google.com with SMTP id b3so34398025ede.1 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:44:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=xI4Q6eM6KvzaNLVQCrZgWZzMeO+ADiyXKXWtLDlvRFM=; b=WIH2kHGeko3zKEsD8qhRIdHESkZiRixntCyLe0MF+0nQUPIVyWwDmxLaV/wM6PXDvS M4PLWP36HibaTVP7Tb55vAuNyiTjyRAUrY4NEsBMMSV5KcIOz5LfK3jncMoCzIJD+1UM sn6Q81DBEtY8fllp2qamWTn75hKVYa4ay+D4uq88j8oJQ9MEl0sxQvSwP1PQQWOiVw2l Axtx5wc2AFoKR9/mMM+0LOjt9gqi08oDhJSkxNUrtjv8jrFi6c/TOj2hxJYhXWgw2LcN UhT4IMzl7oWT+gLCGGfHWXWF01E41O2j4xWqH+fVAQBDJai6x3BFiM05puz9GO4XF9Wb lePA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=xI4Q6eM6KvzaNLVQCrZgWZzMeO+ADiyXKXWtLDlvRFM=; b=oOJAToNnExKLzp/TlnRmV1YwCJebZXv7DWaQSxB8Ij9MX/45SWmpEvueCWG3nEr4bg 3OIDg3IYrDDoY4PJwoxl0cnwnGKecya29v2RDvBcenpc/yE0MkHUayzjvSaPWiZSRDEy j2fDZ4FTXfkmplnVvPDVu/MxY6Ue32nbPY5mJRnRoKGArkDip1mtH89WuZ1crOjS91hs F7457+bLEHcR3zXYQ5PnCiYrrrCcrJUX5eD5gwvrkxjm59/69gpAk9V+P/VV41H2R+Ar uEisvISTySU2bzgKTNTHkpYzWuSFZFxnuaEVn4Laa0GqGxKnx8RJuYWA3o+ToqcAc4Nn qzXw== X-Gm-Message-State: AJcUukdnKxyaQUK2YCXkNGNNIRj7DHaQsAvQTVEQ3jt3rkFTuFil0EVV BktVR2FC39Pl31pZFQ41vkEitJNe X-Google-Smtp-Source: ALg8bN44gK3CExSSNCUSXgZ5A3dESO6AzppARPXoOhvAi39Q7+eHPadJ++U89YIaRi1b8BHnWAD8AQ== X-Received: by 2002:aa7:ca0d:: with SMTP id y13mr38346652eds.285.1546706671453; Sat, 05 Jan 2019 08:44:31 -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 h51sm33652486edh.17.2019.01.05.08.44.30 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:44:30 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:44:30 +0100 Message-ID: <8736q78369.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: , Cc: 33986@debbugs.gnu.org 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 dddad4f33..04b6dea8f 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)) ;no tests + (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)))