From 833ade67f18311f1e162088c14a989fad62d81bd Mon Sep 17 00:00:00 2001 From: Oleg Pykhalov Date: Wed, 30 Aug 2017 09:29:44 +0300 Subject: gnu: Add emacs-tuareg. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/ocaml.scm (emacs-tuareg): New variable. Signed-off-by: Ludovic Courtès --- gnu/packages/ocaml.scm | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) 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") -- cgit v1.2.3