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