From patchwork Fri Feb 1 08:38:22 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 936 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 7874716AB1; Fri, 1 Feb 2019 08:48: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,URIBL_BLOCKED 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 DAF9016A8F for ; Fri, 1 Feb 2019 08:48:07 +0000 (GMT) Received: from localhost ([127.0.0.1]:40887 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpUUY-0002fW-3Z for patchwork@mira.cbaines.net; Fri, 01 Feb 2019 03:48:06 -0500 Received: from eggs.gnu.org ([209.51.188.92]:44736) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpUUV-0002fN-Vv for guix-patches@gnu.org; Fri, 01 Feb 2019 03:48:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpUUV-0007AY-4S for guix-patches@gnu.org; Fri, 01 Feb 2019 03:48:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:54397) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpUUU-0007AI-VH for guix-patches@gnu.org; Fri, 01 Feb 2019 03:48:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpUUU-0004tO-JN for guix-patches@gnu.org; Fri, 01 Feb 2019 03:48:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 1/3] gnu: dune: Update to 1.6.3. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 01 Feb 2019 08:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34265 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154901087518792 (code B ref 34265); Fri, 01 Feb 2019 08:48:02 +0000 Received: (at 34265) by debbugs.gnu.org; 1 Feb 2019 08:47:55 +0000 Received: from localhost ([127.0.0.1]:53678 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpUUN-0004t2-7b for submit@debbugs.gnu.org; Fri, 01 Feb 2019 03:47:55 -0500 Received: from mail-wm1-f66.google.com ([209.85.128.66]:54487) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpUUL-0004sp-L7 for 34265@debbugs.gnu.org; Fri, 01 Feb 2019 03:47:54 -0500 Received: by mail-wm1-f66.google.com with SMTP id a62so5181604wmh.4 for <34265@debbugs.gnu.org>; Fri, 01 Feb 2019 00:47:53 -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:date:in-reply-to :message-id:mime-version; bh=MGUgIAZv+dM2KerqXfLOp0A2xg1S3OtfI9cQFz4Iwwk=; b=Ar398fRUW3RS1ZgIQN8bT82HtvOcooz9VfE05PGU3fShUSdMHXZD8QvuMSknlCoJZO Ebu0uaUZ8Ml9G/L1bxcHqDfEd90HIG/D1ewYsl2bTk92feuQ5Tmr/5cyUbEpuUuFXGKu 9XcZnqqOrON9u8/QUBfIK3orBfWCZBKudhfEoskFB5LRAfEWC2hAop4k7FK8OU+yaqRC BHwWhVHmkOlsGQDeW87OJXxEITu0FBrv7zhTLG2xdxemLVeG5iUaMcLtV6D1MpznxXFQ DxD0W9JAEb5MYm9mwKrUAkTkmwog/t5kJTzX1sj9iLDZ/6rNXUK0cIR4khqTpKWL6sp9 +Uqw== 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:date :in-reply-to:message-id:mime-version; bh=MGUgIAZv+dM2KerqXfLOp0A2xg1S3OtfI9cQFz4Iwwk=; b=K6kl6O5K3ab8WM9yg4v6oQHZmm9K2Cm8sBTn8+d7I2Fn4WlzlFL5CEUKHpVYW/ihrG 5kHcxtAXMUkd2gzba5R8nO7Y8t3FvkLfjzBjQ8CHHS14wumqsRGdXXIMAN+CHFeCE78Y PXTAJmtoNFnQvxOtVucZbY4BiTEF78QnF2FE6eVC8WEi16VDLMKCijneNJP8V2GU4ZiV EuAMZaa1QSDi4f+n78KWKc0UaP+KzIiMxA/wDJzTJEHGrEJL1G7d896lfYNoLZBvo3XD qUePbkQvReKGhv5ZjRm+xPYP7fjIC8MYcx647y5Kq//ubAi/ZgUqcDquiyN2MRqV9SAk ji+g== X-Gm-Message-State: AHQUAuaFGMUKgw3bXxOotG2Oib8o8YdeakILBGhMrs3N9YA5X/RMQyB5 xF9W/oRi4JsAqaA5EPW3hDXuR26h X-Google-Smtp-Source: AHgI3IZzvULekqUOuTXkn0yM0jiIm+1IQsOevo42Oy9EZv0qVpaEzfeTm2W/Xizvc/iJEtQ38+DF2A== X-Received: by 2002:a1c:2856:: with SMTP id o83mr1530841wmo.45.1549010867456; Fri, 01 Feb 2019 00:47:47 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id f130sm3111094wme.41.2019.02.01.00.47.45 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 01 Feb 2019 00:47:46 -0800 (PST) References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> <87sgx8wwcf.fsf@gmail.com> <87r2crx6ic.fsf@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Fri, 1 Feb 2019 09:38:22 +0100 In-reply-to: <87r2crx6ic.fsf@gmail.com> Message-ID: <87pnsbx5ce.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: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 34265@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 (dune): Update to 1.6.3. * guix/build/dune-build-system.scm --- gnu/packages/ocaml.scm | 4 ++-- guix/build/dune-build-system.scm | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a32cee44d..986e435f4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1391,14 +1391,14 @@ coverage information.") (define-public dune (package (name "dune") - (version "1.2.1") + (version "1.6.3") (source (origin (method url-fetch) (uri (string-append "https://github.com/ocaml/dune/releases/" "download/" version "/dune-" version ".tbz")) (sha256 (base32 - "00c5dbm4hkdapc2i7pg07b2lj8sv6ly38qr7zid58cdmbmzq21z9")))) + "0dmf0wbfmgdy5plz1bjiisc2hjgblvxsnrqjmw2c8y45v1h23mdz")))) (build-system ocaml-build-system) (arguments `(#:tests? #f; require odoc diff --git a/guix/build/dune-build-system.scm b/guix/build/dune-build-system.scm index fcc2d6567..00b0c7c40 100644 --- a/guix/build/dune-build-system.scm +++ b/guix/build/dune-build-system.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2018 Julien Lepiller +;;; Copyright © 2019 Gabriel Hondet ;;; ;;; This file is part of GNU Guix. ;;; @@ -49,7 +50,8 @@ "Install the given package." (let ((out (assoc-ref outputs "out")) (program (if jbuild? "jbuilder" "dune"))) - (invoke program install-target "--prefix" out)) + (invoke program install-target "--prefix" out "--libdir" + (string-append out "/lib/ocaml/site-lib"))) #t) (define %standard-phases From patchwork Fri Feb 1 08:49:20 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 937 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 B1E6C16AB1; Fri, 1 Feb 2019 08:50:06 +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,URIBL_BLOCKED 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 9725516A8F for ; Fri, 1 Feb 2019 08:50:05 +0000 (GMT) Received: from localhost ([127.0.0.1]:40905 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpUWT-00030H-8M for patchwork@mira.cbaines.net; Fri, 01 Feb 2019 03:50:05 -0500 Received: from eggs.gnu.org ([209.51.188.92]:45024) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpUWR-0002zq-Ai for guix-patches@gnu.org; Fri, 01 Feb 2019 03:50:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpUWQ-0007ZY-CW for guix-patches@gnu.org; Fri, 01 Feb 2019 03:50:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:54401) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpUWQ-0007ZU-8B for guix-patches@gnu.org; Fri, 01 Feb 2019 03:50:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpUWQ-0004wU-4y for guix-patches@gnu.org; Fri, 01 Feb 2019 03:50:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 2/3] gnu: ocaml-migrate-parsetree: Update to 1.2.0. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 01 Feb 2019 08:50:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34265 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154901097018949 (code B ref 34265); Fri, 01 Feb 2019 08:50:02 +0000 Received: (at 34265) by debbugs.gnu.org; 1 Feb 2019 08:49:30 +0000 Received: from localhost ([127.0.0.1]:53682 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpUVt-0004vZ-MJ for submit@debbugs.gnu.org; Fri, 01 Feb 2019 03:49:29 -0500 Received: from mail-wm1-f47.google.com ([209.85.128.47]:50855) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpUVr-0004vK-Qs for 34265@debbugs.gnu.org; Fri, 01 Feb 2019 03:49:28 -0500 Received: by mail-wm1-f47.google.com with SMTP id n190so5214663wmd.0 for <34265@debbugs.gnu.org>; Fri, 01 Feb 2019 00:49:27 -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=Ym7zlQUaGdjDxZK7qLNErZfbWIch+yx8TUvuVmR5MZQ=; b=mBzLWiZCNTw137WcCcD/zRMdUMZmjLRzHUcZZ+upUIAIi5PFvnpU3qvmwVz/aWC50e RQVRgpoFj37kKYcxxogcYuH6VxtKameZhyXog6Pf1cWwoUkD4NW0ulJvrHeGnFZ6TN7A 7lkVgL2PYvBRYvE/UD7UOMbcSPKUXLMdSRjHrWFRNaOifnRqVHuTL3/29M3OU2iCQ/Cg CGJf07Qw/MX20QjzoyMI+y72hh76zNMg0RzVqryVrDFRrH9Pa+Zro0yBM/UPZ553sYLS kGqPQJUjRx4U1JGfZ6nXwjYtuA2ehgPxAKaRv1qa8eWfTCVRDafmGnWs6zsP4vFmpbWm opoA== 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=Ym7zlQUaGdjDxZK7qLNErZfbWIch+yx8TUvuVmR5MZQ=; b=s3D2jFhXrm7mTWO14Dr+sVzOtBDwWjUnPVftSNsXDGMzBgYxIuh3R60Mt29OOw1e7l jY29w6/ma0/ir8IaRWL+h4mpzX9R+O97LgB2BQdXeBsuwrQGlP1frY9PoFo42EBIFDsE hNSbgTp87gBFu8N7V9C8W/HEzb6tYTmK4GT0CbVxH8kHyBcQ9DxW58k9UcIcuQTIftnJ YsE8JV9GsEUY5wmGYchz373dKsB7nQhPkhQYBZPwWwnBq4tqMIHnoEEmF7gxPvwgJrTt ik016gL5nZ5li2Ncmqkd5k4wCz927chG14k3RN2H1OVaoKcHp2pilZoFSvpJxEcn4twQ QwWA== X-Gm-Message-State: AHQUAuanyhrxXuBORQe5lc9dQW9LnTk/D5p8VajSNJw4RpdQDGQ5AYE8 IikIaqhzEgibF2VSAQZ4oxit7kKA X-Google-Smtp-Source: AHgI3IaEZF8z8Jt5v4v/u7wzSbMMLv6eitIjLc8/RcMwa2S4MQ3x+7e5aQSKyxwO26kInWoIGIloqw== X-Received: by 2002:a1c:8d12:: with SMTP id p18mr1521494wmd.31.1549010961769; Fri, 01 Feb 2019 00:49:21 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id j124sm1427431wmb.48.2019.02.01.00.49.20 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 01 Feb 2019 00:49:21 -0800 (PST) References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> <87sgx8wwcf.fsf@gmail.com> <87r2crx6ic.fsf@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <87r2crx6ic.fsf@gmail.com> Date: Fri, 01 Feb 2019 09:49:20 +0100 Message-ID: <87o97vx59r.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: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 34265@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-migrate-parsetree): Update to 1.2.0. --- gnu/packages/ocaml.scm | 28 ++++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 986e435f4..a1f9e7996 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1419,24 +1419,24 @@ following a very simple s-expression syntax.") (define-public ocaml-migrate-parsetree (package (name "ocaml-migrate-parsetree") - (version "1.1.0") - (source (origin - (method url-fetch) - (uri (string-append "https://github.com/ocaml-ppx/" - "ocaml-migrate-parsetree/releases/download/v" - version "/ocaml-migrate-parsetree-" - version ".tbz")) - (sha256 - (base32 - "01zjp1q4hryqaxv4apkjd868fycz2kf887r6lkb6x2a545h1lh7f")))) + (version "1.2.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)))) + (sha256 + (base32 + "16kas19iwm4afijv3yxd250s08absabmdcb4yj57wc8r4fmzv5dm")))) (build-system dune-build-system) (arguments - `(#:tests? #f - #:jbuild? #t)) + `(#:tests? #f)) (propagated-inputs - `(("ocamlbuild" ,ocamlbuild) + `(("ocaml-ppx-derivers" ,ocaml-ppx-derivers) + ("ocamlbuild" ,ocamlbuild) ("ocaml-result" ,ocaml-result))) - (home-page "https://github.com/ocaml-ppx/ocaml-migrate-parsetree") (synopsis "OCaml parsetree convertor") (description "This library converts between parsetrees of different OCaml versions. For each version, there is a snapshot of the parsetree and conversion From patchwork Fri Feb 1 08:50:22 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 938 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 D373116AB1; Fri, 1 Feb 2019 08:51:07 +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,URIBL_BLOCKED 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 756C316A8F for ; Fri, 1 Feb 2019 08:51:07 +0000 (GMT) Received: from localhost ([127.0.0.1]:40927 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpUXT-0003DK-3x for patchwork@mira.cbaines.net; Fri, 01 Feb 2019 03:51:07 -0500 Received: from eggs.gnu.org ([209.51.188.92]:45146) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpUXO-0003DB-VB for guix-patches@gnu.org; Fri, 01 Feb 2019 03:51:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpUXO-00088P-3x for guix-patches@gnu.org; Fri, 01 Feb 2019 03:51:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:54405) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpUXN-00088H-W4 for guix-patches@gnu.org; Fri, 01 Feb 2019 03:51:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpUXN-0004yJ-R7 for guix-patches@gnu.org; Fri, 01 Feb 2019 03:51:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 3/3] gnu: Add ocaml-ppx-inline-test. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 01 Feb 2019 08:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34265 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154901103219071 (code B ref 34265); Fri, 01 Feb 2019 08:51:01 +0000 Received: (at 34265) by debbugs.gnu.org; 1 Feb 2019 08:50:32 +0000 Received: from localhost ([127.0.0.1]:53686 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpUWu-0004xX-37 for submit@debbugs.gnu.org; Fri, 01 Feb 2019 03:50:32 -0500 Received: from mail-wr1-f42.google.com ([209.85.221.42]:34187) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpUWs-0004xJ-6D for 34265@debbugs.gnu.org; Fri, 01 Feb 2019 03:50:30 -0500 Received: by mail-wr1-f42.google.com with SMTP id f7so6222081wrp.1 for <34265@debbugs.gnu.org>; Fri, 01 Feb 2019 00:50:30 -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=UpEySWBdXfmhHU0gulN9H3Qcs9X4vKOBch6ea0/oQ7g=; b=t7pHDiq9UTVoECxV6ec7grxc+Qp+3x9fAD86vkcowZI0a1vrvQnT0H4Y6bKaCn9lr0 Xk5c5Z42XI6XX55tUjEQ3HtR/TfcCJSS9WYQ6lzrC7ao7zNjfIUP0ODApRTxlK2XDSB+ 9FNoqfEh+RofrYqijJACu/P+8vlrExmcoe5xhXr6/oQnGi5YTOmDwQsFrmNL7EHlnMj0 dtefZyW2dCjdNJSEV8hyIlqLaJRyOIBNFt0FPMsf333X4KYcIX+O7drjVBEdRr/HOsXO A/UuMAUWC27TPxQG8zp11d2JLBb/jchv754UlPejMJRMrBOSCm8wFyL5ytU1nRsi/VTw A3/Q== 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=UpEySWBdXfmhHU0gulN9H3Qcs9X4vKOBch6ea0/oQ7g=; b=UeCzofG7YjMLxB8ukhzTCghMVjt8LCn6NJWfstekcq4vAVTCFq1+lbwKyzd258Ferl gJhX0EJJo3LkMFxF0mutg29rYzV1QJXotNV0qX3CPV1GqWbf9oXZmHwrLZBeOwYWBqsz Ql7/ufp1EfuLS8wtsQH8Vqa9r1qXewfTeA6cpVnnXI5cgk2pgJICDFDBUy7yXZlV8Ge7 xP8iUgcTZ4FSZc0t0f15tby0TE4RVsOoq4cFaIABN6kVNzXEObLymbok0iwW+dXXlqVp jitUNyTQuqxkrxJogKRh8R5LPs2TzFJFTLn7Q63eJJJnQcRh/PYTHH/zY7pTog0SOXbU p6RA== X-Gm-Message-State: AJcUukdHKwGPaxH35k6VQisRQb0YIn8qzWZNQtf9A4TdeJ6pupFnu+Xk 134V5b4vGrCqKSBvizjklpGSaOug X-Google-Smtp-Source: ALg8bN6nxSWzRNpRd6l3Z6OXdOigJyHcLccZgMPh3l2IkmrZtTEK+C3UXmkhWyjRXzEIpjOLAsHEVw== X-Received: by 2002:a5d:410e:: with SMTP id l14mr37625120wrp.61.1549011024068; Fri, 01 Feb 2019 00:50:24 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id e17sm14433242wri.36.2019.02.01.00.50.23 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 01 Feb 2019 00:50:23 -0800 (PST) References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> <87sgx8wwcf.fsf@gmail.com> <87r2crx6ic.fsf@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <87r2crx6ic.fsf@gmail.com> Date: Fri, 01 Feb 2019 09:50:22 +0100 Message-ID: <87munfx581.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: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 34265@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-inline-test): New variable. --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a1f9e7996..2d33db1c0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4694,6 +4694,39 @@ Dedukti files.") syntax checking on dedukti files.") (license license:cecill-b)))) +(define-public ocaml-ppx-inline-test + (package + (name "ocaml-ppx-inline-test") + (version "0.11.0") + (home-page "https://github.com/janestreet/ppx_inline_test") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (sha256 + (base32 + "0b1n5xs429d93ysdq6vhg73rkh3r69fx78si8ls8jjgzg2svxald")))) + (build-system dune-build-system) + (arguments + `(#:tests? #f ;see home page README for further information + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (inputs + `(("ocaml-base" ,ocaml-base) + ("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree) + ("ocaml-compiler-libs" ,ocaml-compiler-libs) + ("ocaml-sexplib0" ,ocaml-sexplib0) + ("ocaml-stdio" ,ocaml-stdio) + ("ocaml-ppxlib" ,ocaml-ppxlib))) + (synopsis + "Syntax extension for writing in-line tests in ocaml code") + (description + "Part of the Jane Street's PPX rewriters collection.") + (license license:expat))) + (define-public ocaml-biniou (package (name "ocaml-biniou")