From: Leo White <lpw25@cam.ac.uk>
To: Wojciech Meyer <wojciech.meyer@gmail.com>
Cc: Christophe TROESTLER <Christophe.Troestler@umons.ac.be>,
<ivg@ieee.org>, <caml-list@inria.fr>
Subject: Re: [Caml-list] Setting up OPAM in emacs
Date: Tue, 04 Jun 2013 15:55:26 +0100 [thread overview]
Message-ID: <878v2qj57l.fsf@kingston.cl.cam.ac.uk> (raw)
In-Reply-To: <wf4ndlsbxh.fsf@gmail.com> (Wojciech Meyer's message of "Wed, 29 May 2013 22:39:38 +0100")
My personal solution for Tuareg mode is to put:
;; Use OPAM's ocaml
(setq tuareg-interactive-program "opam config exec ocaml")
in my .emacs.
Regards,
Leo
Wojciech Meyer <wojciech.meyer@gmail.com> writes:
> Christophe's function hook is probably much better and elegant solution,
> but this works for me:
>
>>>
> (defun dm-opam-switch-root (ocaml-version opam-root)
> (interactive "sOCaml version: \nsOPAM root: ")
> (let* ((path (if (string-match "\\.opam" (car exec-path)) (cdr exec-path) exec-path))
> (entry
> (replace-regexp-in-string
> "\n" ""
> (shell-command-to-string
> (format "opam switch --root %s %s > /dev/null && opam config env | sed -n 's/^PATH=\\([^:]\\+\\):.*$/\\1/p'" opam-root ocaml-version))))
> (env-path (replace-regexp-in-string "\n" "" (shell-command-to-string (format "opam config env --root %s | sed -n 's/^PATH=\\(.*\\)/\\1/p'" opam-root)))))
> (setq exec-path (cons entry path))
> (setenv "PATH" env-path)))
>
> (defun dm-opam-switch (ocaml-version)
> (interactive "sOCaml version: ")
> (dm-opam-switch-root ocaml-version "~/.opam"))
> <<
>
> I wouldn't say myself it's a perfect script, but it works. Note that I
> use a lot of shell trickery instead of Emacs buffers, which is probably
> not a good idea.
>
> You just say M-x dm-opam-switch, and indicate which version you would
> like.
>
> Best,
> Wojciech
>
> Christophe TROESTLER <Christophe.Troestler@umons.ac.be> writes:
>
>> On Tue, 28 May 2013 09:59:53 +0400, Ivan Gotovchits wrote:
>>>
>>> 2. Use «eval `opam env config`» in the begining of a compile-command.
>>> This works fine when you switch compiler, but other commands, such as
>>> «C-c C-s» doesn't use new environment.
>>
>> I use this for the compilation:
>>
>> ;; OPAM compilation — one must update to the current compiler
>> ;; before launching the compilation.
>> (defadvice compile (before compile-opam activate)
>> "Run opam to update environment variables"
>> (set (make-local-variable 'compilation-environment)
>> (with-temp-buffer
>> (ignore-errors (call-process "opam" nil t nil "config" "-env"))
>> (goto-char (point-min))
>> (while (re-search-forward "; *export.*$" nil t)
>> (replace-match "" nil nil))
>> (split-string (buffer-substring 1 (point-max)))
>> )))
>>
>> For the toplevel, I am afraid one needs to restart it. I guess a
>> similar trick is possible to automatically select the right one.
>>
>> Hope it helps,
>> C.
next prev parent reply other threads:[~2013-06-04 14:55 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-28 5:59 Ivan Gotovchits
2013-05-28 8:05 ` Daniel Bünzli
[not found] ` <20130528.102112.1182989008075506917.Christophe.Troestler@umons.ac.be>
2013-05-29 21:39 ` Wojciech Meyer
2013-06-04 14:55 ` Leo White [this message]
2013-06-15 12:07 ` Gabriel Scherer
2013-06-15 15:14 ` [opam-devel] " Anil Madhavapeddy
2013-06-19 16:24 ` Leo White
2013-06-19 16:05 ` Ivan Gotovchits
2013-06-19 16:06 ` [opam-devel] " Ivan Gotovchits
2013-06-19 16:49 ` Ivan Gotovchits
2013-06-19 16:54 ` Ivan Gotovchits
2013-06-19 16:06 ` Ivan Gotovchits
2013-06-20 1:10 ` Francois Berenger
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=878v2qj57l.fsf@kingston.cl.cam.ac.uk \
--to=lpw25@cam.ac.uk \
--cc=Christophe.Troestler@umons.ac.be \
--cc=caml-list@inria.fr \
--cc=ivg@ieee.org \
--cc=wojciech.meyer@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox