From patchwork Thu Jan 31 17:05:23 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 933 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 8568916B3D; Thu, 31 Jan 2019 17:23: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,URIBL_BLOCKED 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 21FF316AB1 for ; Thu, 31 Jan 2019 17:23:10 +0000 (GMT) Received: from localhost ([127.0.0.1]:57922 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpG3R-0008Lm-Nz for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:23:09 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42955) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpG3N-0008KS-Mo for guix-patches@gnu.org; Thu, 31 Jan 2019 12:23:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpG3L-0004DW-Rx for guix-patches@gnu.org; Thu, 31 Jan 2019 12:23:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53992) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpG3K-0004CZ-J3 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:23:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpG3K-0006Pj-EY for guix-patches@gnu.org; Thu, 31 Jan 2019 12:23:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 9/9] gnu: Add ocaml-ppx-inline-test. References: <875zu4ycve.fsf@gmail.com> In-Reply-To: <875zu4ycve.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 31 Jan 2019 17:23: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: 34265@debbugs.gnu.org Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154895536824618 (code B ref 34265); Thu, 31 Jan 2019 17:23:02 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:22:48 +0000 Received: from localhost ([127.0.0.1]:53273 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpG36-0006P0-Hr for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:22:48 -0500 Received: from mail-wr1-f65.google.com ([209.85.221.65]:40471) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpG34-0006Ok-UR for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:22:47 -0500 Received: by mail-wr1-f65.google.com with SMTP id p4so4187761wrt.7 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:22:46 -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=Ftt0garvFD1kqPwGvD0RFgtK5nULf81UoOPHdVlCgyg=; b=dXGnfkljzPHk9j4w+Qx2W20BVdfb1ezFtkNJY+tdB+F/1GdzWUn/Z9PC9P7Iy0HL1h JbMxCd4yJxThy7BoVAHESJ2E2AJRO5yyMebQoyHXx2PQX21b7sHf7aHa4W/6vgG3Vo3U 52TgXoPRbIiSj9IWxcT41Wna2kD7o/NOohKNTBMuE8JsZIDlo60wk0emWJBIyKf5aeMp dLJITQ6U0g7uIPHVbTq/jQI8rrlTKFgMUc3Q/9BPnEwQvzfzEb+nrtu1xNtDV7IKv7uy qesjPBHFEezDQOeLF/t9Q8H4ciDd69NQreEYiIgq/hUlxlaDaFyUGZhnANDYnRDF8zdY VMAA== 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=Ftt0garvFD1kqPwGvD0RFgtK5nULf81UoOPHdVlCgyg=; b=Zb79J+jFTH0ybDS7WSuGJTSG5nwhFDRy0WjWu4V/azbZlIGo0puj8p4TnA3P4KoceX zt8/LyhUhLk7snZYXsKiyAsJDI9ZosqFks/6uJBg77MvwqhfvlyeGcLY3hzHoCy5q8my 7t+Il34Fxxa5B6LNk3drybCEAhM/oCd9l05pLtDMVxeti2ngxEc0z+NUjM3hyjaOiTMw wvPjAF6g5a5bk1DdHdrKnA5cmdydX2hjK301fo4795vyWBfpxmTCbvXQG/i7e/dcCPKp E9iqJENZaRSwxYW0nBvGzRqJYE2kmk2vn/ub6lTeRVIj8G5cDLgcxn5lvrWSMJiyQAJ1 F+ug== X-Gm-Message-State: AJcUukdXB0TFL1ajvvWARfTX+Y4rYDn3bTgTuSB7qVGmNoE/wVd0pMeH apJCsSYx4JYpTfgyLdVf0NL6xQ7h X-Google-Smtp-Source: ALg8bN6NM3sINO0x+m5NQZ0iYmxoPAjVel5M5bBUkEvzimnpNlKn2b1zkB20Uzz4/s63SpYyKBpQ7Q== X-Received: by 2002:a5d:6889:: with SMTP id h9mr34957351wru.222.1548955360893; Thu, 31 Jan 2019 09:22:40 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id f130sm11167784wme.41.2019.01.31.09.22.40 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:22:40 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 18:05:23 +0100 Message-ID: <87tvhowxls.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: , 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 | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 66a200520..efbd8da18 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4705,6 +4705,47 @@ 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.12-preview.120.18+252") + (home-page "https://github.com/janestreet/ppx_inline_test") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit "f594c2d98c9ef03009893cbddb1ad061e883bf7f"))) + (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) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (invoke "dune" "install" + (string-append "--prefix=" out) + (string-append "--libdir=" out + "/lib/ocaml/site-lib"))) + #t))))) + (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")