summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDeianStefan <>2020-08-20 17:53:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2020-08-20 17:53:00 (GMT)
commit3e41e2ee41c495015c10a26ae7cfed216d5e7b5b (patch)
tree6cef014e8e13f4016ae29c6ab6ffde22020ff7c9
parent2b77d1e59b3cb754ba8f31847639c65737433610 (diff)
version 0.0.0.13HEAD0.0.0.13master
-rw-r--r--Setup.hs14
-rw-r--r--boolector.cabal13
2 files changed, 5 insertions, 22 deletions
diff --git a/Setup.hs b/Setup.hs
index 11ec908..9a994af 100644
--- a/Setup.hs
+++ b/Setup.hs
@@ -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
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