Omega 0.2.1 → 0.2.2
raw patch · 2 files changed
+21/−9 lines, 2 filessetup-changed
Files
- Omega.cabal +4/−3
- Setup.hs +17/−6
Omega.cabal view
@@ -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
Setup.hs view
@@ -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") $