diff --git a/configure b/configure index 88b8ee7..bf9312f 100755 --- a/configure +++ b/configure @@ -20,7 +20,7 @@ for opt do ;; --mandir=*) mandir="$optarg" ;; - --datadir=*) datadir="$optarg" + --datarootdir=*) datadir="$optarg" ;; --cc=*) cc="$optarg" ;; @@ -28,10 +28,12 @@ for opt do ;; --use-libc) use_libc=yes ;; + --enable-shared) ENABLE_SHARED=1 + ;; + --enable-static) ENABLE_SHARED=0 + ;; *) echo "ERROR: unknown option $opt" - echo "Try '$0 --help' for more information" - exit 1 ;; esac done @@ -130,6 +132,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.