diff options
| author | Oleg Pykhalov <go.wigust@gmail.com> | 2017-08-30 09:29:44 +0300 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-01 10:39:55 +0200 |
| commit | 833ade67f18311f1e162088c14a989fad62d81bd (patch) | |
| tree | 78e20bb7aaf170ca6b69738acff1a9bfd8276679 /gnu/packages/ocaml.scm | |
| parent | 4735393a767708de21c05f5beeec2ee4e244c123 (diff) | |
| download | patches-833ade67f18311f1e162088c14a989fad62d81bd.tar patches-833ade67f18311f1e162088c14a989fad62d81bd.tar.gz | |
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.scm | 40 |
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") |