* [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout.
@ 2019-05-31 3:15 ericbavier
2019-05-31 8:14 ` Ricardo Wurmus
2019-06-10 4:20 ` bug#36018: Eric Bavier
0 siblings, 2 replies; 3+ messages in thread
From: ericbavier @ 2019-05-31 3:15 UTC (permalink / raw)
To: 36018; +Cc: Eric Bavier
From: Eric Bavier <bavier@member.fsf.org>
* 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
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout.
2019-05-31 3:15 [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout ericbavier
@ 2019-05-31 8:14 ` Ricardo Wurmus
2019-06-10 4:20 ` bug#36018: Eric Bavier
1 sibling, 0 replies; 3+ messages in thread
From: Ricardo Wurmus @ 2019-05-31 8:14 UTC (permalink / raw)
To: Eric Bavier; +Cc: 36018
Hi Eric,
> From: Eric Bavier <bavier@member.fsf.org>
>
> * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch.
> [version]: Include revision and commit.
LGTM!
--
Ricardo
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#36018:
2019-05-31 3:15 [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout ericbavier
2019-05-31 8:14 ` Ricardo Wurmus
@ 2019-06-10 4:20 ` Eric Bavier
1 sibling, 0 replies; 3+ messages in thread
From: Eric Bavier @ 2019-06-10 4:20 UTC (permalink / raw)
To: 36018-done
Pushed in commit ac302576006c95ab9adfe7a1f9bf11f7f3846e45
Thanks,
--
`~Eric
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-06-10 4:21 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-31 3:15 [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout ericbavier
2019-05-31 8:14 ` Ricardo Wurmus
2019-06-10 4:20 ` bug#36018: Eric Bavier
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.