diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-06 14:53:25 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-06 14:53:25 +0000 |
| commit | 4002f22cdd8da7c91ed65aa133dbe9f7293d6f1e (patch) | |
| tree | debdc46480728e04a4bb0ab84a4a3d60780fcb89 | |
| parent | 0a2cf979a73ae4c76a0c25d7da99841a356bd343 (diff) | |
propage l'option -pthread (Free/OpenBSD)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/ocamlmklib.tpl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/ocamlmklib.tpl b/tools/ocamlmklib.tpl index e21b549c0..39806462d 100644 --- a/tools/ocamlmklib.tpl +++ b/tools/ocamlmklib.tpl @@ -70,6 +70,8 @@ while :; do -oc) output_c="$2" shift;; + -pthread) + c_opts_caml="$c_opts_caml -ccopt $1";; -*) echo "Unknown option '$1', ignored" 1>&2;; *) @@ -84,10 +86,12 @@ set -e if %%SUPPORTS_SHARED_LIBRARIES%%; then if test "$bytecode_objs" != ""; then - $ocamlc -a -o $output.cma $caml_opts $bytecode_objs -cclib -l$output_c $caml_libs + $ocamlc -a -o $output.cma $caml_opts $bytecode_objs \ + -cclib -l$output_c $caml_libs $c_opts_caml fi if test "$native_objs" != ""; then - $ocamlopt -a -o $output.cmxa $caml_opts $native_objs -cclib -l$output_c $caml_libs + $ocamlopt -a -o $output.cmxa $caml_opts $native_objs \ + -cclib -l$output_c $caml_libs $c_opts_caml fi if test "$c_objs" != ""; then %%MKSHAREDLIB%% lib$output_c.so $c_objs $c_opts $c_libs |