summaryrefslogtreecommitdiff
path: root/boolector.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'boolector.cabal')
-rw-r--r--boolector.cabal13
1 files changed, 4 insertions, 9 deletions
diff --git a/boolector.cabal b/boolector.cabal
index d254855..54e9290 100644
--- a/boolector.cabal
+++ b/boolector.cabal
@@ -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 @@ license-file: LICENSE
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 @@ source-repository head
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 @@ library
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