caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Mapping between ocamlbuild and ocamlc versions
@ 2018-07-04 16:03 Soegtrop, Michael
  2018-07-04 16:24 ` David Allsopp
  0 siblings, 1 reply; 8+ messages in thread
From: Soegtrop, Michael @ 2018-07-04 16:03 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 1075 bytes --]

Dear OCaml Team,

I wonder if there is a mapping table between ocamlbuild github labels and ocamlc versions. As far as I understand after ocamlbuild 4.02.3 a new labeling/versioning scheme was introduced for ocamlbuild which currently appears to be at 0.12.0.

Which label of ocamlbuild am I supposed to use with ocaml 4.06? Is it so that unless I have special requirements to ocamlbuild I can use ocamlbuild label 4.02.3 for any newer version of ocaml? Is this the recommended way of doing it?

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

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

[-- Attachment #2: Type: text/html, Size: 2885 bytes --]

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

end of thread, other threads:[~2018-07-08 22:04 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-07-04 16:03 [Caml-list] Mapping between ocamlbuild and ocamlc versions Soegtrop, Michael
2018-07-04 16:24 ` David Allsopp
2018-07-04 21:31   ` Soegtrop, Michael
2018-07-04 22:00     ` David Allsopp
2018-07-05  8:04       ` Soegtrop, Michael
2018-07-05 18:23         ` Evgeny Roubinchtein
2018-07-05 18:28         ` Bernhard Schommer
2018-07-08 22:03         ` Richard W.M. Jones

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