diff options
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%%";; |