diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-05 20:26:19 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-05 20:26:19 +0000 |
| commit | 258c929f64adc92812b7d966a07ef9712686e54a (patch) | |
| tree | b61d46ba69aad98c6bcbab4e7eaea5648a41dc7e /asmcomp/compilenv.ml | |
| parent | b1b67be7ad15b951b0debb039304af2a8fb37ceb (diff) | |
| download | ocaml-258c929f64adc92812b7d966a07ef9712686e54a.tar.gz | |
PR#1914,PR#1956, suppression du portage Mac OS 9
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/compilenv.ml')
| -rw-r--r-- | asmcomp/compilenv.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index 647501b878..21833342f8 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -77,7 +77,13 @@ let reset name = current_unit.ui_force_link <- false let current_unit_name () = - "caml" ^ current_unit.ui_name + current_unit.ui_name + +let make_symbol ?(unitname = current_unit.ui_name) idopt = + let prefix = "caml" ^ unitname in + match idopt with + | None -> prefix + | Some id -> prefix ^ "__" ^ id let read_unit_info filename = let ic = open_in_bin filename in |