caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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.

  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;
as well as URLs for NNTP newsgroup(s).