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)))