From patchwork Thu Jan 31 16:18:36 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 925 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 0C47216B3D; Thu, 31 Jan 2019 17:08:11 +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 AC98416AB1 for ; Thu, 31 Jan 2019 17:08:10 +0000 (GMT) Received: from localhost ([127.0.0.1]:57740 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFow-0003VB-3C for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:08:10 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39442) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFop-0003Tg-8d for guix-patches@gnu.org; Thu, 31 Jan 2019 12:08:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFoo-0005io-Dv for guix-patches@gnu.org; Thu, 31 Jan 2019 12:08:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53954) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFoo-0005iX-8d for guix-patches@gnu.org; Thu, 31 Jan 2019 12:08:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFoo-0005zn-2d for guix-patches@gnu.org; Thu, 31 Jan 2019 12:08:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 1/9] gnu: dune: Update to 1.6.3. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 31 Jan 2019 17:08:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 34265 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34265@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.154895447423033 (code B ref -1); Thu, 31 Jan 2019 17:08:01 +0000 Received: (at submit) by debbugs.gnu.org; 31 Jan 2019 17:07:54 +0000 Received: from localhost ([127.0.0.1]:53235 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFog-0005zR-Az for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:07:54 -0500 Received: from eggs.gnu.org ([209.51.188.92]:53171) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFof-0005zE-91 for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:07:53 -0500 Received: from lists.gnu.org ([209.51.188.17]:49758) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gpFoa-0005cQ-5b for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:07:48 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39297) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFoY-0003MQ-Uo for guix-patches@gnu.org; Thu, 31 Jan 2019 12:07:47 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFoX-0005ai-W1 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:07:46 -0500 Received: from mail-wr1-x442.google.com ([2a00:1450:4864:20::442]:38801) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFoX-0005U0-Ka for guix-patches@gnu.org; Thu, 31 Jan 2019 12:07:45 -0500 Received: by mail-wr1-x442.google.com with SMTP id v13so4144126wrw.5 for ; Thu, 31 Jan 2019 09:07:36 -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=0YEnukAvcqGci/0jMjiMtsz13FuqQizdBLN5/L0lmk4=; b=TMdU/WkLS8pcXvXlLQP4D3Q/5xtqlABTkoO2Yb1rk77TbBmcqK4DyQckHGR+xuLhau JI6FoOr1Hs5JOjCDDMriPmeXdevgns7ahcWjRXSViDKQWYTvlx7wik/Qg5P3JzO/J+2w u2dayIjxYBK40QRdj6CvBcmH65GMuzGTEuYh2jhceUpz8nEMdMdj7dB3U6qWGLO+YoPK sUJqnAJfGZkR0G6aylFWWn5iAvPlGpYn38n6GQkHwEX2Qlv6VzBEC06zxicX2Zz40Drx ub2DaTDcjR9f45LAbje7HW4OP5Kfntgh8+STpSv9jxHQhOErYTq3TbCmKFPULaXsZIL9 h6iQ== 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=0YEnukAvcqGci/0jMjiMtsz13FuqQizdBLN5/L0lmk4=; b=AqFaWZ+43Xj5VhuIe3UZz4pza+RwjWALgfLcvPrx5st5O4dKZfvF6Bfqs7LPs89z/A mvKbPALsCQVmMbNCm7oE7nvrGyX1Yz2bEd8QIvXAoj/ndimZ7ssh9hlPUbhsnBZY2rH+ e09CV7yK66+3a8nlc7NZwziuWldObGn3+hJNuUIKOxxvabJOLVZyIHwmx80lABtOp6Ob VAmCixBc7Lhn2fGiiR8aOPO2mUqFpR58u9cWtP+veSvkwWP0Sk3v1mUt9u/rxpkEiFsv Z20AwtiDC5V6mnyGhYp9R2SI9uTQ9mTvHW6rb48IKkDaozLM5qqh8E0XmcboNKuvIkR2 31aA== X-Gm-Message-State: AJcUukeU5+OSNgRZ2YxZTFphN4Jq3SRlJZS94KQYDlS398CIRgY1xCjU S4+SsxPTK5sjRfgGZYQzs0uab8qm X-Google-Smtp-Source: ALg8bN43d8yb2ge2XwgssTFd/M1nNCwkC73dbuxOoWjo65VZMgigEiOimW5zgaFYZfGZfmQd1WjG7Q== X-Received: by 2002:a5d:6684:: with SMTP id l4mr38309795wru.154.1548954454558; Thu, 31 Jan 2019 09:07:34 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id k26sm2975249wmi.28.2019.01.31.09.07.33 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:07:33 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:18:36 +0100 Message-ID: <875zu4ycve.fsf@gmail.com> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x 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 (dune): Update to 1.6.3. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 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 From patchwork Thu Jan 31 16:20:24 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 926 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 E30F816B3D; Thu, 31 Jan 2019 17:11:19 +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 8216716AB1 for ; Thu, 31 Jan 2019 17:11:19 +0000 (GMT) Received: from localhost ([127.0.0.1]:57795 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFrz-0004pu-3k for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:11:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40207) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFru-0004pe-H3 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:11:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFri-000872-6g for guix-patches@gnu.org; Thu, 31 Jan 2019 12:11:09 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53959) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFrh-00086W-W5 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:11:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFrh-00064p-PN for guix-patches@gnu.org; Thu, 31 Jan 2019 12:11:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. 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:11: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: 34265@debbugs.gnu.org Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154895463523318 (code B ref 34265); Thu, 31 Jan 2019 17:11:01 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:10:35 +0000 Received: from localhost ([127.0.0.1]:53240 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFrG-000642-Tx for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:10:35 -0500 Received: from mail-wm1-f66.google.com ([209.85.128.66]:37432) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFrF-00063p-Bj for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:10:33 -0500 Received: by mail-wm1-f66.google.com with SMTP id g67so3377108wmd.2 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:10:33 -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=rSk6SBeyJHzmoxHGtPcmqNRHVfWG8PVh7nJ5QEYVMug=; b=oKajrFupxohoSW8RIiIpFfh37+OyL/d9K0lnbnINCi1inx/BEsXzxFjEBtiFX6nhRx yqnEeCMmGEWoaH8klDVDBor26MEhZkJ+WXWZN5I8l6915g4g1dH7VtI80QC9Un+Ioi4P h+Lwr6ZGM8L19iShlJAbSE4hmGmvGscJnEK1vWElGtZWNHMsC3M9nqdMPyUZjJAgrWLa VOY/nX0uytxcCvEshJiJmq9YP5nAAOuc06u7KjWKl+DmxLC6NVvcHgeTqNdesj9SjRW7 C1qwvVAuBJCug0H8S4r0qDtBm56g+0M9/3L7To1RD6lXCqQKegRULhhtgaQFd67RdjUz pYXg== 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=rSk6SBeyJHzmoxHGtPcmqNRHVfWG8PVh7nJ5QEYVMug=; b=PdYCULP+F0zPjcEPfV8eojjqE3C7f96TjFOOVDBlrfbxDGCfYnmBdR36sRD/W7pdUt SPFS4pW4AM55VSpF8CyXPWKKYbShm9EYXq2ouT19H/o8hHJn72MycfBEQ29KKrRit8Ww U/e+1MXLQ8wJj1xopRLagGWzxNTflgphVMMn8YiWPED2Q4t0PDl3BT4lvlYwya586tp+ W/Gt/UCuG/9ifFBIClWLd2O75J2o18LKX/lxRazLozztqZnVOv2Jbapfi0huyFKPVcrm 6AiszBMCIeQVYiQ5cfQVHXm6MhFUIcuoLuBLKwYuuxKoQVQjMlk8IzlufGvM3/Oty5uF j1jw== X-Gm-Message-State: AJcUukcFD207uJXk1ZqDhdOT1jouUVt/1Dq1/Pl4Bo4oiArhu4sLo+A7 Bgbyp98kpT6QY1Mxv7cLgo6Oshqo X-Google-Smtp-Source: ALg8bN6KMiMmNh5BspfBFoCupyyzyedehiZGRzbfxoVxDkanISgSkATIaU1qv8eErIOYPTM8Q4/XsA== X-Received: by 2002:a1c:f509:: with SMTP id t9mr32109879wmh.76.1548954627013; Thu, 31 Jan 2019 09:10:27 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id v8sm6510254wrq.53.2019.01.31.09.10.26 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:10:26 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:20:24 +0100 Message-ID: <874l9oycqm.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 (sexplib0): Update to 0.12-preview.120.18+252. --- gnu/packages/ocaml.scm | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 986e435f4..5f95591d9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4903,27 +4903,37 @@ exclusion algorithms are typical examples of such systems.") (define-public ocaml-sexplib0 (package (name "ocaml-sexplib0") - (version "0.11.0") + (version "0.12-preview.120.18+252") (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)))) + (commit "7e602a00a9b7c037f3717cc60577a2aad8941830"))) (file-name (git-file-name name version)) (sha256 (base32 - "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi")))) + "0hrxy52nbnrd9l9v66klghsdy7xnbsjk85fb1rdkhcjcr38jnmad")))) (build-system dune-build-system) (arguments - '(#:tests? #f)) ;no tests + '(#:tests? #f ;no tests + #:phases + (modify-phases %standard-phases + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (invoke "dune" "install" + (string-append "--libdir=" + (assoc-ref outputs "out") + "/lib/ocaml/site-lib") + (string-append "--prefix=" + (assoc-ref outputs "out")))))))) (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))) + (license license:expat))) (define-public ocaml-parsexp (package From patchwork Thu Jan 31 16:28:37 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 927 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 8386A16B3D; Thu, 31 Jan 2019 17:12:51 +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 2BF6116AB1 for ; Thu, 31 Jan 2019 17:12:51 +0000 (GMT) Received: from localhost ([127.0.0.1]:57807 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFtS-0005Z4-Mf for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:12:50 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40407) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFsi-00058e-F6 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:12:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFsh-0000BU-9k for guix-patches@gnu.org; Thu, 31 Jan 2019 12:12:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53963) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFsg-0000BI-Kd for guix-patches@gnu.org; Thu, 31 Jan 2019 12:12:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFsg-00066i-ES for guix-patches@gnu.org; Thu, 31 Jan 2019 12:12:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 3/9] gnu: ocaml-ppx-derivers: Fix libdir install 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:12: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.154895470123439 (code B ref 34265); Thu, 31 Jan 2019 17:12:02 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:11:41 +0000 Received: from localhost ([127.0.0.1]:53244 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFsL-00065z-A1 for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:11:41 -0500 Received: from mail-wm1-f65.google.com ([209.85.128.65]:36858) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFsJ-00065i-2k for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:11:39 -0500 Received: by mail-wm1-f65.google.com with SMTP id p6so3395661wmc.1 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:11:39 -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=isbw7n69bGe9JBVNAwGUTYpctR7Q9btq2U9cpbbAllg=; b=IwA8kY5TPnvxboKRlp7CTic4dlhVP2Pn1rjvDp8aidryf4cHbWqBjjPZZXX6A51d9N P7aoeM8QPadtPVNAXjteyX2oEe8rt1L3qZatczfoklN5En9UvhCNCobieA+Et5EhBwm2 KFylovTb0spFKBeiP0JSpSXlZGimFVnQ8WqGnX7nJDodN5/LkD/FAPpsW6xxBXrv2Er2 Dgq/Yu9Q5nWD2gxyUiAUjd+x3lAhsOTwJsBZptV4LTdfZdukv1peIpWy/Ud+QqzvIfBZ b5jddEFUAFMTQXt3vVjWsZtUYJcE2JmnhWBqSBjjhmjDiSNKq7DAEK0S9tBQNHPIwzDx qTRg== 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=isbw7n69bGe9JBVNAwGUTYpctR7Q9btq2U9cpbbAllg=; b=QxH/iCOQMkmu6jmw9wDd9EDnHnP0YKxdoBAr+kI11A8+KibjDVdZQH+Jven2rfV5EI wGcVp4DYPo/327ssNPO6MII93vseuAEwTJVOxbyX5aQkVeRjWFPgFw52f2umiw1wGdg3 9SQZICWM4bskHgDR/Bom6OZJwRzWhGylKqiCUqb4ui1Xg8bvTsiHpV7lLF9B3qsCjzCR M27fKm7uWL18r3Ncwql4r3R+0QD1odiXMLCSaC//zVz8nqKzaLTSCnaDkqFMaEy0y0xJ qCuFFSgf/kwHsRHeyXN5knyXFugxYJw3X504YJ5jOFmI842YPLDMLzRlL9wkWFLp1EXb xq9w== X-Gm-Message-State: AHQUAuZs/CAXxCg/qoqrFbXvWzmsQkHQJwi6MBgLXUuYD9QwHJ9t43HW lgU8Eliy25t8F5N35otA0vzwcB7n X-Google-Smtp-Source: AHgI3Iaw2R4p3BcY4HrbhNBVkiGd+noWaiidl0dPpq679fys3HLsz4D7xYuuP6rF4JNG7GD8+qnGaQ== X-Received: by 2002:a7b:c399:: with SMTP id s25mr100097wmj.90.1548954693064; Thu, 31 Jan 2019 09:11:33 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id r22sm74909wmh.2.2019.01.31.09.11.32 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:11:32 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:28:37 +0100 Message-ID: <8736p8ycos.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 | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5f95591d9..946360833 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5116,7 +5116,17 @@ a more consistent API.") "0bnhihl1w31as5w2czly1v3d6pbir9inmgsjg2cj6aaj9v1dzd85")))) (build-system dune-build-system) (arguments - '(#:tests? #f)) ;no tests + '(#:tests? #f ;no tests + #:phases + (modify-phases %standard-phases + (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))))) (synopsis "Shared @code{@@deriving} plugin registry") (description "Ppx_derivers is a tiny package whose sole purpose is to allow From patchwork Thu Jan 31 16:39: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: 928 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 52D3016B3E; Thu, 31 Jan 2019 17:13: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 EEAC416B33 for ; Thu, 31 Jan 2019 17:13:09 +0000 (GMT) Received: from localhost ([127.0.0.1]:57809 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFtl-0005cn-Hz for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:13:09 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40570) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFtg-0005c2-NH for guix-patches@gnu.org; Thu, 31 Jan 2019 12:13:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFte-0000Xn-UO for guix-patches@gnu.org; Thu, 31 Jan 2019 12:13:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53967) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFte-0000XL-CH for guix-patches@gnu.org; Thu, 31 Jan 2019 12:13:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFte-00068N-3I for guix-patches@gnu.org; Thu, 31 Jan 2019 12:13:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 4/9] gnu: ocaml-stdio: Fix libdir install 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:13: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.154895476923561 (code B ref 34265); Thu, 31 Jan 2019 17:13:02 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:12:49 +0000 Received: from localhost ([127.0.0.1]:53248 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFtQ-00067w-P5 for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:12:49 -0500 Received: from mail-wm1-f67.google.com ([209.85.128.67]:39149) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFtM-00067c-8H for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:12:44 -0500 Received: by mail-wm1-f67.google.com with SMTP id y8so3368207wmi.4 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:12:44 -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=D2ln4siVUoCABaAeZ0Wri4JIql7TYPEQizhPJGnmS8U=; b=tkUmWGzjI+rzOEGy0yZ/OWH/dcNvYQNukssDiiyjACykoCtjOsint95IxpLDySABqj FOCm33pwt0Izo7TSY2EoDkb0TCOkkqtojm1OhYkOOCBv4US6k2NKuHDGsDPB/CT1xwEx XVMB02Q4rU9RL9bXOt1nuPnPXD4Z7My0H84Z6iBuvU3RxhalwSvb4gOtzUeHPiKz5nYY 6BhTEDXg0038+dxAfLA8jNuKjl2XRRcUjx9CJ7kz/MHwQRRF5q/P+zkCEe/vbWxcDIaa hfOznH9ZCwXQGpducEAMVUig5S9T8CzEn0OEY62pOYhd8Kr93CdCW+lY1JQq6Hm9aJk3 mBoQ== 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=D2ln4siVUoCABaAeZ0Wri4JIql7TYPEQizhPJGnmS8U=; b=EHcBaI0aLXVuzT6vPslPmttGUEBWGfFMGRKspc5SZjON5c+aZ9f3KOaGQv3Qef56aQ GhqicdjOO9sZ+LU9+9cepzBPTL5m/nG7xhCJXKU8sGTG1EES4nMWjTNhIV6WZWGZSY5i uDZLaGI6x79P3OsVUggGMhI4zXIWufkIF2rqzfNG41QNOnvIFK8MgSIAQP2PoS2eM+wK gREpgI3fW0bbVN+QrF+0LIX67MHW+l/kxkQ+Ee3Z5Udguf2ELStSQiy9rX7BsbuYVo3o cRJyPg+RQHHQD8Tn12rNVvIg6hDCCnfhHfG2loXkWAtjBNP/+c3bg/PvHK+Ip7jAFpAw KjTA== X-Gm-Message-State: AJcUukdypP5YD05TO6X/26XWWB3Uwv7r+G+ZnkmGFUYqCz+r8bqKjSS2 w78KduG+m/DtXaB4ehXIP48GlJRW X-Google-Smtp-Source: ALg8bN7i5hOHciLp88Si7jzpjC+/w3X3v7LdbUeJQH8OWI0TJ52pbLU+BTRuOs9uhIULMsuyu/Tf+Q== X-Received: by 2002:a1c:c707:: with SMTP id x7mr29361619wmf.120.1548954756982; Thu, 31 Jan 2019 09:12:36 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id q9sm3852733wrv.26.2019.01.31.09.12.36 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:12:36 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:39:15 +0100 Message-ID: <871s4sycn5.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 | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 946360833..94b108961 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5090,7 +5090,18 @@ is now @code{Ocaml_common.Ast_helper}.") (inputs `(("ocaml-base" ,ocaml-base) ("ocaml-sexplib0" ,ocaml-sexplib0))) (arguments - '(#:tests? #f)) ;no tests + '(#:tests? #f ;no tests + #:phases + (modify-phases %standard-phases + (replace 'install + ;; set libdir to use ocaml-site + (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))))) (synopsis "Standard IO library for OCaml") (description "Stdio implements simple input/output functionalities for OCaml. It From patchwork Thu Jan 31 16:50:09 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 929 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 A315016B3D; Thu, 31 Jan 2019 17:14:11 +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 3D64E16AB1 for ; Thu, 31 Jan 2019 17:14:11 +0000 (GMT) Received: from localhost ([127.0.0.1]:57815 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFuk-0005m0-QG for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:14:10 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40750) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFud-0005lY-Gc for guix-patches@gnu.org; Thu, 31 Jan 2019 12:14:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFuc-0000qZ-K7 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:14:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53972) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFub-0000qM-Rf for guix-patches@gnu.org; Thu, 31 Jan 2019 12:14:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFub-0006AK-La for guix-patches@gnu.org; Thu, 31 Jan 2019 12:14:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 5/9] gnu: ocaml-base: Update to 0.12-preview.120.18+252. 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:14: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: 34265@debbugs.gnu.org Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154895483623680 (code B ref 34265); Thu, 31 Jan 2019 17:14:01 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:13:56 +0000 Received: from localhost ([127.0.0.1]:53253 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFuW-00069s-8O for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:13:56 -0500 Received: from mail-wm1-f50.google.com ([209.85.128.50]:51052) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFuU-00069f-NG for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:13:55 -0500 Received: by mail-wm1-f50.google.com with SMTP id n190so3335529wmd.0 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:13:54 -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=xg/WsjgPPP+oqFegYfTYe5PAmcQbFxhulDq3xGrG+aA=; b=va0TQEdyCKTSPLn8i++71xFlm8OGxu1bbwW7J6zGbpfN7fUQAP0TXYhK0r1/X1zhSV ingk33DJIQLHCVyJlJnnoDl5AXt4hBileJT9RaqzCMDCFqvR2Z09UseYu6+9D7clHPCi vNzlpz434syvhs0EVNZpfCOgY97AMI+R1c2lOAZz/h7TQNY5WoNS+AHDvQekr7HG+NZG 9F5xqoNKkezLirb3mfVAJLdz6AU6Cs0Wn3meqv+D0cDt/vTWuSj0U1zgnbxAHs8jHwxF hnVoWAoR2iGFL4ikJcqe8GqOBOHHfCFUs9qnjdEX9LNEryOvtvDYkGJzjqg3YaotAOI+ jOTQ== 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=xg/WsjgPPP+oqFegYfTYe5PAmcQbFxhulDq3xGrG+aA=; b=XiTwR9oj2MCm4/idjvRAqGhYL4BvBmSNkv6gmtfgP29NmEcnv7BKWp0P6rMSpY27SS dSOwxm/Aic3QRqzN9d8pcSkf8ayWR7JNtVg36kbRgaEY6MBUj/ENV5GSksmKQELF018x /HAfi+JvMxIRia68gy3gm94X1lTnH+75tD3uTmVzRHchkGnOOujTsXVv37YppOUuZSio VeR/g5ZyZkcjXhOUgk1oy2aW1w9ilwk4hxBp+LZ22+Q9J1Dyk+vaq5dT9s/ATnl0VEat S7FtgSo5qNUe706Vieo135fXTzd6zB07586IDxm8POuoFZ2SSWyOq866DoW46G2aV55V yD3A== X-Gm-Message-State: AJcUukf6G8i7JOJuqSgHCwlfprtiJAnIyybL6PK8qe/t/dlaOfH4KnCI IEujwVmYPSDKafgw5MFS9Tfj0ezO X-Google-Smtp-Source: ALg8bN6UL6nZfejVY4xODGxVL80BC0K2x0I33QCyGiSCu7O1o09S54Of3R8TYS/XqanOt+ffDnr4CQ== X-Received: by 2002:a1c:6489:: with SMTP id y131mr30049955wmb.34.1548954828859; Thu, 31 Jan 2019 09:13:48 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id z7sm5481896wrw.22.2019.01.31.09.13.48 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:13:48 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:50:09 +0100 Message-ID: <87zhrgwy0p.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-base): Update to 0.12-preview.120.18+252. --- gnu/packages/ocaml.scm | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 94b108961..4c2579975 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5011,18 +5011,18 @@ functionality for parsing and pretty-printing s-expressions.") (define-public ocaml-base (package (name "ocaml-base") - (version "0.11.1") + (version "0.12-preview.120.18+252") (home-page "https://github.com/janestreet/base") (source (origin (method git-fetch) (uri (git-reference (url (string-append home-page ".git")) - (commit (string-append "v" version)))) + (commit "170e96604ea81a44354a7508d168eb341a92e060"))) (file-name (git-file-name name version)) (sha256 (base32 - "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir")))) + "166dhrgkwp2iy5cipzalvkyln94f73la1rnqkb07p3wz8yl41gb5")))) (build-system dune-build-system) (inputs `(("ocaml-sexplib0" ,ocaml-sexplib0))) @@ -5032,7 +5032,14 @@ functionality for parsing and pretty-printing s-expressions.") (replace 'build ;; make warnings non fatal (jbuilder behaviour) (lambda _ - (invoke "dune" "build" "@install" "--profile=release")))))) + (invoke "dune" "build" "@install" "--profile=release"))) + (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")))))))) (synopsis "Full standard library replacement for OCaml") (description From patchwork Thu Jan 31 16:54:24 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 930 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 6AB9516B3E; Thu, 31 Jan 2019 17:17:05 +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 CB64E16AB1 for ; Thu, 31 Jan 2019 17:17:04 +0000 (GMT) Received: from localhost ([127.0.0.1]:57866 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFxY-0007LJ-C2 for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:17:04 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41138) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFwa-0006ou-Ah for guix-patches@gnu.org; Thu, 31 Jan 2019 12:16:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFwY-0001a2-IP for guix-patches@gnu.org; Thu, 31 Jan 2019 12:16:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53976) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFwY-0001Zx-Ed for guix-patches@gnu.org; Thu, 31 Jan 2019 12:16:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFwY-0006E3-4t for guix-patches@gnu.org; Thu, 31 Jan 2019 12:16:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 6/9] gnu: ocaml-migrate-parsetree: Update to 1.2.0. 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:16: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.154895491423863 (code B ref 34265); Thu, 31 Jan 2019 17:16:02 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:15:14 +0000 Received: from localhost ([127.0.0.1]:53257 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFvl-0006Cp-JX for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:15:13 -0500 Received: from mail-wm1-f48.google.com ([209.85.128.48]:36087) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFvj-0006CX-Jq for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:15:12 -0500 Received: by mail-wm1-f48.google.com with SMTP id p6so3407565wmc.1 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:15:11 -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=N3xMl3AWx6umERGMqINE88CX/VWQmc5vA34PtCvFLa0=; b=D3O6MvfTN1f/TnRD95EHif6ORsWLS/5qsVqM5PJ5OVM7icfkx+TXTL72xnD3JzCm3c km+zRtqLLnR4OxE5Oa+NRE/fnSfmb+Mvq7vMAfHuypM7wBY1ex1WC7husfTnPaWfPxv+ rboFGo7bEaqsKPeNtHJY4+0fAjtyiItjsYFMnUYHGVFMjZsOgIKMOG0mBalgZKHSfjCa bowExNHam89b5op8MSDMytCUXU4pkNbntvGZoyGo+PZrYXMRFaOW8RFN7nghsQONwzTy wUyhHtuX20TbtuF+rvjj65libOmkLj6r5mNqlvWVQUWleoDYKQSkvqAW93h6Vis3a+ab hAPA== 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=N3xMl3AWx6umERGMqINE88CX/VWQmc5vA34PtCvFLa0=; b=HfPYIWrJxCeUAJ4Wzq67TW1/Dv6xvPQcZitY6J/qzn5X/0DJXGvi2nUvvK2FCOUzGh 5iQo7hobX82FNwuaIyR05yC/xKhPmj1fhZEVJQOETON2ri8KqxiqCy9zMsHDEgTb7pD3 r2hoa6Ig+getJP2dLU3Y4Wo7MMzU1pz8nhHzO2sMQQpBQS9UzIHSLbfU24eUZGopJ67D vTTAIpCOHjQbM3NZv3M8cnyAPO3ywBVcMp1sTDeqJwsgSvdtuwFrXXuO2RBMcgNeVdgP 2FFh9kNZECGrEpdAtTRJ/z7eDMb5URJd7QK5JPixQAtVLIGrJeA6YB9ep8FVUvo0UV7Q zXhw== X-Gm-Message-State: AJcUukcSxpQRD0OtmfXcgDpNiBn8tnogWDG+hWInU1MbLlLaLa6em2T7 ue3KLtyV9HHV0Yy1Gu/goRr4iqwS X-Google-Smtp-Source: ALg8bN6Ma90hJmqr9nR1SHX+cppECb0xKSNAxwd0IRSUTUiEuR7eb7RKxXuGKlUnNj5hRez2cKccJA== X-Received: by 2002:a1c:f71a:: with SMTP id v26mr28694540wmh.131.1548954905449; Thu, 31 Jan 2019 09:15:05 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id t4sm4281916wrb.64.2019.01.31.09.15.04 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:15:04 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:54:24 +0100 Message-ID: <87y370wxyf.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-migrate-parsetree): Update to 1.2.0. --- gnu/packages/ocaml.scm | 37 ++++++++++++++++++++++++------------- 1 file changed, 24 insertions(+), 13 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4c2579975..bf12cc85c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1419,24 +1419,35 @@ 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)) + #:phases + (modify-phases %standard-phases + (replace 'install + ;; set libdir to use ocaml-site + (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))))) (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 Thu Jan 31 16:56:43 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 931 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 1E1C816B3D; Thu, 31 Jan 2019 17:17:12 +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=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 C939316AB1 for ; Thu, 31 Jan 2019 17:17:11 +0000 (GMT) Received: from localhost ([127.0.0.1]:57868 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFxf-0007NU-Cw for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:17:11 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41473) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFxW-0007ML-No for guix-patches@gnu.org; Thu, 31 Jan 2019 12:17:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFxW-00020H-4a for guix-patches@gnu.org; Thu, 31 Jan 2019 12:17:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53980) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFxW-00020C-1L for guix-patches@gnu.org; Thu, 31 Jan 2019 12:17:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFxV-0006Fy-O1 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:17:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 7/9] gnu: ocaml-compiler-libs: Fix libdir install 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:17: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: 34265@debbugs.gnu.org Received: via spool by 34265-submit@debbugs.gnu.org id=B34265.154895496623975 (code B ref 34265); Thu, 31 Jan 2019 17:17:01 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:16:06 +0000 Received: from localhost ([127.0.0.1]:53261 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFwc-0006Ed-5T for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:16:06 -0500 Received: from mail-wr1-f50.google.com ([209.85.221.50]:44274) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFwY-0006Dk-Ig for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:16:04 -0500 Received: by mail-wr1-f50.google.com with SMTP id z5so4143560wrt.11 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:16:02 -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=jmus2ilbSNg36TnM46AKum1eJTMjbD5t/YR4oFT3CX8=; b=eZ8sNQyvgYKEB0u5J1czXP6yFdBDW48XjYxMg8D5mshpFUCxlHQdRx/HHll91CPKIX sQblGF/QRq79sXPvRqZoFgg7VdMqGvGfMUOWjPKteeI8+MHBYr9F7BDEefvb7DKAkspz sItlM/+d+rnVD1QfJJUxt3+24naF+xS6wknASpuTSAC4wEhn6NS0W+zI9bX49c0zoDZF vYSG1gQFlkyxDNR2Kr1I7QpGU2sIhg+kLhTn4d1A9HAb8LKKiccFc8IBObAaBvIlt7dH z991vBYHUv09NyLkwBjQ6/+nMkNCb/sfwOWCA0het9wz9jasRcbEAUhA7nPVmfc/jN4b fudA== 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=jmus2ilbSNg36TnM46AKum1eJTMjbD5t/YR4oFT3CX8=; b=eYyow0Mxw8DK3GF8juFWJo2sXUuqCvmVKxUAW52sXLekuXqX8NUTsXVU329x+/YKxv +1tUDm7pyzgXNgbpU3h3KbzLFilaQubiwqecNWcDPX0CLrv6TKZzx58ZnuRx/WDIB8KL RSRlmYiRcscxCvBNv9NEjrYIy1vaGJltSX0Q9CMiXtIWqWKNZ5G4TmqiqADQbTTizFPS dSpi6/DSRH6aW6i3jr0Hxiz2J3PBXK+yXlYGbBJRxvquRuJigvT8Hm+ggyARyYQ7THpt YrLQ5ehtX4y3gooKHkaS50dhU1JPPyl/ZmEycz0nHQ53Q/6JtY8hZscGBf7xuIG3HAF/ 2QGA== X-Gm-Message-State: AHQUAub2qJhSQkYBWDjCV+qhf08aObwbwelVJaba3TA5JQYhuSRSRtP0 bH5XOcsvVyKqQXfGbTs3JBzL17KM X-Google-Smtp-Source: AHgI3IaLurkk0HlT0nTmFFG4bcMP2u4z8kcvjUy2vRZsl9ZfQYLsPpQj4XiRctqpb3tEVWCIiMxsCQ== X-Received: by 2002:a5d:4a0c:: with SMTP id m12mr9765996wrq.38.1548954956556; Thu, 31 Jan 2019 09:15:56 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id x15sm12813663wrs.27.2019.01.31.09.15.55 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:15:56 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:56:43 +0100 Message-ID: <87womkwxx0.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 | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index bf12cc85c..8abbbab71 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5082,7 +5082,18 @@ provided by companion libraries such as "03jds7bszh8wwpfwxb3dg0gyr1j1872wxwx1xqhry5ir0i84bg0s")))) (build-system dune-build-system) (arguments - '(#:tests? #f)) ;no tests + '(#:tests? #f ;no tests + #:phases + (modify-phases %standard-phases + (replace 'install + ;; set libdir to use ocaml-site + (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))))) (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} From patchwork Thu Jan 31 16:58:58 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 932 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 BCED316B3D; Thu, 31 Jan 2019 17:18: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 6CC3016AB1 for ; Thu, 31 Jan 2019 17:18:10 +0000 (GMT) Received: from localhost ([127.0.0.1]:57882 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFyc-0007YG-1G for patchwork@mira.cbaines.net; Thu, 31 Jan 2019 12:18:10 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41779) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gpFyW-0007Y4-Fi for guix-patches@gnu.org; Thu, 31 Jan 2019 12:18:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gpFyU-0002Lg-M9 for guix-patches@gnu.org; Thu, 31 Jan 2019 12:18:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53984) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gpFyU-0002La-Ia for guix-patches@gnu.org; Thu, 31 Jan 2019 12:18:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gpFyU-0006Hf-Cy for guix-patches@gnu.org; Thu, 31 Jan 2019 12:18:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34265] [PATCH 8/9] gnu: ocaml-ppxlib: Update to 0.5.0. 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:18: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.154895503124091 (code B ref 34265); Thu, 31 Jan 2019 17:18:02 +0000 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:17:11 +0000 Received: from localhost ([127.0.0.1]:53265 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFxf-0006GU-Gw for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:17:11 -0500 Received: from mail-wm1-f43.google.com ([209.85.128.43]:39274) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpFxd-0006GH-80 for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:17:09 -0500 Received: by mail-wm1-f43.google.com with SMTP id y8so3383545wmi.4 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:17:09 -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=GxvjTEXRRHd5YoGRl56B33FsxJH/ozNAkgya3w5g1qA=; b=Oq6lLgHOeaWmTzTrZW5A3U5yKdMN3g4+fzT9GM31axpSMCKulzRgOmpRz7GdlvqqpG f47NkJFvW+QH1Td2SfiobIfqVPvECYQnq9ECke+UE5/6Ug2x2OW5hdiuwAdDHrn5h5Ae zeTgfh8rTy1myAOFqpPPvnz1aGN8Mz8rwKv8Ayh6MtEBS58qnZV6DhlRfpXyBKMozmey MChRAVR3Fdiq6SPv3gjhMu1N3vI0Wzof87DnSvetGwqi14qIUgZMr/C2R6cIX3PYObQS Edsi7w9Wk8XKAsNKR3mm9bq5J42CsE+gH/qjRZnW/1Hty65Dfl5oitVb3Qw74OybufOo CR6g== 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=GxvjTEXRRHd5YoGRl56B33FsxJH/ozNAkgya3w5g1qA=; b=UOxJgNBqfiB1KC/MqCma/KqmxNAj84TrbTJaXFJi7b3o2NGpJa2q2xILtbPuEtFg9i 26b0nkB2HzreUzzYzOR6t++miPWDofgW1jy1kJU4GMkI6h34zHz8HLB2aLIQdlsH7S0O nikjIQ0y2On98iAmvhkJNzkMlJeFAtMMTMq9MeaUeVR0eLqRGsI1ugsFFYfWbkegBY2N XNjaXRHOO8Gb8bYDhUjUX/Z4hwNG0xEkBLPcmQthE3g73J3WWjbbe0XjYZkfX2xU/7Dd /yt1Td84zVuWGvCQ+75HqviL2/pD3e+fziNZ2S4cMwN8+VhoVYjR2UHWFQ143ZgpLyiv IWMQ== X-Gm-Message-State: AJcUukdTHlqDGXW+PdrOKoqnXhQ6UGljNq6PAvCaLfVtDrBRLV8JUkT4 AsIu34hkC9Dv7r3ALnOA3wlld8bU X-Google-Smtp-Source: ALg8bN5pkVcUvTGlXV1M+p5GphLEBkxWjXDu0j1dA+4GtgeyBX/PdGXX3Jtt5kDZA0jyzT5BmBys+w== X-Received: by 2002:a1c:ca15:: with SMTP id a21mr28506204wmg.132.1548955023297; Thu, 31 Jan 2019 09:17:03 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id x10sm7224482wrn.29.2019.01.31.09.17.02 for <34265@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:17:02 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 31 Jan 2019 17:58:58 +0100 Message-ID: <87va24wxva.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-ppxlib): Update to 0.5.0. --- gnu/packages/ocaml.scm | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8abbbab71..66a200520 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5177,7 +5177,7 @@ as part of the same ocaml-migrate-parsetree driver.") (define-public ocaml-ppxlib (package (name "ocaml-ppxlib") - (version "0.4.0") + (version "0.5.0") (home-page "https://github.com/ocaml-ppx/ppxlib") (source (origin @@ -5188,7 +5188,7 @@ as part of the same ocaml-migrate-parsetree driver.") (file-name (git-file-name name version)) (sha256 (base32 - "1nr4igf5m4prvigvv470dnhfdhdw0p6hz6zw8gnm5bzcv7s2lg5l")))) + "0d2nyp4mlx7m3vdvcdhs51x570vw30j645yfbwlhjpwdd8243fya")))) (build-system dune-build-system) (inputs `(("ocaml-base" ,ocaml-base) @@ -5218,6 +5218,14 @@ as part of the same ocaml-migrate-parsetree driver.") (("#use \"topfind\";;" all) (string-append "#directory \"" findlib-libdir "\"\n" all)))) + #t)) + (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))))) (synopsis "Base library and tools for ppx rewriters") 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")