From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4B60481792 for ; Wed, 19 Jun 2013 18:06:23 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=74.125.149.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 74.125.149.153 as permitted sender) identity=mailfrom; client-ip=74.125.149.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@na3sys009aog125.obsmtp.com) identity=helo; client-ip=74.125.149.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@na3sys009aog125.obsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYBAAvWwVFKfZWZnGdsb2JhbABagzoBrUKSIYEWDgEBAQEBBg0JCRQogiMBAQEDAQEBAQwBXgsFCwsYDSEhBgEMAQUBChIGExIJh2EDCQYECJ4UiwoBAYlQAwqIUoxdgjIzB4MAYQOJGotiXoFngSmEeIV/gz8/hDo X-IPAS-Result: AhYBAAvWwVFKfZWZnGdsb2JhbABagzoBrUKSIYEWDgEBAQEBBg0JCRQogiMBAQEDAQEBAQwBXgsFCwsYDSEhBgEMAQUBChIGExIJh2EDCQYECJ4UiwoBAYlQAwqIUoxdgjIzB4MAYQOJGotiXoFngSmEeIV/gz8/hDo X-IronPort-AV: E=Sophos;i="4.87,898,1363129200"; d="scan'208";a="22530123" Received: from na3sys009aog125.obsmtp.com ([74.125.149.153]) by mail2-smtp-roc.national.inria.fr with SMTP; 19 Jun 2013 18:06:20 +0200 Received: from mail-la0-f52.google.com ([209.85.215.52]) (using TLSv1) by na3sys009aob125.postini.com ([74.125.148.12]) with SMTP ID DSNKUcHW+/nzvqFqJRCdDI11+NxJWwwfZMYT@postini.com; Wed, 19 Jun 2013 09:06:20 PDT Received: by mail-la0-f52.google.com with SMTP id fo12so4685517lab.25 for ; Wed, 19 Jun 2013 09:06:17 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer :x-gm-message-state; bh=U/vVhMpnPEx29rN5QqP1bp4rcCAp5rKzwtjf4+zaQxE=; b=G0jscLqMI81+u/yQ0hEMGam0ZdmBP8VrsI5FlnoXfhjtzIX2geJ3rAyaPBL+UHHLJE jMyQkM5NUOLIBsB2oXjS5NrNRXSvs+4P2KGW5aVgfu1ntxHgAjAeSS+6yd4wJQQgOAdU UaGPXXJ+fEi4dl3ASzVMEydPnl0LiLoXJjhLotnE8R/pvHbxmUAs+KMEZBvgmzhJTXUn gUImjulQt699RdHSwkIMk3mSxt+fa+GISV9KBFnQoZY3ItijnLKDabBbPs7je8Du1bgj 0HLnLwFa0mFPVS4UkRjIhq7SCWgCBT3g4rsftzpMXa3mpwVFnd2PThi1aVSWSo+Ma5iw bO0Q== X-Received: by 10.152.115.194 with SMTP id jq2mr1635304lab.53.1371657977831; Wed, 19 Jun 2013 09:06:17 -0700 (PDT) X-Received: by 10.152.115.194 with SMTP id jq2mr1635298lab.53.1371657977731; Wed, 19 Jun 2013 09:06:17 -0700 (PDT) Received: from [192.168.0.64] (ip-46-73-149-67.bb.netbynet.ru. [46.73.149.67]) by mx.google.com with ESMTPSA id s3sm9143252lbs.14.2013.06.19.09.06.16 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 19 Jun 2013 09:06:17 -0700 (PDT) Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) From: Ivan Gotovchits In-Reply-To: Date: Wed, 19 Jun 2013 20:06:16 +0400 Cc: caml users , Leo White , ivg@ieee.org, opam-devel@lists.ocaml.org, Christophe TROESTLER , Wojciech Meyer Content-Transfer-Encoding: quoted-printable Message-Id: <820735C6-8808-4190-8B2F-26F3576D6762@ieee.org> References: <87li6z8x0m.fsf@ieee.org> <20130528.102112.1182989008075506917.Christophe.Troestler@umons.ac.be> <878v2qj57l.fsf@kingston.cl.cam.ac.uk> To: Gabriel Scherer X-Mailer: Apple Mail (2.1508) X-Gm-Message-State: ALoCoQnVgndIaubmh0QArPNuI1frg3mVYMAZyn3YPSjInsd6pzI+dd53VbQBxJ9mDiQsBsDygfVEqAEg6fBvWUIf5B1pUGHiCSBqZgzz86yrJ10oppxqj8HKh0eQurNbPu3/OBciYvSPYQAQXA4UFZk++ChkbX5m4A== Subject: Re: [opam-devel] [Caml-list] Setting up OPAM in emacs I don't use Emacs, but OPAM has several global command-line options that may make your OS^H^Heditor integration easier. * --root will set the home directory of OPAM (~/.opam by default) * --switch will explicitly run the command under a compiler switch that isn't the default one, but without performing a global switch. * "opam config exec" will run the sub-command with the right environment variables set to the selected switch. So: $ opam config exec "ocamlc -version" will get the version of the current OPAM switch ocaml, irrespective of your PATH settings. (This is what Leo is doing for his interactive shell below, but I'm not sure how this interacts with the rest of=20 Tuareg). I would appreciate an Emacs user summarising best practises here and letting me know so that I can include a short summary in Real World OCaml. best, Anil On 15 Jun 2013, at 13:07, Gabriel Scherer wrote: > I don't (want to) understand the details of why opam switches don't > work well with Emacs right now, or of any of the proposed solutions. > Is there a solution integrated in OPAM by now? If not, is there a > consensus on what simple users like me should use to solve the > problem? Could you (the thread participants) decide on something, and > send that to the OPAM upstream, so that future versions solve this > issue? >=20 > (The immediate problem I observe is that compile-command does not use > the OCaml versions I would expect it to, in general defaulting to my > system OCaml -- that may depend on the way Emacs is launched. More > sophisticated things such as being able to call "opam switch" from > inside Emacs are probably secondary needs, and I would be fine with a > basic integration not supporting that, and letting people hone their > emacs-lisp skills for that.) >=20 > On Tue, Jun 4, 2013 at 4:55 PM, Leo White wrote: >> My personal solution for Tuareg mode is to put: >>=20 >> ;; Use OPAM's ocaml >> (setq tuareg-interactive-program "opam config exec ocaml") >>=20 >> in my .emacs. >>=20 >> Regards, >>=20 >> Leo >>=20 >> Wojciech Meyer writes: >>=20 >>> Christophe's function hook is probably much better and elegant solution, >>> but this works for me: >>>=20 >>>>>=20 >>> (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-pat= h) 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=3D\\([^:]\\+\\):.*$/\\1/p'" opam-root ocaml-version))= )) >>> (env-path (replace-regexp-in-string "\n" "" (shell-command-to-st= ring (format "opam config env --root %s | sed -n 's/^PATH=3D\\(.*\\)/\\1/p'= " opam-root))))) >>> (setq exec-path (cons entry path)) >>> (setenv "PATH" env-path))) >>>=20 >>> (defun dm-opam-switch (ocaml-version) >>> (interactive "sOCaml version: ") >>> (dm-opam-switch-root ocaml-version "~/.opam")) >>> << >>>=20 >>> 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. >>>=20 >>> You just say M-x dm-opam-switch, and indicate which version you would >>> like. >>>=20 >>> Best, >>> Wojciech >>>=20 >>> Christophe TROESTLER writes: >>>=20 >>>> On Tue, 28 May 2013 09:59:53 +0400, Ivan Gotovchits wrote: >>>>>=20 >>>>> 2. Use =ABeval `opam env config`=BB in the begining of a compile-comm= and. >>>>> This works fine when you switch compiler, but other commands, such as >>>>> =ABC-c C-s=BB doesn't use new environment. >>>>=20 >>>> I use this for the compilation: >>>>=20 >>>> ;; OPAM compilation =97 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))) >>>> ))) >>>>=20 >>>> For the toplevel, I am afraid one needs to restart it. I guess a >>>> similar trick is possible to automatically select the right one. >>>>=20 >>>> Hope it helps, >>>> C. >>=20 >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > _______________________________________________ > opam-devel mailing list > opam-devel@lists.ocaml.org > http://lists.ocaml.org/listinfo/opam-devel >=20