caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] since when does ocamlc -v tells where is the stdlib installed?
@ 2016-10-26 12:07 Francois BERENGER
  2016-10-26 12:12 ` Jeremy Yallop
  0 siblings, 1 reply; 2+ messages in thread
From: Francois BERENGER @ 2016-10-26 12:07 UTC (permalink / raw)
  To: caml-list

Hello,

---
# ocamlc -v
The OCaml compiler, version 4.03.0
Standard library directory: /home/berenger/.opam/4.03.0/lib/ocaml
---

Was it always there or is this a recent addition ?

I would need to know the ocaml version from which this behavior started.
Neither Google nor mantis were my friends. :(

-- 
Regards,
Francois.
"When in doubt, use more types"

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] since when does ocamlc -v tells where is the stdlib installed?
  2016-10-26 12:07 [Caml-list] since when does ocamlc -v tells where is the stdlib installed? Francois BERENGER
@ 2016-10-26 12:12 ` Jeremy Yallop
  0 siblings, 0 replies; 2+ messages in thread
From: Jeremy Yallop @ 2016-10-26 12:12 UTC (permalink / raw)
  To: Francois BERENGER; +Cc: Caml List

On 26 October 2016 at 13:07, Francois BERENGER
<francois.berenger@inria.fr> wrote:
> # ocamlc -v
> The OCaml compiler, version 4.03.0
> Standard library directory: /home/berenger/.opam/4.03.0/lib/ocaml
> ---
>
> Was it always there or is this a recent addition ?

It was added in 1997:

   https://github.com/ocaml/ocaml/commit/7e82c02e#diff-670301446638aae50a85a65632912f86R49

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2016-10-26 12:12 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-10-26 12:07 [Caml-list] since when does ocamlc -v tells where is the stdlib installed? Francois BERENGER
2016-10-26 12:12 ` Jeremy Yallop

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).