From patchwork Thu Dec 27 09:54:34 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 555 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 E883A169AD; Thu, 27 Dec 2018 09:59:13 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id E52CC16997 for ; Thu, 27 Dec 2018 09:59:12 +0000 (GMT) Received: from localhost ([127.0.0.1]:50588 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcSRc-0004Ch-Dd for patchwork@mira.cbaines.net; Thu, 27 Dec 2018 04:59:12 -0500 Received: from eggs.gnu.org ([208.118.235.92]:46927) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcSRW-0004CZ-Rr for guix-patches@gnu.org; Thu, 27 Dec 2018 04:59:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcSRS-0006al-28 for guix-patches@gnu.org; Thu, 27 Dec 2018 04:59:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:51667) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcSRR-0006a1-VF for guix-patches@gnu.org; Thu, 27 Dec 2018 04:59:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gcSRR-0007AF-Sm for guix-patches@gnu.org; Thu, 27 Dec 2018 04:59:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33886] [PATCH] gnu: Add ocaml-merlin. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 27 Dec 2018 09:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 33886 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33886@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.154590472927518 (code B ref -1); Thu, 27 Dec 2018 09:59:01 +0000 Received: (at submit) by debbugs.gnu.org; 27 Dec 2018 09:58:49 +0000 Received: from localhost ([127.0.0.1]:38190 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gcSRF-00079l-17 for submit@debbugs.gnu.org; Thu, 27 Dec 2018 04:58:49 -0500 Received: from eggs.gnu.org ([208.118.235.92]:55323) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gcSRD-00079W-8S for submit@debbugs.gnu.org; Thu, 27 Dec 2018 04:58:47 -0500 Received: from lists.gnu.org ([208.118.235.17]:53385) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gcSR7-00060u-5E for submit@debbugs.gnu.org; Thu, 27 Dec 2018 04:58:41 -0500 Received: from eggs.gnu.org ([208.118.235.92]:46801) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcSR6-00042D-3j for guix-patches@gnu.org; Thu, 27 Dec 2018 04:58:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcSR2-0005xM-95 for guix-patches@gnu.org; Thu, 27 Dec 2018 04:58:40 -0500 Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]:33861) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcSQy-0005n0-Ks for guix-patches@gnu.org; Thu, 27 Dec 2018 04:58:34 -0500 Received: by mail-wm1-x331.google.com with SMTP id y185so23779939wmd.1 for ; Thu, 27 Dec 2018 01:58:27 -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=JwHiJGm7+83ZJE9Eu/6Nxw3+mokAcgJ+jEp02Jszpt4=; b=SjXm0grZ7O8Jh1P0NqmohRl7NWxlIWGH+gAF21TvwbNIwr2UgA6A2yRUT6JUOqarPa td8wlqAZbdfcBsAkbq/d4PqD/R8KHrIyRU+TbMN2oLNSVURztVLjo81hLpRxeWRw3UgG e92Yx4kQttNsHq2js34neXJNY5rzMqzzji9wAUcKGmeqGVqNDA+W3RPxQ8ORYXlOi7t8 BObe/D/1W8amegWxXpHk59r8/iMUsjNP5Od2qw7fHyXNEwlw2uBuXpJGxMUlVzGCLthC SKIHZTyNijv+ulf3u56kFbk6e7qAhilgmSQrexyMmwOyQW2M6eD5tOQUCMngIw0svU8T 9EAg== 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=JwHiJGm7+83ZJE9Eu/6Nxw3+mokAcgJ+jEp02Jszpt4=; b=epu05mNyC3nC5zd1elEcNHXSf0WpvRLwKLJRsvJJJCongnYHJRco2tMbXKVaNyF/Mp 9of4mbDmd9u+fs66j1qG7dtKoIRydY6/7PVwy6z1GXz/R76e7EpiP+DhFZQUAk9jofxL PJYzSpJNkReYZGRArDeWCwQ5AxOv5ugp2fTHKVGPIdzMiQsRx6SJWNOMYiH3wmvDvIlD iscjsLbOS8rMudqQYjadpTDH83NTEe7/+UPOpGxGjKiEc9acsfgs9+ZeUey03s5UAqpj tF3ymfTLWwK1F4zf6GyVd5ldM+2If37UozAaiFO+1WuhS9UuuSMGuxUiFD/De1VLXxWE 7b/Q== X-Gm-Message-State: AA+aEWY8DhOiB16xCt7GPoWBT83dtjuUVRJ79cavJuca3v/olHzsewoA /MqEKFeJvjAncsHa1BpZJcz2kpXu X-Google-Smtp-Source: AFSGD/U4kiVu491VzJ13LjkI8CsJKg4C/+HuEMxwgRxn8HaztvkRE9D0dqzWV0Ju7IaHFa/rYIr4eQ== X-Received: by 2002:a7b:c24c:: with SMTP id b12mr19119427wmj.29.1545904706585; Thu, 27 Dec 2018 01:58:26 -0800 (PST) Received: from glht-x240.gmail.com ([92.184.108.56]) by smtp.gmail.com with ESMTPSA id z206sm30029229wmc.18.2018.12.27.01.58.25 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 27 Dec 2018 01:58:25 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Thu, 27 Dec 2018 10:54:34 +0100 Message-ID: <87o997watf.fsf@gmail.com> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-merlin): New variable. --- gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6a16f0729..5b36456fb 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5124,3 +5124,34 @@ speedup, polymorphic variants and optional syntax for tuples and variants. yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) + +(define-public ocaml-merlin + (package + (name "ocaml-merlin") + (version "3.2.2") + (home-page "https://ocaml.github.io/merlin/") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml/merlin.git") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "15ssgmwdxylbwhld9p1cq8x6kadxyhll5bfyf11dddj6cldna3hb")))) + (build-system dune-build-system) + (inputs + `(("ocaml-biniou" ,ocaml-biniou) + ("ocaml-yojson" ,ocaml-yojson) + ("ocaml-easy-format" ,ocaml-easy-format))) + (native-inputs + `(("ocaml-findlib" ,ocaml-findlib))) + (arguments + '(#:tests? #f)) ;; Errors in tests in version 3.2.2 + (synopsis "Context sensitive completion for OCaml in Vim and Emacs") + (description "Merlin is an editor service that provides modern IDE +features for OCaml. Emacs and Vim support is provided out-of-the-box. +External contributors added support for Visual Studio Code, Sublime Text and +Atom.") + (license license:expat)))