diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2007-02-07 14:49:42 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2007-02-07 14:49:42 +0000 |
| commit | 5b52f30e7d2c6056ef6cdd36305a415a8558cf7b (patch) | |
| tree | 07cca025f84d7c1f8c6fd9661cb7e9a06bba4c06 /stdlib | |
| parent | 5d5094fe30b1f66b53cc468108afd5def3a547ea (diff) | |
deplacement du numero de version -> fichier VERSION a la racine
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7833 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile | 8 | ||||
| -rw-r--r-- | stdlib/sys.mlp (renamed from stdlib/sys.ml) | 8 |
2 files changed, 14 insertions, 2 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index d2de5074b..ec938f701 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -90,6 +90,14 @@ camlheader camlheader_ur: header.c ../config/Makefile cp camlheader camlheader_ur; \ fi +sys.ml: sys.mlp ../VERSION + @rm -f sys.ml + sed -e "s|%%VERSION%%|`head -1 ../VERSION`|" sys.mlp >sys.ml + @chmod -w sys.ml + +clean:: + rm -f sys.ml + clean:: rm -f camlheader camlheader_ur diff --git a/stdlib/sys.ml b/stdlib/sys.mlp index 733b9328a..d88aab324 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.mlp @@ -13,6 +13,10 @@ (* $Id$ *) +(* WARNING: sys.ml is generated from sys.mlp. DO NOT EDIT sys.ml or + your changes will be lost. +*) + (* System interface *) external get_config: unit -> string * int = "caml_sys_get_config" @@ -76,6 +80,6 @@ let catch_break on = set_signal sigint Signal_default -(* OCaml version string, must be in the format described in sys.mli. *) +(* The version string is found in file ../VERSION *) -let ocaml_version = "3.10+dev21 (2006-12-18)";; +let ocaml_version = "%%VERSION%%";; |