From: Wojciech Meyer <wojciech.meyer@gmail.com>
To: Christophe TROESTLER <Christophe.Troestler@umons.ac.be>
Cc: <ivg@ieee.org>, <caml-list@inria.fr>
Subject: Re: [Caml-list] Setting up OPAM in emacs
Date: Wed, 29 May 2013 22:39:38 +0100 [thread overview]
Message-ID: <wf4ndlsbxh.fsf@gmail.com> (raw)
In-Reply-To: <20130528.102112.1182989008075506917.Christophe.Troestler@umons.ac.be> (Christophe TROESTLER's message of "Tue, 28 May 2013 10:21:12 +0200")
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-05-29 21:39 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 [this message]
2013-06-04 14:55 ` Leo White
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=wf4ndlsbxh.fsf@gmail.com \
--to=wojciech.meyer@gmail.com \
--cc=Christophe.Troestler@umons.ac.be \
--cc=caml-list@inria.fr \
--cc=ivg@ieee.org \
/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