* [bug#40299] [PATCH] gnu: Add emacs-company-coq.
@ 2020-03-29 1:04 John Soo
2020-03-30 12:38 ` bug#40299: " Nicolas Goaziou
0 siblings, 1 reply; 2+ messages in thread
From: John Soo @ 2020-03-29 1:04 UTC (permalink / raw)
To: 40299
[-- Attachment #1: Type: text/plain, Size: 181 bytes --]
Hi Guix,
Company-coq is indispensable when working in coq for me.
Thanks for your patience with all these patches as I try to only use
guix for emacs package management.
- John
[-- Attachment #2: add emacs-company-coq --]
[-- Type: text/x-patch, Size: 2297 bytes --]
>From 94fd93cdb32460b27f7bb3611d474ddbe0b330b0 Mon Sep 17 00:00:00 2001
From: John Soo <jsoo1@asu.edu>
Date: Tue, 24 Mar 2020 07:03:21 -0700
Subject: [PATCH] gnu: Add emacs-company-coq.
* gnu/packages/emacs-xyz.scm (emacs-company-coq): New variable.
---
gnu/packages/emacs-xyz.scm | 38 ++++++++++++++++++++++++++++++++++++++
1 file changed, 38 insertions(+)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 9d40b8019e..97c34a00a3 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -65,6 +65,7 @@
;;; Copyright © 2020 Michael Rohleder <mike@rohleder.de>
;;; Copyright © 2020 Brice Waegeneire <brice@waegenei.re>
;;; Copyright © 2020 6033fe7de85d <6033fe7de85d@airmail.cc>
+;;; Copyright © 2020 John Soo <jsoo1@asu.edu>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -21776,3 +21777,40 @@ enables modal editing and composition of commands, too. It combines ideas of
other Editors like Vim or Kakoune and tries to align them with regular Emacs
conventions.")
(license license:gpl3+)))
+
+(define-public emacs-company-coq
+ (package
+ (name "emacs-company-coq")
+ (version "1.0.1")
+ (source
+ (origin
+ (method git-fetch)
+ (uri
+ (git-reference
+ (url "https://github.com/cpitclaudel/company-coq")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0dxi4h8xqq5647k7h89s4pi8nwyj3brlhsckrv3p3b1g4dr6mk3b"))))
+ (inputs
+ `(("emacs-company" ,emacs-company)
+ ("emacs-company-math" ,emacs-company-math)
+ ("emacs-dash" ,emacs-dash)
+ ("emacs-yasnippet" ,emacs-yasnippet)))
+ (build-system emacs-build-system)
+ (home-page "https://github.com/cpitclaudel/company-coq")
+ (synopsis "IDE extensions for Proof General's Coq mode")
+ (description "A collection of extensions for Proof General's Coq
+mode. Including:
+
+@itemize
+@item Prettification of operators, types, and subscripts
+@item Auto-completion
+@item Insertion of cases
+@item Fully explicit intros
+@item Outlines, code folding, and jumping to definition
+@item Help with errors
+@item and more
+@end itemize")
+ (license license:gpl3+)))
--
2.26.0
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-03-30 12:39 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-29 1:04 [bug#40299] [PATCH] gnu: Add emacs-company-coq John Soo
2020-03-30 12:38 ` bug#40299: " Nicolas Goaziou
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.