summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXinglu Chen <public@yoctocell.xyz>2021-09-08 13:27:58 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-09-13 22:25:53 +0200
commitaadf4d38472e5438f9c2ed5a2a39a3fcc2b3557a (patch)
tree84c3b54c415ef7bbc97a9693f0b2c79d205bce04
parent157547f4a437e3d497eefe8673e816f225cb6214 (diff)
gnu: Add emacs-caml.
* gnu/packages/emacs-xyz.scm (emacs-caml): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
-rw-r--r--gnu/packages/emacs-xyz.scm28
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index f8a01befc94..41cc19878ad 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -2773,6 +2773,34 @@ the ability to jump forward and backward to the next bookmark.")
2773Emacs buffer.") 2773Emacs buffer.")
2774 (license license:gpl3+))) 2774 (license license:gpl3+)))
2775 2775
2776(define-public emacs-caml
2777 (package
2778 (name "emacs-caml")
2779 (version "4.9")
2780 (source
2781 (origin
2782 (method url-fetch)
2783 (uri (string-append "https://elpa.nongnu.org/nongnu/caml-"
2784 version ".tar"))
2785 (sha256
2786 (base32
2787 "00ldvz6r10vwwmk6f3az534p0340ywn7knsg2bmvbvh3q51vyl9i"))))
2788 (build-system emacs-build-system)
2789 (home-page "https://github.com/ocaml/caml-mode")
2790 (synopsis "Caml mode for GNU Emacs")
2791 (description
2792 "This package provides a major mode for editing OCaml code in Emacs.
2793Some of its major features include:
2794
2795@itemize
2796@item syntax highlighting (font lock);
2797@item automatic indentation;
2798@item querying the type of expressions (using compiler generated annot files);
2799@item running an OCaml REPL within Emacs;
2800@item scanning of declarations and placing them in a menu.
2801@end itemize")
2802 (license license:gpl2+)))
2803
2776(define-public emacs-caps-lock 2804(define-public emacs-caps-lock
2777 (package 2805 (package
2778 (name "emacs-caps-lock") 2806 (name "emacs-caps-lock")