diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-08 15:25:41 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-08 15:25:41 +0000 |
| commit | 05f4452887616a2a2a88dacdbfc9c4829f3967b4 (patch) | |
| tree | 16aa363c0e29ef38ab7ed7c03200abf248af854a /bytecomp | |
| parent | 979f6f2faf24829743c1c63a309a69dd17d881ee (diff) | |
option -nopervasives pour le link
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp')
| -rw-r--r-- | bytecomp/bytelink.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 4926f3f6c..ea78706bf 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -478,7 +478,8 @@ let fix_exec_name name = (* Main entry point (build a custom runtime if needed) *) let link objfiles = - let objfiles = "stdlib.cma" :: (objfiles @ ["std_exit.cmo"]) in + let objfiles = if !Clflags.nopervasives then objfiles + else "stdlib.cma" :: (objfiles @ ["std_exit.cmo"]) in if not !Clflags.custom_runtime then link_bytecode objfiles !Clflags.exec_name true else if not !Clflags.output_c_object then begin |