From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id QeYpJsTS6V+RbgAA0tVLHw (envelope-from ) for ; Mon, 28 Dec 2020 12:42:44 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id EFl/IcTS6V9OMQAAB5/wlQ (envelope-from ) for ; Mon, 28 Dec 2020 12:42:44 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 40B029402A5 for ; Mon, 28 Dec 2020 12:42:44 +0000 (UTC) Received: from localhost ([::1]:38934 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ktrrH-0006Ct-69 for larch@yhetil.org; Mon, 28 Dec 2020 07:42:43 -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 Content-Transfer-Encoding: 8bit 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+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: 3.78 Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=posteo.net header.s=2017 header.b=fzcrLOx5; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 40B029402A5 X-Spam-Score: 3.78 X-Migadu-Scanner: scn1.migadu.com X-TUID: zk/qAFU2TVZ+ 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(-) -- 2.29.2