bootstrap.sh: install profiling and shared libs.

Fixes #2009.

cabal-install/README.md

@@ -52,9 +52,12 @@ As a convenience for users on Unix-like systems, there is a
 
     $ ./bootstrap.sh
 
-It will download and install the dependencies. The script will install
-the library packages into `$HOME/.cabal/` and the `cabal` program into
-`$HOME/.cabal/bin/`.
+It will download and install the dependencies. The script will install the
+library packages (vanilla, profiling and shared) into `$HOME/.cabal/` and the
+`cabal` program into `$HOME/.cabal/bin/`. If you don't want to install profiling
+and shared versions of the libraries, use
+
+    $ EXTRA_CONFIGURE_OPTS="" ./bootstrap.sh
 
 You then have the choice either to place `$HOME/.cabal/bin` on your
 `$PATH` or move the `cabal` program to somewhere on your `$PATH`. Next,

cabal-install/bootstrap.sh

@@ -6,9 +6,13 @@
 # HTTP packages. It then installs cabal-install itself.
 # It expects to be run inside the cabal-install directory.
 
-# install settings, you can override these by setting environment vars
+# Install settings, you can override these by setting environment vars. E.g. if
+# you don't want profiling and dynamic versions of libraries to be installed in
+# addition to vanilla, run 'EXTRA_CONFIGURE_OPTS="" ./bootstrap.sh'
+
 #VERBOSE
-#EXTRA_CONFIGURE_OPTS
+DEFAULT_CONFIGURE_OPTS="--enable-library-profiling --enable-shared"
+EXTRA_CONFIGURE_OPTS=${EXTRA_CONFIGURE_OPTS-$DEFAULT_CONFIGURE_OPTS}
 #EXTRA_BUILD_OPTS
 #EXTRA_INSTALL_OPTS