print the version number

print the version number

[Angela Zhu]

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

Hi,

I found the following code in some OCaml file:

    fprintf ppf "        Objective Caml version %s@.@." Config.version;

But I didn't find any file "Config.*" in the directory.
If I am using SVN to generate version number,
and I have SVN keyword "$Version$" set somewhere.
How can I get the the string and use it in a printf function?

-- 
Thanks,
Angela Zhu
------------------------------------------
Dept. of CS, Rice University
http://www.cs.rice.edu/~yz2/
------------------------------------------

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

Re: [Caml-list] print the version number

[Gordon Henriksen]

On Nov 1, 2007, at 22:32, Angela Zhu wrote:

> I found the following code in some OCaml file:
>
>     fprintf ppf "        Objective Caml version %s@.@."  
> Config.version;
>
> But I didn't find any file "Config.*" in the directory.
> If I am using SVN to generate version number, and I have SVN keyword  
> "$Version$" set somewhere.
> How can I get the the string and use it in a printf function?


See lines 320-345 of the Makefile (the rule is utils/config.ml: utils/ 
config.mlp).

— Gordon

Re: [Caml-list] print the version number

[Basile STARYNKEVITCH]

Angela Zhu wrote:
> 
> I found the following code in some OCaml file:
> 
>     fprintf ppf "        Objective Caml version %s@.@." Config.version;

Perhaps from the interactive toplevel?
> 
> But I didn't find any file "Config.*" in the directory.
> If I am using SVN to generate version number,
> and I have SVN keyword "$Version$" set somewhere.
> How can I get the the string and use it in a printf function?

Maybe thru Sys.ocaml_version
But I am not sure to understand what version string do you want? The 
Ocaml version string, or a version string identifying your software?


-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***