diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-04-15 16:06:39 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-04-15 16:06:39 +0000 |
| commit | 075aaa089f2f1e2b195972f339d4316c07e7cd3b (patch) | |
| tree | 92eeccef47c367f6ac4dfe40c758ab89c3a49205 /tools/Makefile | |
| parent | f428d9a90d6d2f8cc6476e5eba5385ff8829cc72 (diff) | |
PR#2046
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index f9d334351..ef886c844 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -97,6 +97,7 @@ clean:: rm -f ocamlmklib ocamlmklib.ml: ocamlmklib.mlp ../config/Makefile + echo '(* THIS FILE IS GENERATED FROM ocamlmklib.mlp *)' >ocamlmklib.ml sed -e "s|%%BINDIR%%|$(BINDIR)|" \ -e "s|%%SUPPORTS_SHARED_LIBRARIES%%|$(SUPPORTS_SHARED_LIBRARIES)|" \ -e "s|%%MKSHAREDLIB%%|$(MKSHAREDLIB)|" \ @@ -104,7 +105,7 @@ ocamlmklib.ml: ocamlmklib.mlp ../config/Makefile -e "s|%%NATIVECCRPATH%%|$(NATIVECCRPATH)|" \ -e "s|%%MKSHAREDLIBRPATH%%|$(MKSHAREDLIBRPATH)|" \ -e "s|%%RANLIB%%|$(RANLIB)|" \ - ocamlmklib.mlp > ocamlmklib.ml + ocamlmklib.mlp >> ocamlmklib.ml beforedepend:: ocamlmklib.ml |