diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-10-06 12:35:50 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-10-06 12:35:50 +0000 |
| commit | 66343c894bbac8b8ab0d0acf33855f402a58113a (patch) | |
| tree | 5c35746d79df2e4b7c12772decd90fb341ece301 | |
| parent | 12e6fe3ffacf36884b0bbb98cd129e18af743092 (diff) | |
architectures sans librairies partagees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | asmcomp/asmlink.ml | 1 | ||||
| -rw-r--r-- | bytecomp/bytelink.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index 0bc18350a..80eeaae06 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -234,6 +234,7 @@ let call_linker file_list startup_file = | _ -> if not !Clflags.output_c_object then let rpath = + if Config.bytecomp_c_rpath = "" then "" else String.concat ":" (List.filter ((<>) "") (!Clflags.dllpaths @ diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 3028efb43..c0cffe6a1 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -406,6 +406,7 @@ let build_custom_runtime prim_name exec_name = match Sys.os_type with "Unix" | "Cygwin" -> let rpath = + if Config.bytecomp_c_rpath = "" then "" else String.concat ":" (List.filter ((<>) "") (!Clflags.dllpaths @ |