boolector 0.0.0.12 → 0.0.0.13
raw patch · 2 files changed
+5/−22 lines, 2 filessetup-changed
Files
- Setup.hs +1/−13
- boolector.cabal +4/−9
Setup.hs view
@@ -1,14 +1,2 @@ import Distribution.Simple-import Distribution.Types.HookedBuildInfo-import Distribution.Simple.Setup-import Distribution.Simple.Utils (rawSystemExit)--main :: IO ()-main = defaultMainWithHooks simpleUserHooks {- preBuild = preBuildApron- }--preBuildApron :: Args -> BuildFlags -> IO HookedBuildInfo-preBuildApron args flags = do- rawSystemExit (fromFlag $ buildVerbosity flags) "env" ["make", "deps/boolector-dist"]- preBuild simpleUserHooks args flags+main = defaultMain
boolector.cabal view
@@ -1,5 +1,5 @@ name: boolector-version: 0.0.0.12+version: 0.0.0.13 synopsis: Haskell bindings for the Boolector SMT solver description: @@ -15,7 +15,7 @@ author: Deian Stefan, Johannes Waldmann, Armin Biere maintainer: Deian Stefan <deian@cs.ucsd.edu> category: Math, SMT, Theorem Provers, Formal Methods, Bit vectors-build-type: Custom+build-type: Simple cabal-version: >= 1.10 homepage: https://github.com/plsyssec/haskell-boolector bug-reports: https://github.com/plsyssec/haskell-boolector/issues@@ -24,11 +24,6 @@ type: git location: https://github.com/PLSysSec/haskell-boolector.git -custom-setup- setup-depends:- base >=4.7 && <5,- Cabal- library hs-source-dirs: src default-language: Haskell2010@@ -48,8 +43,8 @@ ghc-options: -Wall -fno-warn-orphans build-tools: c2hs - -- extra-libraries: boolector- -- includes: boolector.h+ extra-libraries: boolector+ includes: boolector.h Test-Suite API_Usage_Example default-language: Haskell2010