diff --git a/configure b/configure index 3b96cde..56d5cb0 100755 --- a/configure +++ b/configure @@ -18,16 +18,18 @@ for opt do ;; --mandir=*) mandir="$optarg" ;; - --datadir=*) datadir="$optarg" + --datarootdir=*) datadir="$optarg" ;; --cc=*) cc="$optarg" ;; --cxx=*) cxx="$optarg" ;; + --enable-shared) ENABLE_SHARED=1 + ;; + --enable-static) ENABLE_SHARED=0 + ;; *) - echo "ERROR: unknown option $opt" - echo "Try '$0 --help' for more information" - exit 1 + echo "WARNING: unknown option $opt" ;; esac done @@ -119,6 +121,7 @@ echo "# Automatically generated by configure - do not modify" > $config_host_mak printf "# Configured with:" >> $config_host_mak printf " '%s'" "$0" "$@" >> $config_host_mak echo >> $config_host_mak +echo "ENABLE_SHARED=${ENABLE_SHARED}" >> $config_host_mak do_cxx() { # Run the compiler, capturing its output to the log.