summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorOleg Pykhalov <go.wigust@gmail.com>2017-08-30 09:29:44 +0300
committerLudovic Courtès <ludo@gnu.org>2017-09-01 10:39:55 +0200
commit833ade67f18311f1e162088c14a989fad62d81bd (patch)
tree78e20bb7aaf170ca6b69738acff1a9bfd8276679 /gnu/packages/ocaml.scm
parent4735393a767708de21c05f5beeec2ee4e244c123 (diff)
gnu: Add emacs-tuareg.
* gnu/packages/ocaml.scm (emacs-tuareg): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm40
1 files changed, 40 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 43bbdcd6e2..2597775bf7 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -575,6 +575,46 @@ assistant to write formal mathematical proofs using a variety of theorem
provers.")
(license license:gpl2+)))
+(define-public emacs-tuareg
+ (package
+ (name "emacs-tuareg")
+ (version "2.0.10")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://github.com/ocaml/tuareg/archive/"
+ version ".tar.gz"))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1r2smclcs63n74lcyckbp90j09wyjdngn816cqzfkw54iwh3hd7q"))))
+ (build-system gnu-build-system)
+ (native-inputs `(("emacs" ,emacs-minimal)
+ ("opam" ,opam)))
+ (arguments
+ `(#:phases
+ (modify-phases %standard-phases
+ (delete 'configure)
+ (add-before 'install 'fix-install-path
+ (lambda* (#:key outputs #:allow-other-keys)
+ (substitute* "Makefile"
+ (("/emacs/site-lisp")
+ (string-append (assoc-ref %outputs "out")
+ "/share/emacs/site-lisp/")))
+ #t))
+ (add-after 'install 'post-install
+ (lambda* (#:key outputs #:allow-other-keys)
+ (symlink "tuareg.el"
+ (string-append (assoc-ref outputs "out")
+ "/share/emacs/site-lisp/"
+ "tuareg-autoloads.el"))
+ #t)))))
+ (home-page "https://github.com/ocaml/tuareg")
+ (synopsis "OCaml programming mode, REPL, debugger for Emacs")
+ (description "Tuareg helps editing OCaml code, to highlight important
+parts of the code, to run an OCaml REPL, and to run the OCaml debugger within
+Emacs.")
+ (license license:gpl2+)))
+
(define-public ocaml-menhir
(package
(name "ocaml-menhir")