diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2007-02-23 12:42:42 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2007-02-23 12:42:42 +0000 |
| commit | bdfffc09fe763df066ba6940256abb810cd2377c (patch) | |
| tree | 43a1cbde1fbaa822ffbc319f09b22c9061c2dcb8 | |
| parent | 2155767c84ff821099d45c8096afa043b53ef348 (diff) | |
MAJ pour VERSION/sys.mlp
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/Makefile.nt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index 16b20142e..4551c8915 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -60,6 +60,12 @@ camlheader camlheader_ur: headernt.c ../config/Makefile mv tmpheader.exe camlheader cp camlheader camlheader_ur +sys.ml: sys.mlp ../VERSION + sed -e "s|%%VERSION%%|`head -1 ../VERSION`|" sys.mlp >sys.ml + +clean:: + rm -f sys.ml + clean:: rm -f camlheader camlheader_ur |