-
Notifications
You must be signed in to change notification settings - Fork 0
/
nbis.cabal
36 lines (33 loc) · 992 Bytes
/
nbis.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
Name: nbis
Version: 0.1
Description: A model checker for LLVM code
License: GPL
License-File: LICENSE
Author: Henning Günther <[email protected]>
Build-Type: Custom
Category: Testing
Cabal-Version: >= 1.2
Flag STP
Description: Enable support for the STP solver
Default: False
Flag Boolector
Description: Enable support for the boolector solver
Default: False
Executable nbis
Main-Is: Main.hs
Extensions: CPP,ScopedTypeVariables,GADTs,GeneralizedNewtypeDeriving,ParallelListComp,TypeFamilies,FlexibleInstances,RankNTypes,FlexibleContexts
Other-Modules:
MemoryModel
MemoryModel.Untyped
MemoryModel.Typed
MemoryModel.Plain
MemoryModel.Snow
MemoryModel.Rivers
Build-Depends: base,bindings-llvm,containers,mtl,smtlib2,fgl,tagged,random
if flag(STP)
Build-Depends: smtlib2-stp
Cpp-Options: -DWITH_STP
if flag(Boolector)
Build-Depends: smtlib2-boolector
Cpp-Options: -DWITH_BOOLECTOR
GHC-Options: -fwarn-unused-imports