* [Caml-list] overriding config-file "path" with environment variable
@ 2019-03-13 18:52 Chet Murthy
2019-03-14 5:33 ` rixed
0 siblings, 1 reply; 3+ messages in thread
From: Chet Murthy @ 2019-03-13 18:52 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 283 bytes --]
I remember a long time ago, there was a way to override ocamlfind's "path"
config-file entry with an environment variable. But searching the code
(and 1.8.0 refman) I find nothing for this. Has this function been
removed? Or am I just overlooking it?
Thanks in advance,
--chet--
[-- Attachment #2: Type: text/html, Size: 386 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] overriding config-file "path" with environment variable
2019-03-13 18:52 [Caml-list] overriding config-file "path" with environment variable Chet Murthy
@ 2019-03-14 5:33 ` rixed
2019-03-14 7:45 ` Chet Murthy
0 siblings, 1 reply; 3+ messages in thread
From: rixed @ 2019-03-14 5:33 UTC (permalink / raw)
To: caml-list
OCAMLPATH ?
It is still present in 1.8.0.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] overriding config-file "path" with environment variable
2019-03-14 5:33 ` rixed
@ 2019-03-14 7:45 ` Chet Murthy
0 siblings, 0 replies; 3+ messages in thread
From: Chet Murthy @ 2019-03-14 7:45 UTC (permalink / raw)
To: Chapi Chapo; +Cc: caml-list
[-- Attachment #1: Type: text/plain, Size: 210 bytes --]
Oh, ha! I was expecting it to be named OCAMLFIND_PATH ! (sheepish) Thanks
for the correction!
On Wed, Mar 13, 2019 at 10:34 PM <rixed@happyleptic.org> wrote:
> OCAMLPATH ?
> It is still present in 1.8.0.
>
[-- Attachment #2: Type: text/html, Size: 497 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-03-14 7:46 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-03-13 18:52 [Caml-list] overriding config-file "path" with environment variable Chet Murthy
2019-03-14 5:33 ` rixed
2019-03-14 7:45 ` Chet Murthy
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).