From patchwork Mon Dec 28 12:40:17 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: pukkamustard X-Patchwork-Id: 26028 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 9B43327BC05; Mon, 28 Dec 2020 12:42:39 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 5364827BC04 for ; Mon, 28 Dec 2020 12:42:39 +0000 (GMT) Received: from localhost ([::1]:38934 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ktrrC-0006Ct-Ff for patchwork@mira.cbaines.net; Mon, 28 Dec 2020 07:42:38 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:46356) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ktrqd-0006Cg-HZ for guix-patches@gnu.org; Mon, 28 Dec 2020 07:42:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:51194) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ktrqc-00026S-C4 for guix-patches@gnu.org; Mon, 28 Dec 2020 07:42:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ktrqc-0003jm-A0 for guix-patches@gnu.org; Mon, 28 Dec 2020 07:42:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45498] [PATCH 00/12] Add ocaml-merlin. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 28 Dec 2020 12:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 45498 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 45498@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.160915927114306 (code B ref -1); Mon, 28 Dec 2020 12:42:02 +0000 Received: (at submit) by debbugs.gnu.org; 28 Dec 2020 12:41:11 +0000 Received: from localhost ([127.0.0.1]:34507 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ktrpm-0003if-Ox for submit@debbugs.gnu.org; Mon, 28 Dec 2020 07:41:11 -0500 Received: from lists.gnu.org ([209.51.188.17]:33064) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ktrpi-0003iP-Vu for submit@debbugs.gnu.org; Mon, 28 Dec 2020 07:41:07 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:46216) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ktrpi-0006AA-OJ for guix-patches@gnu.org; Mon, 28 Dec 2020 07:41:06 -0500 Received: from mout02.posteo.de ([185.67.36.66]:47525) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ktrpZ-0001gh-LL for guix-patches@gnu.org; Mon, 28 Dec 2020 07:41:06 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 7B1382400FE for ; Mon, 28 Dec 2020 13:40:54 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1609159254; bh=VGVJl4osEmrF5RvQJsv51FvVNkB2zrkbYovX4d3df/4=; h=From:To:Cc:Subject:Date:From; b=fzcrLOx5aVbQaLw1Tz1Ef7wj4g0cnqwnU3UqLOSUJWDdg0Q9Gg+BVPO37KGRQK1nG ViQT0S59pkNPFk19YuBzqCzDcv/T/ntaUdVHlqmpKAEECzR8po+wE+k4gjWGlC1B+1 vCCTpjp9H6ddc564BxZ56gwXKLYIqxuRROabBP+C3YKdXHATeF3dRUAYfSxPK24lMi nm9Qx+Z8jbbfuqoT9YhLvR9Etn33muwOrthyTUNEKKfWL4ZgBtBHymeYAT7o7yUFT1 pWbm16hA+WbOjexrzZITValoeht5wjnSkFszp0GQqReOnr2tUFKMOpH0RHyqlI4Mnw 8kiUowjr8RbHw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4D4HGF3ffbz6tmF; Mon, 28 Dec 2020 13:40:53 +0100 (CET) From: pukkamustard Date: Mon, 28 Dec 2020 13:40:17 +0100 Message-Id: <20201228124017.24295-1-pukkamustard@posteo.net> X-Mailer: git-send-email 2.29.2 MIME-Version: 1.0 Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 34412@debbugs.gnu.org Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Hi Guix, This adds ocaml-merlin, a development tool for OCaml (and dependencies). Some notes and questions: - ocaml4.07-merlin is already available (version 3.2.2). This version has not been updated (but changed to inherit from ocaml-merlin). - There are many ocaml4.07-* packages in Guix. The reason for this is that some packages need to be built with OCaml 4.07 but some newer versions of libraries do no longer support OCaml 4.07 (or the old version of dune), requiring older versions of the same packages. See also commit message 9ada1555. This is quite cumbersome as two trees of OCaml packages need to be maintained. A nice solution would be to upgrade packages requiring OCaml 4.07 to also build with the default OCaml (4.11). Packages that are not dependencies of other packages that require OCaml 4.07 seem to be: `bap`, `ocaml-earley` and `pplacer`. Maybe this should be opened as an issue? - Some OCaml libraries have dependencies in `inputs` that seem to be required from packages using the libraries. E.g. `ocaml-yojson` depends on `ocaml-biniou`. Packages depending on `ocaml-yojson` need to manually add `ocaml-biniou` to their inputs. Would it work/make sense to add `ocaml-biniou` to `propagated-inputs` of `ocaml-yojson`? - Test for ocaml-merlin (version 3.4.2) work. This resolves issue #34412 (alltough ocaml4.07-merlin still can not run tests). Thanks! -pukkamustard pukkamustard (12): gnu: Remove ocaml-js-build-tools. gnu: Add ocaml-sexplib. gnu: Add ocaml-base. gnu: Add ocaml-parsexp. gnu: Add ocaml-sexplib. gnu: Add ocaml-ounit2. gnu: ocaml-tyxml: Update to 4.4.0. gnu: ocaml-markup: Update to 1.0.0. gnu: Add ocaml-odoc. gnu: Add ocaml-version. gnu: Add ocaml-mdx. gnu: Add ocaml-merlin. gnu/packages/ocaml.scm | 527 ++++++++++++++++++++++++++++------------- 1 file changed, 359 insertions(+), 168 deletions(-)