Skip to content

Commit

Permalink
fixup Optional libraries - use --without and add -lib
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Sep 22, 2018
1 parent 108f5cc commit b7820fa
Showing 1 changed file with 11 additions and 7 deletions.
18 changes: 11 additions & 7 deletions configure
Expand Up @@ -168,11 +168,11 @@ while : ; do
-no-graph|--no-graph) graph_wanted=no;;
-without-graphics-libs|--without-graphics-lib) graph_wanted=no;;
-with-graphics-lib|--with-graphics-lib) graph_wanted=yes;;
-no-unix|--no-unix) unix_wanted=no;;
-with-unix|--with-unix) ;; # Default is to build
-no-str|--no-str) str_wanted=no;;
-with-str|--with-str) ;; # Default is to build
-no-vmthreads|--no-vmthreads) vmthreads_wanted=no;;
-without-unix-lib|--without-unix-lib) unix_wanted=no;;
-with-unix-lib|--with-unix-lib) ;; # Default is to build
-without-str-lib|--without-str-lib) str_wanted=no;;
-with-str-lib|--with-str-lib) ;; # Default is to build
-without-vmthreads|--without-vmthreads) vmthreads_wanted=no;;
-with-vmthreads|--with-vmthreads) vmthreads_wanted=yes;;
-without-systhreads|--without-systhreads) pthread_wanted=no;;
-with-systhreads|--with-systhreads) pthread_wanted=yes;;
Expand All @@ -196,12 +196,16 @@ while : ; do
with_instrumented_runtime=true;;
-no-instrumented-runtime|--no-instrumented-runtime)
with_instrumented_runtime=false;;
-debugger|--debugger)
-with-debugger|--with-debugger)
with_debugger="yes";;
-without-debugger|--without-debugger)
with_debugger="no";;
-no-debugger|--no-debugger)
with_debugger="no";;
-ocamldoc|--ocamldoc)
-with-ocamldoc|--with-ocamldoc)
with_ocamldoc="yes";;
-without-ocamldoc|--without-ocamldoc)
with_ocamldoc="no";;
-no-ocamldoc|--no-ocamldoc)
with_ocamldoc="no";;
-no-ocamlbuild|--no-ocamlbuild)
Expand Down

0 comments on commit b7820fa

Please sign in to comment.