From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:07:54 2019 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 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_20,FREEMAIL_FROM autolearn=disabled version=3.3.2 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 To: guix-patches@gnu.org Subject: [PATCH 1/9] gnu: dune: Update to 1.6.3. Date: Thu, 31 Jan 2019 17:18:36 +0100 Message-ID: <875zu4ycve.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::442 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (dune): Update to 1.6.3. =2D-- 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 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1391,14 +1391,14 @@ coverage information.") (define-public dune (package (name "dune") =2D (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 ".t= bz")) (sha256 (base32 =2D "00c5dbm4hkdapc2i7pg07b2lj8sv6ly38qr7zid58cdmbmzq21z9"))= )) + "0dmf0wbfmgdy5plz1bjiisc2hjgblvxsnrqjmw2c8y45v1h23mdz")))) (build-system ocaml-build-system) (arguments `(#:tests? #f; require odoc =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTK1UACgkQMbyBBfZZ 1CWmsw//c15RazkwsvXw3OGtpZ60g8DFHKRCGL/wA3bDkSJ9vo2Ly7GP+cHBsBe3 JVif1iXnw/g9Oqk7sTrAeRd5tGC6E2OwIkqD8z+VMnT+mmJTtXkS5WyaD1+kTSFe xhAi9AJT0gcEYF9yM229zXpJEqHw3BQJtFZE9AlkoqqfAABDekeWH5tDt9poPCbq FFN2ybYpFKLT23L+2ok25DEYkSpmUbHZeRx1YXzpxGh4zHYVVMm+jZ17JGCr8cmy 6WyDn3xgT86vKOflRQNwIIhZsvmK0wmbF0rlKm16rP3Kt0RTei3R+3V3qSBoW6ru ZvXNLKF24QKky1kgfirxo9FlNZ1BRrKyrBghRiw2vjwZrHodqLg27Mw+UrF6WTw9 8qTetJcYKPx0SWyjdyztxhItheaRChTkcihEFtr4EnEaxXwREyQUWJQjXCM5cQCH OVRox65vrBTPdUrSjA77sKOymgrX54DmC8GHjMMINnZIV9fGo5saL1yFpd3qrrmc 2bfIGKCVdo7I8g3vZjE1qTsZl3v2j4ZNmztxvVnP7Jn8HzxmvPdVjAVvciPm8MC9 5SBrsE7cJv7OYNDxbeiRGO1CvsawUcJWdB6mkSPDNOj0D/5gaCIDYVeIkghtwZE9 us6VYbJmVICuuPM73Z6r2V+DbH28URsgWYtDkSUMzILhQOpJ12s= =+EyE -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:10:35 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. Date: Thu, 31 Jan 2019 17:20:24 +0100 Message-ID: <874l9oycqm.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (sexplib0): Update to 0.12-preview.120.18+252. =2D-- 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 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4903,27 +4903,37 @@ exclusion algorithms are typical examples of such s= ystems.") (define-public ocaml-sexplib0 (package (name "ocaml-sexplib0") =2D (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")) =2D (commit (string-append "v" version)))) + (commit "7e602a00a9b7c037f3717cc60577a2aad8941830"))) (file-name (git-file-name name version)) (sha256 (base32 =2D "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi")))) + "0hrxy52nbnrd9l9v66klghsdy7xnbsjk85fb1rdkhcjcr38jnmad")))) (build-system dune-build-system) (arguments =2D '(#: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=3D" + (assoc-ref outputs "out") + "/lib/ocaml/site-lib") + (string-append "--prefix=3D" + (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.") =2D(license license:expat))) + (license license:expat))) =20 (define-public ocaml-parsexp (package =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLAEACgkQMbyBBfZZ 1CWquA//ZpUp+jI+G6o7lh1u3EuEzNs47w80Jlrw3ed/8a15I+2KKjYuUi6SZd+O FXj2NMALOF+XS0ukZGzJ3pGm1irbVYF9rRs8NcnU9+U0evjAw7HZXNbWe8yeHWhW W6CptszsOubKmbpP7tqESD3K2BeH9ot/9ZfVJPkJ8zi+DT09E3jPs/l1BxPtHwsN 3dw2hRqfyubReRH41sndbM5IXQl3S04pvwYHQFCIu3c2xhVvWguTyGdTLJQ/5pgP F673reGoHS/8FQ/rDWxzUiIeI72hUWIBQM03Anph50REFK+0qFqHQnkXDo04bfeL qqNjgeMtG5m1JAueDZh9EBbcKlURJxJxNUHTGBnwW4L+Wtv9Yjq0uZmu3zCHFaET i0Jz2lK11Ai1CDUB6RQVOt+TnbvuTla83RiUsAa2Fnxyi0XXYmD/qBe6mRJdHPDj uK6OqscQ+7tCJORILtRQbCdd7qYsP0PfPir3hL9pVCylKmZEl30e1f6yAHEwC9pI AZqvkHOP1HPURSQNLkdtT0Ovrjv5tZBLdg3PZUuAqTEXA6kaJYeuSFT55lYImw1r X3KamkFzmu4ELNR/TBqJOcpcAeugpXo8IjioPoJHg6BKCh5TP9BJDlafpeJvxsOo edk7N0jDGVuLeqpeHsFEnGui5WyM1Z9pP2Era27NupI1EeB6Pok= =es5U -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:11:41 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 3/9] gnu: ocaml-ppx-derivers: Fix libdir install Date: Thu, 31 Jan 2019 17:28:37 +0100 Message-ID: <8736p8ycos.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable =2D-- 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 =2D-- 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 =2D '(#: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=3D" out) + (string-append "--libdir=3D" 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 =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLEMACgkQMbyBBfZZ 1CWS+Q//b+y7OirAqil6TyT15g4zwZus1egfIsAXcI8gxZ4AbdbNj3dKGAERCC+k Pa0N7v0hiTv9wjE6WzKylfMHgG+6bpKGVaJ+yOqS/+Zrz74bT54LyDgxIZBZ+HW1 12hto8UM8rs8DAIKOZvbGRHCqeWPSD+PvbAhLbG6h8+pAn3kfv1fCrnOJyw8ZsVM o3U0RkaUlPixVBg4sQuo6jTNvKQyPN/cUKauCi49ml6tqlimOWOscpP7MXato/M9 lA7/v1uQ+jYvrSvLjUiybw2jtKA8KJQ4D4KSXBJhw7P76rY9nWVCLZQqhgHxoEVE AofigYQtPwigwzXHAtZa3vn3Oh1Fri6J505tJ4Zyjt5kMOdos+u2dMueK6nWcK0y SwRS+jdi2EWbTRMVzsGxdch0tV3bJkObtqV+0Pi8BxdcX95Gjs46XO4BL9QnMTuN ANjNHCetecLOJKPKHUoNjSEaE2HMWWUjEROXVzscPv2vTY3ZlDhq6t1UHKfEojSe f6fUs+QqtIy+Mmh7VeICtCSjwA4i79cIvZyk8LA5BuOQstVyonjuuR9jG8QdC3yy bBNgnVpJOnUy6OW0f0B8weGAMgfIV1hpuiZSOnVJKoTVia5YVpGy/8a9Bk0ln84x 3qvJ1vbwEGkt5vyGTXI5DZk1HizOk71xg7qhkcm52fpNVvZCy3o= =pUwL -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:12:49 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 4/9] gnu: ocaml-stdio: Fix libdir install Date: Thu, 31 Jan 2019 17:39:15 +0100 Message-ID: <871s4sycn5.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable =2D-- 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 =2D-- 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 =2D '(#: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=3D" out) + (string-append "--libdir=3D" out + "/lib/ocaml/site-lib"))) + #t))))) (synopsis "Standard IO library for OCaml") (description "Stdio implements simple input/output functionalities for OCaml. It =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLH4ACgkQMbyBBfZZ 1CUqnxAAr4OcGxpYoF1BAUmMQ2oX0urL1b+nAj4VkhUPICebvNV6f9j4M4n2qCI9 cIR2LK3TfHhcICVhOS2Xi9o4aGVFYlHNKjlRW39tNQMtXqBI/zV2BN3nYD5X66x6 Scn/TrWWEf/cFOIeh1dVzljfaG9G0kEMQGc8lC1L/lkaDEB0cWRk+umabtVNl/NO C72gRnFFPKCug67ouOVfE9vTqnwbkWubN6ihw7dJHVKljiUeefZnJs8CHrdoa8oo 6/CnmSMc42YiY1DrEfFLzXd4MJtZzMZv0TtIz2rnJd3Y6/6W0KcNRo8PyYa1NCWP 8YkZ3+izsrP//hBer8sKLluUoC5vWF/+LdrC1JZt8JRucrul6FfJdLs2sxdWsBOs cMkAHAsCxqLYcICx/xP/2chxrtRnTLjE2yRhWA0t8puHe+jQOnbZjm58cb2dUDeh gdhQweRGbamb9RhcrYUo/7DDvIf4a1/JdGjhoNO2vuoRKqrmZw3o1guavFbpkMOs tnMlXBREEa4I83V0Jp5QKoOuz2G1Bgfjmqi84GEHuddu2DZHh0lg6Q+IQRiV9Xuh t04Fj7fH5YsAOJ5zKI7YJvqUxqvJofINWbq+/lDuQgKNoOvi1tPVZYSCarLuwyJs PdYg0TP46qLIBwAcQ9Kmf3sTaxbWARYgwFHHRq/IOnUFOy5u1tM= =qOdQ -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:13:56 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 5/9] gnu: ocaml-base: Update to 0.12-preview.120.18+252. Date: Thu, 31 Jan 2019 17:50:09 +0100 Message-ID: <87zhrgwy0p.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-base): Update to 0.12-preview.120.18+252. =2D-- 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 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5011,18 +5011,18 @@ functionality for parsing and pretty-printing s-exp= ressions.") (define-public ocaml-base (package (name "ocaml-base") =2D (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")) =2D (commit (string-append "v" version)))) + (commit "170e96604ea81a44354a7508d168eb341a92e060"))) (file-name (git-file-name name version)) (sha256 (base32 =2D "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir")))) + "166dhrgkwp2iy5cipzalvkyln94f73la1rnqkb07p3wz8yl41gb5")))) (build-system dune-build-system) (inputs `(("ocaml-sexplib0" ,ocaml-sexplib0))) @@ -5032,7 +5032,14 @@ functionality for parsing and pretty-printing s-expr= essions.") (replace 'build ;; make warnings non fatal (jbuilder behaviour) (lambda _ =2D (invoke "dune" "build" "@install" "--profile=3Drelease"))))= )) + (invoke "dune" "build" "@install" "--profile=3Drelease"))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (invoke "dune" "install" + (string-append "--prefix=3D" out) + (string-append "--libdir=3D" out + "/lib/ocaml/site-lib")))))))) (synopsis "Full standard library replacement for OCaml") (description =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLMYACgkQMbyBBfZZ 1CVZPw//fPI80SP6Ccnfd0RvBV/uWqXEYSvRQD43QqP2+hAFhrY+6ElRVVq9lHX4 aH+dwkGdVRJGYMTz5Fh0W3WbdQsLuTRYmkmbDJbUJCC8/fveTxKH5w+EyxUSWLJC bkemGg//OxVnvqXiZTTwFg4lvU5SnUrZ5Wmv7+b+la6Oj1OKi25NX+xYip5Fff7d tZifuAOFGU2UkdCEl2Pz5wvRmsyCds7e7U/a+sH0Ogm/yneiqfA89DnsE8CH6dp6 KuinLMfNc1K1JiyRjGt56nADohN7vdcqOzradnapvOL3eZBrUABVb9KFw6BEg79F QfBtWjjHJTxuXnV84aXuPQq2LlFvm7UXxnOQE+fHOb7PG9+EoU+M6Cwly5qabHKA CWCg4zo0fJDS2HWXClK+Svoz5SbjSs11PvtZFGcX7FXfCKYz2sh/GiLPSmvyaJ7L fCnH4+lPxHxGDmDQ4lucPLr7l0sQWHm2dSltw8+5VKNyOynrR4dfSLlgZC55tmYf lBsxXwtNG3sEtAo4KFxGyfuUT2gxkOLDGKqta3S1vk0GO7kgmpaLmgk5bnT1pgfj 80TQntt6kq2NXhvOH0lL6RyBcS13AQCdXT0DdbhXkrgs5K3N/vLo9y7ymx2NHo0K RaySN+XnBshJv4ksPRZfqWSXzZ6QisQpDNKtfAabyf4FBDRw0PY= =MH7I -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:15:14 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 6/9] gnu: ocaml-migrate-parsetree: Update to 1.2.0. Date: Thu, 31 Jan 2019 17:54:24 +0100 Message-ID: <87y370wxyf.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.2.0. =2D-- 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 =2D-- 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") =2D (version "1.1.0") =2D (source (origin =2D (method url-fetch) =2D (uri (string-append "https://github.com/ocaml-ppx/" =2D "ocaml-migrate-parsetree/releases/down= load/v" =2D version "/ocaml-migrate-parsetree-" =2D version ".tbz")) =2D (sha256 =2D (base32 =2D "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 =2D #: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=3D" out) + (string-append "--libdir=3D" out + "/lib/ocaml/site-lib"))) + #t))))) (propagated-inputs =2D `(("ocamlbuild" ,ocamlbuild) + `(("ocaml-ppx-derivers" ,ocaml-ppx-derivers) + ("ocamlbuild" ,ocamlbuild) ("ocaml-result" ,ocaml-result))) =2D (home-page "https://github.com/ocaml-ppx/ocaml-migrate-parsetree") (synopsis "OCaml parsetree convertor") (description "This library converts between parsetrees of different OC= aml versions. For each version, there is a snapshot of the parsetree and conv= ersion =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLRgACgkQMbyBBfZZ 1CVAQxAAqXjwo234tH8l24yHZJqXrcNg+m+9oEW8jOptQWLmbdo50vrUYIv6m0nx w9Ana3OMMsAIroQRTiiaqUxqFyTblbJrxg2VV+3As4lv56vyBC0kqEuWrIpmcUUM CnC5hiilGdI13gSNyW0lidnfwtUh4hDxal/m3ZS///EQHnf25+Q0q7TRxunYv5nI 3aLKQuqJNQlZIkwnIhHYT0hP7gdECpEL9VKcF9hlVArZYOA/pV7XdJGhSfBLkKhx dJQAhFCL1zKTLIEwlAP0MG1dzXvhoZklA+RYZCkgc4uKeUg7124e++rvT2mdgCF6 FewGCZWSIhpNlt+vThuZ7IIbzHK3l29PLyNphcZ3BUhjAiHySTJQoi+WvX/MMcFo s5lsHQ+qeESOHPWAumKhWIH4fSJHEHOZnuf0DLaJBLB4QVWuI7aQpBHtILc0Qk2j rfS/rnPAeAiwrzf8fGnAvIyYAyFz78uYWNaXGmHVTgBmEmlQkaXs4S8deUCcICwn 7VQUwd0lKAs5qMwnDYkA9BNkeLnfrbOPJQ+Fd1wKsv2ZZcUk/9LWwt7VCVaGetB0 JTVLFhuoE9Yd+dG5z2SChuN1ngJOPafPpVyMEqEZ4AbwVcQK6yRoRY3gkyKaPMBu L3BAWJlp9lQQwaZ8r1Wbia8wejrzTOmzD1TBrCnmk5agvc4ukME= =Aj6n -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:16:06 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 7/9] gnu: ocaml-compiler-libs: Fix libdir install Date: Thu, 31 Jan 2019 17:56:43 +0100 Message-ID: <87womkwxx0.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable =2D-- 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 =2D-- 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 =2D '(#: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=3D" out) + (string-append "--libdir=3D" out + "/lib/ocaml/site-lib"))) + #t))))) (synopsis "Compiler libraries repackaged") (description "This packaeg simply repackages the OCaml compiler librar= ies so they don't expose everything at toplevel. For instance, @code{Ast_help= er} =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLUsACgkQMbyBBfZZ 1CUY+w/7Bq6m/qAka2IFteDzD7v2sMB+XFZ/wPbFREPXOuhuupuhL5Ph11UH3n1+ IcgJTlIppnN1LfJczudQsZigiik4qALT9GeC4CMeg9GhmTAqJNvHIlkIAkVQx9mm r83sDoS0JORFHunXiE0vyQAabTbv7wCWlmWhBx6Aslut5pVQJQASd1dtVr3FkVpR WyuJooCKyMdFK/ARGU3DQCCWNrNpaK3/vxAqTx7X3OA3PTy1FWHUitj16+18JZN9 qNzHs0sLSpdLaqCc2nGty2jg2tDbo84V2d7j/U1KnQnX1ztP5j3tSFquosVhwCYT 5K00BXUp5xNiqrChYe9607atmKKXGCdPK8HiaqcfoBoFMCCn5loShmpATg4+MeLi Njq0HIAytMrUh72srh+1Z0DjJ8wq+1aF6C32HsVXIR+5EN1qqjX03k97CHo+sLxl MYMXznYsgzUMvF5bVnrbXbEaMmeyC0lpIJ/tK+1GziFaj7lL6ybW5naELK6/EfG2 Ksr+gegW0/U6XOdWoR6Yeczp8mbz//d1zqSlQNRpFDCy9jtzrgG2doXt0mqZ5XTY i+QOor0EChQvErDTZ39o+pWQNw8iFoDZHDMPCYTaKjU0Sjj94da3XADbz2/TnA6Q wG3g7e+x+UfXoxW/MnmBtmWAsA0uK4M4z6ZnHFsBHu93bHm0y8o= =GR8W -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:17:11 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 8/9] gnu: ocaml-ppxlib: Update to 0.5.0. Date: Thu, 31 Jan 2019 17:58:58 +0100 Message-ID: <87va24wxva.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.5.0. =2D-- 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 =2D-- 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") =2D (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 =2D "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=3D" out) + (string-append "--libdir=3D" out + "/lib/ocaml/site-lib/"))) #t))))) (synopsis "Base library and tools for ppx rewriters") =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLYkACgkQMbyBBfZZ 1CX4uQ//QQl3skSXMt41C0b9YTv0vP2bLg3C+Qjs3sxWDU5KiefJAHB5EhZcF3jc HL7MrC80eo8Jg5xyqUM+xUqD3JKGOACQmqDsb5bfBtgoxlg75WleXXvth+IVdqrL yxHzHhOP6tff1nRnfQ/o37WH8Yoi0mujvOfz8z7c6SFhox1xEtp7Ia1Pg6QUseqx cTVjmGFY1D0eovcBolyLZk+mbM7MMxcNgfot7GtT0DD4fR7sqyH+xz672BBA3b1b I0aLKVWUbvFYLLrWIFmIcBeBfFVMwI1X96DskXE1MK++tz0XOSTo/nmjbLCMHDHX 7iL06DWOhkqx6cFGF2yoaiISfPOVedEg6DfKBnadhX9pxC4WztJZScQsdQm53znA Lziyk9aTQY5FJRwZWWUgGZ+uMs165NdbUK0/klvtCU4SsZSOHMJ45wskuYKZYoUR FTW9br5Tm/YCQY8GOmpO2xxKINMCE8H04xJgpGjWV6LaJsQ23QspC58bd9kvOAyh 4Ws8r2d1Fq/y35xLzWeHx7SJqD8sn00oC3D41lgJCWUIZPQXLxQNNHaVroVnStOE 1ZK2oCiygpCYOr8Q6x+YDCUDn44W6JVu05n9FnDrSo9xkyUkbDvyEePfdAvSn+cf NDxiGx+qsXvuGHqkgi12q6BGkJD895AK2o7U3vkVhAZH664+vug= =2rq/ -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:22:48 2019 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 To: 34265@debbugs.gnu.org Subject: [PATCH 9/9] gnu: Add ocaml-ppx-inline-test. Date: Thu, 31 Jan 2019 18:05:23 +0100 Message-ID: <87tvhowxls.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-ppx-inline-test): New variable. =2D-- 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 =2D-- 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)))) =20 +(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=3D" out) + (string-append "--libdir=3D" 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") =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTLt8ACgkQMbyBBfZZ 1CX+KQ//XsFsZ6JtP6QBeL4q0a2f6w/f+iPP2TSYzjULAddaNdGkxjDW2pczK4DG 3b0p1qgqiuNpW+eWDGmDaj4dZMbkH6xWancpaUNCdax07h0461e9JitonPwKfYtC LPba027ycow+gnD5KoH7I62cKeuVFNwnP4DgAic+/jmR5KU3CsPAU+eiEe9plycG W8WrbgQj/n16S7flwnXwzqnJ604VBD+DvaY+GgOW5wmePl2ujcL/00ZXSNNGjEmt 1cPrR4rKroOrHmZmbnkDOcFtYhnYVgsLsaZ5Ve3y/odkNRbkDi/LrnX3gWyGQ4BH wtqg/21xclbR+rHknfg9AJ1iFzCBd++uB0KgnCTxd6+hk7URrLMr/DOLLMS9JNSC beVl7EBcyQfYqCT0SV52er1RqgXq3+hm5b4pyJtv+737TRLYcHCpaszI5X7Ll4CM XC+Sl0jN5QboGOCvRd2NSosbTG9GcXQgJxHukdELcTFxjZEZ5YpAAmfbjkkVihXg HOPwNp2JARUu0gRCxI45J8jCMpTp9dmhEUs23czwI6EsQhsDWAzPveX7ndJmODE/ DEsR2rdCvImVfBkvkZlKGaPNsUxU7Boyqv/WPcaC2m2gID1SlbD5XDo0SL+I5tQw LPjgLPd8vOFlFMnW35x8QYw5Pa9OIdKjDOfeiO0+udNruyOwbYc= =kEET -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:28:50 2019 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:28:50 +0000 Received: from localhost ([127.0.0.1]:53281 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpG8w-0006Yp-J0 for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:28:50 -0500 Received: from lepiller.eu ([89.234.186.109]:51080) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpG8u-0006Yg-Pu for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:28:49 -0500 Received: from [100.67.186.84] (slc-exit.privateinternetaccess.com [173.244.209.5]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 92d711db (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 31 Jan 2019 17:28:45 +0000 (UTC) Date: Thu, 31 Jan 2019 18:28:35 +0100 User-Agent: K-9 Mail for Android In-Reply-To: <874l9oycqm.fsf@gmail.com> References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. To: Gabriel Hondet ,34265@debbugs.gnu.org From: Julien Lepiller Message-ID: X-Spam-Score: 1.2 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Le 31 janvier 2019 17:20:24 GMT+01:00, Gabriel Hondet a écrit : > >* gnu/packages/ocaml.scm (sexplib0): Update to 0.12-preview.120.18+252. >--- > gnu/packages/ocaml.scm | 20 [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.2 RCVD_IN_BL_SPAMCOP_NET RBL: Received via a relay in bl.spamcop.net [Blocked - see ] X-Debbugs-Envelope-To: 34265 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.2 (/) Le 31 janvier 2019 17:20:24 GMT+01:00, Gabriel Hondet a =C3=A9crit : > >* gnu/packages/ocaml=2Escm (sexplib0): Update to 0=2E12-preview=2E120=2E1= 8+252=2E >--- > gnu/packages/ocaml=2Escm | 20 +++++++++++++++----- > 1 file changed, 15 insertions(+), 5 deletions(-) > >diff --git a/gnu/packages/ocaml=2Escm b/gnu/packages/ocaml=2Escm >index 986e435f4=2E=2E5f95591d9 100644 >--- a/gnu/packages/ocaml=2Escm >+++ b/gnu/packages/ocaml=2Escm >@@ -4903,27 +4903,37 @@ exclusion algorithms are typical examples of >such systems=2E") > (define-public ocaml-sexplib0 > (package > (name "ocaml-sexplib0") >- (version "0=2E11=2E0") >+ (version "0=2E12-preview=2E120=2E18+252") > (home-page "https://github=2Ecom/janestreet/sexplib0") > (source > (origin > (method git-fetch) > (uri (git-reference > (url (string-append home-page "=2Egit")) >- (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=3D" >+ (assoc-ref outputs "out") >+ "/lib/ocaml/site-lib") >+ (string-append "--prefix=3D" >+ (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=2E") >-(license license:expat))) >+ (license license:expat))) >=20 > (define-public ocaml-parsexp > (package Hi Gabriel, thanks for these patches! We usually don't use beta,preview or otherwise unreleased software in guix= =2E The opam website still has 0=2E11=2E0 as the latest version=2E What's t= he reason behind this change? Tge libdir thing is worrying=2E Is it now needed with newer versions of du= ne? Shouldn't we rather modify the dure-build-system? These questions apply to other packages in the series, so I'll refrain fro= m pushing anything for now=2E From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 12:50:09 2019 Received: (at 34265) by debbugs.gnu.org; 31 Jan 2019 17:50:10 +0000 Received: from localhost ([127.0.0.1]:53301 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpGTZ-00076Y-I0 for submit@debbugs.gnu.org; Thu, 31 Jan 2019 12:50:09 -0500 Received: from mail-wr1-f66.google.com ([209.85.221.66]:46618) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpGTU-00075t-Nt for 34265@debbugs.gnu.org; Thu, 31 Jan 2019 12:50:08 -0500 Received: by mail-wr1-f66.google.com with SMTP id l9so4243174wrt.13 for <34265@debbugs.gnu.org>; Thu, 31 Jan 2019 09:50:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=pvsNRbcE0mHfpDYW1NVYw1ggxTdY1fJZZ3+nYCC/jQQ=; b=nwMDE5qkcGDoiuLw5FkDJZYf/rY6l194ykBcwkpIL55ohOCzXXZypED5Oq16mJ1sQx m6LpYHff7HrnVNrSc75IYhSRH7BzO3qYD7W3WoIM2l20DwftdgZnb+8Rp4CLvKQsHx0q 2aLI2cC34VeeTInhCHVUlvWdIpEqUrMPO6kYoXOLUrvHtCbz8zRDEfUpB+magARMl6k7 bPxofCBWJL9g81FTY8CkO+xU+SH1P+jk/fC2BTrhYv6/Fjqf04xUtvCTgWA5MmJLsBtb mCBT9yyON1DHHlgCwXzXoSBCSZgR/nGSsDHiQBVlYsGznPce/Y89detCH+ML5pVkAmNN H+CQ== 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=pvsNRbcE0mHfpDYW1NVYw1ggxTdY1fJZZ3+nYCC/jQQ=; b=d52e19pt+kPAk7G3wkQWYFrk2ua5YqJ4xtfLDAKALtlN0jZ5swl1IlWJIlwAmh+7Jo nFsFMMWw22Q4fQt+wHnuNzr2G0AbZSJGWmWJOifgyyCZA55blSbFk/JD9DF5N4NI+U7u nQPQ+bHwMPwmO6nDMLjmRVliK74UpjN0vdCelCDQyvUn0qvLdNlyYVFkUsZOoSCHVn4j bE8skkGKQ8PSBGxPgkJmt/wUVTukR+jReN80B6gmNJ4HBPVhhUzybKlzE5zB4H1uzsgO Ziq4Qu3m04SZMpn9MyCAIDX/86vDEhw9WV2u1w5gtqNGxkI2doufy5+Z2xmVyKRiKUhM 5new== X-Gm-Message-State: AJcUukfo7QHrIg/5Nz2oz0tfc6kwF/x4xEkqahxqJudDxRO+Qc6URMGl 5ogCNnYhPwd3pbBI818a2guXzDeS X-Google-Smtp-Source: ALg8bN79Gi1l84DKxEle+VSkpyvti5xcJhsBvabhQO+CwEVK2ceNduu1v7buMPgvrdqDAeaZax8+rw== X-Received: by 2002:adf:c042:: with SMTP id c2mr36599753wrf.158.1548956998496; Thu, 31 Jan 2019 09:49:58 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id o9sm3755425wmh.3.2019.01.31.09.49.57 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 31 Jan 2019 09:49:57 -0800 (PST) References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: Julien Lepiller Subject: Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. In-reply-to: Date: Thu, 31 Jan 2019 18:49:52 +0100 Message-ID: <87sgx8wwcf.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 34265 Cc: 34265@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi Julien, On Thu 31 Jan 2019 at 18:28 Julien Lepiller wrote: > We usually don't use beta,preview or otherwise unreleased software in gui= x. The opam website still has 0.11.0 as the latest version. What's the reas= on behind this change? Some packages still use jbuilder things and other use dune ones in the 0.11.x versions of jane street packages. It resulted in errors with, for instance ppxlib, who kept files in jbuilder syntax (although the file was named ppxlib.dune). In the 0.12 preview, everything uses dune. > Tge libdir thing is worrying. Concerning the =3Dlibdir=3D, it seems that Jane Street installs by default everything to e.g. =3Dlib/sexplib0/=3D directly (or =3Dlib/ocaml/sexplib0= =3D I don't remember), but not in =3Dlib/ocaml/site-lib/=3D, resulting in libraries not found. > Is it now needed with newer versions of dune?=20 Curiously, this was already an issue, as the ~janestreet-origin~ function shows in =3Docaml.scm=3D but it disappeared in the 0.10/0.11 series, as I packaged ~ocaml-sexplib0~ &c. without any issue; and it reappeared when upgrading dune to 1.6.3. So it seems that it is needed with the new version of dune. > Shouldn't we rather modify the dure-build-system? It would seem to be a better idea. I can give it a try. > These questions apply to other packages in the series, so I'll refrain fr= om pushing anything for now. Indeed. Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxTNUAACgkQMbyBBfZZ 1CWApA/9HqBFTlQO88Y7MMoDbRozF1J8iBaF98B4YgINer8bKgQvX0Y2QSsyNRw+ Kn1xNMKezb7TWJET0d4eR2aDL06J5rnAXStPO25+fIG68wtyYNsigsJKOBN2isfQ HZJLsjxn5DbnWLlT4cJe1OpcWa2wlQ2cgtr5XtopTEjobYRJmeUsr+7UEfVllr+b 8xkIUxCoAgAqcuiZA86e5evZFYvJNov4dbTkBrSSNj+XeDanm89YKMX4HsiQfRwn pgqP1NiNMo/2Ni6d3dPjTkgQ8YoGcxMTSi75vgnY2ToKjmKd+byQKKblU2PLvupY LfAAOLP8rm/fCYYfUHw1RYLRMt/GJEDNa8fSVG2BSiTcVqcrC022aadLmXR72YnM W7HNBG3d/fDpQ+a6c5oqe349VZ450UPLw/1lCo+7TCRGO/lbH7rd1kZuUrjMAJA7 IlsotWcg3gyKwftYHpEurrzVZ+MpzAkvLfzlqQwHE69os+HxyPRZ6i6ygXm+KbTL oKZYi+T+JdGXwIm0xNYj8M0bc86zDSPjNl6dgKMgBMWJhMKbWbTKmfiu/2R2yZ5/ Ug3h5eaM/ZGrSYxMnviL2czhqbAAIpEvsrJpf6ssFjFJw8JnQu3wEzHmbH3vS41l e9Ve3Bz7WQlP8uBv9Q1TUdVpPXHOGNvKQUiXpgVpT4lPmwZCBSM= =aA92 -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 01 03:22:44 2019 Received: (at 34265) by debbugs.gnu.org; 1 Feb 2019 08:22:45 +0000 Received: from localhost ([127.0.0.1]:53669 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpU60-0002Ck-Mx for submit@debbugs.gnu.org; Fri, 01 Feb 2019 03:22:44 -0500 Received: from mail-wm1-f67.google.com ([209.85.128.67]:52537) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gpU5y-0002CX-Kq for 34265@debbugs.gnu.org; Fri, 01 Feb 2019 03:22:43 -0500 Received: by mail-wm1-f67.google.com with SMTP id m1so5115436wml.2 for <34265@debbugs.gnu.org>; Fri, 01 Feb 2019 00:22:42 -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=0B6PGZxu3puWE9CoZMMXsoYN+/QXaZlUj0T3qNRu8RA=; b=d2Xv+iDj3/qtMp+GHrIei97lp2wj/CMIWxVIwg0DmD0Wwi0hDV0fHUTNMqZD6vXqIA plsid7m4rPhm+UtHtBMX+fv70Mj5hKQnNv/Uv0TO+gvEBDoDhgfOvKqZlmwAEF+uhTVX e61ogd7c/hzyP5NvE0lWegf3YUksmW97MRhKNyFJYV7ZoQ2pYX8AVwpIjqA2oKLZii3N VNTvym+jrrEAWk8okeHyq+dYeoswZX3ltzKOw1fxC/c+727Weo83RD/yxOa8XdU4xd0t qBJg4mZAn/dlyqBgSSOWKMYuAKxvxmZoyf8HrMGoAOk9f8gGAI6yipTMswjgrZAEgV5J LY6Q== 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=0B6PGZxu3puWE9CoZMMXsoYN+/QXaZlUj0T3qNRu8RA=; b=ZE2hT0v8fUECvlw82cqnx4yNsPVY3nNvVK+7k+CcMr7EIJ6gznta32ejgrf9W4ewsm ZmyQbzI1IwCSwLWJrvEwFn/wKqXZPB++FHXCIbr7XWWb6y5T6uELQh1d5Fzvi4QT5i6V XjKLSOfDiDRiKbiME5hmXFOYwICjDi5jbEErA70fVVlFR10o9PLrmUe/VXVR2js5slgQ l7S6mV7W5ERLizUHw66pOpwQhsmIC6MxSv40tzqw+EnpdFmhl0xgFAg3xKGcF4w/NNpC GDSCEEGsUc3Xm8GAjh8hKD9u5oAo7NbcxynmHursRuzEfhkbrNJg7RAHsaT6AVm89hwV i72A== X-Gm-Message-State: AHQUAuYo+WqMC0tP9oPOITu4h+82vtT93FeZYELEs/f1rjg7vwagm2+N 7euMDYzEwBGRTjqPOznyY6FNCVqn X-Google-Smtp-Source: AHgI3IbG7jQwXn/nL2AcBPCdrQUs1mNFXQs3/xeST6+JTmNKST0Rf+jV/r2mR4iY87QDWCVtDqer7w== X-Received: by 2002:a1c:4855:: with SMTP id v82mr1344963wma.15.1549009356627; Fri, 01 Feb 2019 00:22:36 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id a17sm7342327wrs.58.2019.02.01.00.22.35 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 01 Feb 2019 00:22:35 -0800 (PST) References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> <87sgx8wwcf.fsf@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: Julien Lepiller Subject: Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. In-reply-to: <87sgx8wwcf.fsf@gmail.com> Date: Fri, 01 Feb 2019 09:22:35 +0100 Message-ID: <87r2crx6ic.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 Cc: 34265@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Hello, On Thu 31 Jan 2019 at 18:49 Gabriel Hondet wrote: >> Tge libdir thing is worrying. > > Concerning the =libdir=, it seems that Jane Street installs by default > everything to e.g. =lib/sexplib0/= directly (or =lib/ocaml/sexplib0= I > don't remember), but not in =lib/ocaml/site-lib/=, resulting in > libraries not found. The new behaviour of dune is to follow the prefix given, see [[https://dune.readthedocs.io/en/latest/usage.html#destination]]. As the prefix is given, findlib is not consulted and everything is installed directly into =out/lib=. So I guess we have to add the flag ~--libdir=(string-append (assoc-ref %outputs "out") "/lib/ocaml/site-lib/")~ during the install phase Or we can keep the installation process but modify the OCAMLPATH variable to search not in =lib/ocaml/site-lib= but in =lib/=. Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxUAcsACgkQMbyBBfZZ 1CUvdA//S+woFvMP/bit0j5DPSSm/TkiFSkfmABHG+9+dM2U8uHe8KZ4yaGEpddu wA0nPcdXRIlaH7HztEOSNxHAa4L48RCIRSakUK/TAXmPXr7VzSJKBGnJ3Go5h5VA P7MGeyFeN9pqumhk5ZYhI4Q0xlCWErYN5nAdXjda0zSz26Kli54WFiOMZ3T6fBbY aT/GMCtGvcTEn2DWvuwM+fxfXivsrPSMj+diXSri7lIu3dHEE3HJ5HjEcph2UvuO q/1xAvSr0WpVVVQVQNVXuQ2N+/GwGXhULAvTdI+mUQBkzLEEakanCmfY2E2C5ypX Xxt/8M9T2QyK7vUHA1lNThc/io1l1lUsocan74yNOco7Xh7MRF6Iq2YhcHx6VftZ asJQT6xvinnbFl+VmSE1wx3UkTvssYwK2NtvHdWi7+CK6MYbktq36f+CIGwyyhWo XWooz2KgShokBnx11FSBBkzjySVHhGSq6gPauGMr+D5xVdVKxLCVNcjqMdMp8IA4 SNx3Yj7ZkH0knaZF0Fubu/Ab2Rm0WHiW0uMogRRxb2opId/qaQupSj2esupROOEm SWRCs+e5opNn1YJ+Ohn8J9gOFFROxv+gKDe+hbOuCKmyVlR9mvzmigrkkPFmhuou U/dBYeAWCNJkgXs+WW1P3TmnMprk4kKXsPqwqd8Mr1YJsqttCVY= =rK8v -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 01 03:47:55 2019 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 To: Julien Lepiller Subject: Re: [bug#34265] [PATCH 1/3] gnu: dune: Update to 1.6.3. 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 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265 Cc: 34265@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (dune): Update to 1.6.3. * guix/build/dune-build-system.scm =2D-- 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 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1391,14 +1391,14 @@ coverage information.") (define-public dune (package (name "dune") =2D (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 ".t= bz")) (sha256 (base32 =2D "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-syste= m.scm index fcc2d6567..00b0c7c40 100644 =2D-- 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 =C2=A9 2018 Julien Lepiller +;;; Copyright =C2=A9 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"))) =2D (invoke program install-target "--prefix" out)) + (invoke program install-target "--prefix" out "--libdir" + (string-append out "/lib/ocaml/site-lib"))) #t) =20 (define %standard-phases =2D-=20 2.20.1 On Fri 01 Feb 2019 at 09:22 Gabriel Hondet wrote: > So I guess we have to add the flag ~--libdir=3D(string-append (assoc-ref > %outputs "out") "/lib/ocaml/site-lib/")~ during the install phase So I have tried, and it works like a charm. So here is a 3-patch-only version of my 9 previous patches, without any beta version. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxUB7EACgkQMbyBBfZZ 1CUHBA//eq4lp8DQMD/PVJ36uFvTVxNq0y3tYBsJcGnRM79Q3GZEmMyMBPxwpBQC bUGM8mY/Dm/fBQEw9Kvj+F/MyvQX7s+VOlGu1F2Mt7iasUxypcbhMdBJUCbr/73O 6cW5v5G10ha0BXljj22LaYsZoTsDflLYws3Ew0maSlfRvMcFtVlgfmelgnWeEWDv b0haJTVzTwPsJ3ajYe1oeIGIA+Lkj7TmbvcY9Pm41rXQjtnb6K1I4utF4f0ttUAe kkZH9Br9r4QWNTFaRjwbUjn1+tZtbpwbCbb5I7MikJPXjopnq6cg0Vcv1rG93MBM Yw4VwoSXfAtIirOiSTH4bVKd3SY9x9r8SIeluDVB1jowmY9lc5tqtXQ9ifF4rs7+ HiCbE0Lkb+oiQVB89MxEUnpP3qx0JxVIuFklA5nOzo2DIGq6dmOIKJ3NtiOK59Xl 8nCgAAHoGCERmERKeWdvfF4O1DTF1AvQwEI6OCztn+lXMvtWAaZZ2Tg954jbDwPW mRGr2sP4RnSo5ZcGXBO/4J4QlnHoeHszZ7fOaQ+DFqkb5e+ICJII/nQl0DCfvdwH Aghhsb7WEum8R62FFo6Cj2Ghd6+9VO5d5pbh68230Uy+huT3Vr+7O4mwh8TDLgYV Txx8pi7AJf+inGEjA05JAyAqw4+BO4yNQM6K0TtN5hzbDbFBbYo= =VOzW -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 01 03:49:30 2019 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 To: Julien Lepiller Subject: Re: [bug#34265] [PATCH 2/3] gnu: ocaml-migrate-parsetree: Update to 1.2.0. 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 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 34265 Cc: 34265@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.2.0. =2D-- 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 =2D-- 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") =2D (version "1.1.0") =2D (source (origin =2D (method url-fetch) =2D (uri (string-append "https://github.com/ocaml-ppx/" =2D "ocaml-migrate-parsetree/releases/down= load/v" =2D version "/ocaml-migrate-parsetree-" =2D version ".tbz")) =2D (sha256 =2D (base32 =2D "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 =2D `(#:tests? #f =2D #:jbuild? #t)) + `(#:tests? #f)) (propagated-inputs =2D `(("ocamlbuild" ,ocamlbuild) + `(("ocaml-ppx-derivers" ,ocaml-ppx-derivers) + ("ocamlbuild" ,ocamlbuild) ("ocaml-result" ,ocaml-result))) =2D (home-page "https://github.com/ocaml-ppx/ocaml-migrate-parsetree") (synopsis "OCaml parsetree convertor") (description "This library converts between parsetrees of different OC= aml versions. For each version, there is a snapshot of the parsetree and conv= ersion =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxUCBAACgkQMbyBBfZZ 1CWTWhAAodo7xCuk2R20xQrlNOyFUYBc286XtSBaQA2wMFE9zMA3GSMCZqQ4Truo f9kEvsHn7hA0lar/Ki1uI1JsQq5XvfHaMw4AJ1p6w91+Of5I/30AbOApRHiI7kX7 XbwxMvZcsiVhuKwwk2P7rHeU+kn3fjlkvYk2rh83KRYfgMi+waA/eI3EkYye3e9V XO5Aize6ElGc8rghOMul6zheONZOaBWvt29WNB52kzkdxqHuXdgpF/H9J7wBiO7Y 9jhntuRjKiRCEkYpRP/6e3iBc6/ilhQVAf2BXGCxlNyx2oXugHj8OFrBk0sPjvRH Y5vePCAdN3UPZWZrkVSemDFmDPnZZUOXYQxfVmvGAK6ApIMb3JDMgC75R1mgoFJT R9w0laFcOnqZL58zY8wnpwgDtz+Qg9rX7GvhW3xsZp+pvPUGb9GtJ0S2DlybMX6H C19wHH2iAFOGWYoJTTReWlo8BrVQatyGH2UkGMTs0tD0aR1h72J1Ci7Ah8kMJsUa 23U0FerPjxsK0M7iyriyYvFUtF0jdh1lWnpMjMGXlsnXBhIRAIeEBuvUnw/KvwSz n5IiQ8txGvx6NypmQvOvk1irhOVawaRUI3Kg42boaQ76uipPR/2iJt9SNmFOSBAQ fYeASjW71Kq+LtgAc8xzYjb7FrOuJTb3yz0680z0rRx0w+8uMo4= =tevz -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 01 03:50:32 2019 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 To: Julien Lepiller Subject: Re: [bug#34265] [PATCH 3/3] gnu: Add ocaml-ppx-inline-test. 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 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 34265 Cc: 34265@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-ppx-inline-test): New variable. =2D-- 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 =2D-- 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)))) =20 +(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") =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxUCE4ACgkQMbyBBfZZ 1CWWKBAAnL7TAMhOaKX4P9s8e5AH6Z/EHNyS2qvqHEz3S+37OWT+95Ez654z6V+F NyI8uUghLUVDnm2TNcWjkNEAzwV3Kh5xstoW8ZUY32H2EKSi3MJk/bAR36nGK/fr L33wQWPUUuNASLISW0nF1SVsJzmUAzmPsMiAcIUOZx4IHGiaxGO8SnuppkIXsD6Y /G18ZuHezSHfwpkbNXDuH8sHr+r+LBAW6Rf+sPJ9z8u5uOdefGz6Bjyfi0Za6ryg 9A5sXQBNGS1LVxW05BIivk2+Hs2YzHxsUtEvXLy//zy0uQiFNva0gSh9BQMSwGIR vA6rua76tNTVQY0u0WfhjMTjlFn+CbrckNd2f1tVTpIoKnsmXPq458edtwXfv8bh 5MWKQlQNhlGIx1iAhOuh8AyMZXVgNdjUJtcYyIh0XPBgWtIJgQtWXCtZpEqNcVxK KrDl6JHBMskx9090lhWC37q2NlGmtU17Y00hczE6XQYqczSOULF0yxiQx88Nz7JT du8K+00crAa4XCiBx6hmqKMEcvQrI0BsV2/zLXFeT5DJvLAS4Hw6/F6NOLw4S2Ds eSJ2Mn4BfJnkoijp6n0pTlhfOA+ws+hoM1k21hY4/oHBUlzH4iSCJ2XB9T0wpuXB pSC0OBexx9IbLMGjOb+ft7+5w7K/yclRBxOgWBkQjUnPfw0d8fU= =K0b8 -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Feb 04 16:12:32 2019 Received: (at 34265-done) by debbugs.gnu.org; 4 Feb 2019 21:12:32 +0000 Received: from localhost ([127.0.0.1]:59754 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gqlXc-0008P9-JQ for submit@debbugs.gnu.org; Mon, 04 Feb 2019 16:12:32 -0500 Received: from lepiller.eu ([89.234.186.109]:51124) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gqlXb-0008Oz-B1 for 34265-done@debbugs.gnu.org; Mon, 04 Feb 2019 16:12:31 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 24c5dca1 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <34265-done@debbugs.gnu.org>; Mon, 4 Feb 2019 21:12:29 +0000 (UTC) Date: Mon, 4 Feb 2019 22:12:24 +0100 From: Julien Lepiller To: 34265-done@debbugs.gnu.org Subject: Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. Message-ID: <20190204221224.40fd0924@lepiller.eu> In-Reply-To: <874l9oycqm.fsf@gmail.com> References: <875zu4ycve.fsf@gmail.com> <874l9oycqm.fsf@gmail.com> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/MGmB+r+52RvhhNm1ePt55ko"; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34265-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --Sig_/MGmB+r+52RvhhNm1ePt55ko Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Pushed as 625a3daa12217d7cd162149dcba5657237bb9455 and following. Thank you! --Sig_/MGmB+r+52RvhhNm1ePt55ko Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlxYqrgACgkQQxEfRSAI agz57g/+OBxWUNPy2jWGc9xsb8YfR2+LdUfrF3Hc5Oy8pAAOSGHBZVPiQGllh7v7 yBVAbv4XG4uaqMiubVFj5ucPfxOvEHuKYdD9xKlZz5Ok+iZmdvuw0nJRgm0qAGb8 rU6SCgHgz+HDPo1pzQQ8Fu81QGc5rMF0eP315BHtUEtAeU3YVXeFukWgeDAsVSo0 cbl/UPa4xism4flcMDqoc1WhWlSHQ40K4UDkVPgS4e7dlaG3T93hKPEU8LPasHsE wWPGlhiIrhPCenuZL4aPDBxZ1/wjRrttqTS+v1vmfheujGTIJ/ctJrM4YDOX5pMw NU36V+a34v+VbYz0rrvJ8X22QRXB2Xef8G9ZazUkE6IwkX/fdHnwONYhaKRPOiUC gAynuIDF5+r2shZspPaR3Ihyf5d1HclMo8SDFX222PVLtNL1OXyhUJxV4MHmAZCg U2iK5rkp3iAOi2eTK2vcvivrRCHvtr09MSpMl1SZQ0F6KTYTVpEZeT0otGfA0aCX 0CXf9eMTHquLc/pTLO7hxB+M/861bmTWybjLCBN6tVkU18pHKPT0AQiIBczvFHHV NELZtFtZdNJEtzU9rhX/rQX/nMYhQ1pR+KqPyZ8gcEYj6xkcsutvdJPSumUnEUNr miX7qV0L9vreD0t3E0PgFI1JTk959T7ONHje0ODAeZopgRBIcok= =yn+R -----END PGP SIGNATURE----- --Sig_/MGmB+r+52RvhhNm1ePt55ko-- From unknown Mon Aug 11 18:19:11 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 05 Mar 2019 12:24:07 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator