diff --git a/Omega.cabal b/Omega.cabal
--- a/Omega.cabal
+++ b/Omega.cabal
@@ -1,6 +1,6 @@
 Cabal-Version:		>= 1.2.3 && < 1.9
 Name:			Omega
-Version:		0.2.1
+Version:		0.2.2
 Build-Type:		Custom
 License:		BSD3
 License-File:		LICENSE
@@ -11,8 +11,9 @@
 Description:
         This package provides tools for manipulating sets and relations
         whose members can be represented compactly as a Presburger
-        arithmetic formula.  The primary interface can be found
-        in "Data.Presburger.Omega.Set" and "Data.Presburger.Omega.Rel".
+        arithmetic formula.  Formulae are simplified and solved by the
+        Omega Library.  The primary interface can be found in
+        "Data.Presburger.Omega.Set" and "Data.Presburger.Omega.Rel".
 Category:		Data
 Extra-Source-Files:
 	README
diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -65,15 +65,21 @@
 -------------------------------------------------------------------------------
 -- Configuration
 
-configureOmega pkgDesc flags = do
-  -- Run Cabal configure
-  lbi <- confHook simpleUserHooks pkgDesc flags
+configureOmega pkgDesc originalFlags = do
+  -- Disable unsupported configuratoins
+  when (flagToMaybe (configGHCiLib originalFlags) == Just True) $
+       notice verbosity "** Sorry, this package does not support GHCi.\n\
+                        \** Disabling GHCi library output."
 
-  -- Detect and report error on unsupported configurations
-  when (withGHCiLib lbi) noGHCiLib
+  when (flagToMaybe (configSharedLib originalFlags) == Just True) $
+       notice verbosity "** Sorry, this package does not support \
+                        \shared library output.\n\
+                        \** Disabling shared library output."
 
-  when (withSharedLib lbi) noSharedLib
+  -- Run Cabal configure
+  lbi <- confHook simpleUserHooks pkgDesc flags
 
+  -- Configure programs
   let verb = fromFlagOrDefault Verbosity.normal $ configVerbosity flags
       cfg = withPrograms lbi
       runAutoconf = do rawSystemProgramConf verb autoconfProgram cfg []
@@ -88,6 +94,11 @@
   return lbi
 
     where
+      verbosity = fromFlag $ configVerbosity originalFlags
+      flags = originalFlags { configSharedLib = toFlag False
+                            , configGHCiLib = toFlag False
+                            }
+
       -- Will build the Omega library?
       useInstalledOmega = fromMaybe False $
                           lookup (FlagName "useinstalledomega") $