summaryrefslogtreecommitdiff
path: root/bytecomp
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2002-06-07 09:49:45 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2002-06-07 09:49:45 +0000
commita82c3665042b80a0febcbffdf0577cd37de349ff (patch)
tree25ddb7621d275881c1cfa38e6ce0a2b1462270b8 /bytecomp
parent143761a5142bf30a3321ec7b66bf2f4b2620ac30 (diff)
downloadocaml-a82c3665042b80a0febcbffdf0577cd37de349ff.tar.gz
Portage Mingw et revision du portage Win32/MSVC
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp')
-rw-r--r--bytecomp/bytelink.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml
index 6ac77a49bd..6492bf8a32 100644
--- a/bytecomp/bytelink.ml
+++ b/bytecomp/bytelink.ml
@@ -425,8 +425,8 @@ let rec extract suffix l =
;;
let build_custom_runtime prim_name exec_name =
- match Sys.os_type with
- "Unix" | "Cygwin" ->
+ match Config.ccomp_type with
+ "cc" ->
Ccomp.command
(Printf.sprintf
"%s -o %s %s %s %s %s %s -lcamlrun %s"
@@ -440,7 +440,7 @@ let build_custom_runtime prim_name exec_name =
!load_path))
(Ccomp.quote_files (List.rev !Clflags.ccobjs))
Config.bytecomp_c_libraries)
- | "Win32" ->
+ | "msvc" ->
let retcode =
Ccomp.command
(Printf.sprintf
@@ -459,7 +459,7 @@ let build_custom_runtime prim_name exec_name =
remove_file
(Filename.chop_suffix (Filename.basename prim_name) ".c" ^ ".obj");
retcode
- | "MacOS" ->
+ | "mrc" ->
let cppc = "mrc"
and libsppc = "\"{sharedlibraries}MathLib\" \
\"{ppclibraries}PPCCRuntime.o\" \