Avec -output-obj, ne pas executer les fonctions at_exit, car ca peut invalider des callbacks C->Caml apres (PR#525)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 2001-11-27 13:00:09 +00:00
parent 07e82db16f
commit bf4fdce9f2
1 changed files with 4 additions and 2 deletions

View File

@ -508,8 +508,10 @@ let fix_exec_name name =
(* Main entry point (build a custom runtime if needed) *)
let link objfiles =
let objfiles = if !Clflags.nopervasives then objfiles
else "stdlib.cma" :: (objfiles @ ["std_exit.cmo"]) in
let objfiles =
if !Clflags.nopervasives then objfiles
else if !Clflags.output_c_object then "stdlib.cma" :: objfiles
else "stdlib.cma" :: (objfiles @ ["std_exit.cmo"]) in
let tolink = List.fold_right scan_file objfiles [] in
Clflags.ccobjs := !Clflags.ccobjs @ !lib_ccobjs; (* put user's libs last *)
Clflags.ccopts := !lib_ccopts @ !Clflags.ccopts; (* put user's opts first *)