From debbugs-submit-bounces@debbugs.gnu.org Thu May 30 23:16:09 2019 Received: (at submit) by debbugs.gnu.org; 31 May 2019 03:16:09 +0000 Received: from localhost ([127.0.0.1]:34509 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWY1Y-0008TO-KH for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44802) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWY1V-0008Sa-M4 for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:43134) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hWY1Q-0005tb-JJ for submit@debbugs.gnu.org; Thu, 30 May 2019 23:16:00 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59183) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hWY1P-0007Ss-9m for guix-patches@gnu.org; Thu, 30 May 2019 23:16:00 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hWY1O-0005mK-57 for guix-patches@gnu.org; Thu, 30 May 2019 23:15:59 -0400 Received: from mail.onyx.syn-alias.com ([206.152.134.66]:33475 helo=smtp.centurylink.net) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hWY1N-0005e7-Ty for guix-patches@gnu.org; Thu, 30 May 2019 23:15:58 -0400 DKIM-Signature: v=1; a=rsa-sha1; d=centurylink.net; s=ctl201402; c=relaxed/simple; q=dns/txt; i=@centurylink.net; t=1559272555; h=From:Subject:Date:To:MIME-Version; bh=4vS800C8r6mQ9l6vNSWuffdiaeg=; b=rlfvz6lmKDqAc/T+1xObOXQNafVWUfGqDfTI4whYH5hgLkoK0ukB9HwIStcmUIoT J0F6e8bMmSSUd337WegclqbD+60tXNeylIFA0r/u/aRjPkGdt4kLmlLxd0VIW16S l5C+c0fklPeVcIjX9Fq6P/KS8mSr6Q27NLbdgxHzPVkfAIT551mW6KQLfStBtuBT UeMoFucOn2fUdrJoaYS2PEZQf/7G7MYubCKIKfDQDKt1f4WSxhTUWnG5APsiT7Cn lKnCYPU8Qf52ejqvYVRgSPJ3zTsFTczGZStoaw8wcwCWnubZuIPR59l9VCRiMZiB i4nKRp+Dw4f0Zxb1z18qAA==; X_CMAE_Category: , , X-CNFS-Analysis: v=2.3 cv=ONhZIhSB c=1 sm=1 tr=0 a=S3wHX3KET2xGK6fnWLOrkQ==:117 a=S3wHX3KET2xGK6fnWLOrkQ==:17 a=KGjhK52YXX0A:10 a=E5NmQfObTbMA:10 a=zSv6zi-ZgakA:10 a=inoG4m36AAAA:8 a=_XKrVaNjAAAA:8 a=d87ALkuxAAAA:20 a=rKhox_5Y2UYUquB-6AAA:9 a=_Qgj-RFg6mImvLaOgLPg:22 a=028X40DmOm8bOgFXOd3P:22 X-CM-Score: 0 X-Scanned-by: Cloudmark Authority Engine X-Authed-Username: ZXJpY2JhdmllckBjZW50dXJ5bGluay5uZXQ= Authentication-Results: smtp04.onyx.dfw.sync.lan smtp.user=ericbavier@centurylink.net; auth=pass (LOGIN) Received: from [97.116.107.43] ([97.116.107.43:58268] helo=localhost.localdomain) by smtp.centurylink.net (envelope-from ) (ecelerity 3.6.25.56547 r(Core:3.6.25.0)) with ESMTPSA (cipher=DHE-RSA-AES128-GCM-SHA256) id 5E/CC-22466-A6C90FC5; Thu, 30 May 2019 23:15:55 -0400 From: ericbavier@centurylink.net To: guix-patches@gnu.org Subject: [PATCH] gnu: emacs-idris-mode: Use recent git checkout. Date: Thu, 30 May 2019 22:15:52 -0500 Message-Id: <20190531031552.16379-1-ericbavier@centurylink.net> X-Mailer: git-send-email 2.21.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 206.152.134.66 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Eric Bavier 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: -2.3 (--) From: Eric Bavier * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch. [version]: Include revision and commit. --- This fixes, amongst other things, syntax highlighting when used with the latest version of idris. gnu/packages/emacs-xyz.scm | 45 ++++++++++++++++++++------------------ 1 file changed, 24 insertions(+), 21 deletions(-) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 6f74a2fc45..1d5222367a 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -8359,29 +8359,32 @@ key. Optionally, a mouse pop-up can be added by binding (license license:gpl3+))) (define-public emacs-idris-mode - (package - (name "emacs-idris-mode") - (version "0.9.19") - (source - (origin - (method url-fetch) - (uri (string-append - "http://stable.melpa.org/packages/idris-mode-" - version ".tar")) - (sha256 - (base32 - "16hl2s22l3wc9drnwzw6hn7xrm49ml9lii0s6k218dgahdgsncmf")))) - (build-system emacs-build-system) - (propagated-inputs - `(("emacs-prop-menu" ,emacs-prop-menu))) - (home-page - "https://github.com/idris-hackers/idris-mode") - (synopsis "Major mode for editing Idris code") - (description - "This is an Emacs mode for editing Idris code. It requires the latest + (let ((commit "acc8835449475d7cd205aba213fdd3d41c38ba40") + (revision "0")) + (package + (name "emacs-idris-mode") + (version (git-version "0.9.19" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/idris-hackers/idris-mode.git") + (commit commit))) + (file-name (git-file-name name commit)) + (sha256 + (base32 + "0n9xbknc68id0mf8hbfmawi8qpvrs47ix807sk9ffv2g3ik32kk6")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-prop-menu" ,emacs-prop-menu))) + (home-page + "https://github.com/idris-hackers/idris-mode") + (synopsis "Major mode for editing Idris code") + (description + "This is an Emacs mode for editing Idris code. It requires the latest version of Idris, and some features may rely on the latest Git version of Idris.") - (license license:gpl3+))) + (license license:gpl3+)))) (define-public emacs-browse-at-remote (package -- 2.21.0