From patchwork Wed Jun 21 15:45:41 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 1587 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 EE52827BBEA; Wed, 21 Jun 2023 16:47:13 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 0090A27BBE2 for ; Wed, 21 Jun 2023 16:47:13 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qC031-0005Vj-9o; Wed, 21 Jun 2023 11:47:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qC02y-0005VG-0L for guix-patches@gnu.org; Wed, 21 Jun 2023 11:47:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qC02x-00035E-I5 for guix-patches@gnu.org; Wed, 21 Jun 2023 11:47:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qC02w-00028w-Cj; Wed, 21 Jun 2023 11:47:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH 00/14] Add ocaml-lsp-server and its dependencies Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Wed, 21 Jun 2023 15:47:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by submit@debbugs.gnu.org id=B.16873623738165 (code B ref -1); Wed, 21 Jun 2023 15:47:02 +0000 Received: (at submit) by debbugs.gnu.org; 21 Jun 2023 15:46:13 +0000 Received: from localhost ([127.0.0.1]:33993 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qC029-00027d-Bg for submit@debbugs.gnu.org; Wed, 21 Jun 2023 11:46:13 -0400 Received: from lists.gnu.org ([209.51.188.17]:35584) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qC028-00027V-4L for submit@debbugs.gnu.org; Wed, 21 Jun 2023 11:46:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qC023-0005Ps-6m for guix-patches@gnu.org; Wed, 21 Jun 2023 11:46:11 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qC020-0002tR-2l for guix-patches@gnu.org; Wed, 21 Jun 2023 11:46:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1687362354; bh=K3Yn5F2csHi0PbUXyqW/yecsZcfGPe0VoE4uDtGqv9U=; h=From:To:Cc:Subject:Date; b=CekpJ39X3Cti0J+wnQ3XuQrRsBaVY+gh8sEG0d7MPbDehEAJVzcoqNzjxkVDoj0X0 9wTJ+8RBHwmpXEYBYwTFux61TQsxn1FGxEEH+NheVhOeiFntfAkqXfh1EtAeHKIdja wTYp7sFXHlPiaQ6nrls5oLMMdeimQoGrDjFipNlSP6HRQ4E4sqR0zLinW3k2eniBrv cYu14O2pDqsRBPTRkGDMciVt7uZBuBy6SwdoT9IQefnUEDBULWbviT1tuulMhuv7wF vtaoSecAh2lLWkSeRmbvGWjvlsR1HF/7kNq7+3yz5Ekkd+sStjshU0dxubZ6iT3HfC pss6WFVuQ0SmA== From: Benjamin Date: Wed, 21 Jun 2023 17:45:41 +0200 Message-Id: X-Mailer: git-send-email 2.40.1 MIME-Version: 1.0 Received-SPF: pass client-ip=2001:41d0:304:200::4a2; envelope-from=benjamin@uvy.fr; helo=mail.uvy.fr X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 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_SBL_CSS=3.335, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no 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: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches Hello, These patches add ocaml-lsp-server package. A lot of dependencies were required, but for most of them, this is just a dune subpackage. For ocaml-dune-build-info, note that I included the patch from [0] and I used the same technique for other dune packages. The latest version of ocaml-lsp-server depends on ocaml-merlin-lib. I added a compatible version as a new package instead of upgrading current ocaml-merlin-lib as I was not sure if it would be safe to do so. Finally, the version 1.6.1 is supporting ocaml 5.0 and 5.1 [1] but I only tested for 5.0. Also, as 4.14 is not compatible with it, I only made public version 5.0 of it. I do not no either if was the good thing to be done. I tested lsp server localy and it has been working fine with neovim for my usage. [0] https://issues.guix.gnu.org/63947 [1] https://github.com/ocaml/ocaml-lsp/blob/master/CHANGES.md#1161 Benjamin (14): gnu: Fix ocaml-dune-build-info gnu: Add ocaml-dune-rpc. gnu: Add ocaml-chrome-trace. gnu: Add ocaml-dyn. gnu: Add ocaml-stdune. gnu: Add ocaml-fiber. gnu: Add ocaml-xdg. gnu: Add ocaml-ordering. gnu: Add ocamlc-loc. gnu: Add ocamlformat-rpc-lib. gnu: Add ocaml-pp. gnu: Add ocaml-ppx-yojson-conv-lib. gnu: Add ocaml-merlin-lib-4.9. gnu: Add ocaml-lsp-server. gnu/packages/ocaml.scm | 290 ++++++++++++++++++++++++++++++++++++++++- 1 file changed, 289 insertions(+), 1 deletion(-) base-commit: dcca13ed7340f17a33a4c0907c13b64d5da66a8e