config_query_option  OCAML_OPTS  "Use POSIX threads?"  y \
                                 "--with-pthread" "-no-pthread"
config_query_option  OCAML_OPTS  "Configure support for shared libraries?" y \
                                 "" "-no-shared-libs"

