forked from ArgonDesign/acov
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathacov.cabal
118 lines (111 loc) · 4.01 KB
/
acov.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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
-- Initial acov.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: acov
version: 0.2.1.0
license: BSD3
license-file: LICENSE
author: Rupert Swarbrick
maintainer: [email protected]
copyright: Argon Design
category: Development
build-type: Custom
extra-source-files: ChangeLog.md
cabal-version: >=1.10
data-files: data/acov.css
synopsis: A SystemVerilog functional coverage generator
description: acov reads a special input and generates code that
tracks functional coverage for user-defined crosses.
This works by either DPI or SystemVerilog coverpoints.
source-repository head
type: git
location: https://github.com/ArgonDesign/acov.git
custom-setup
setup-depends: Cabal
, base
, directory >= 1.2
, process >= 1.1.0.2
library
exposed-modules: Ranged
, ErrorsAnd
, ErrorsOr
, Hashable
, Operators
, VInt
, CList
, Count
, IvlList
, RangeList
, Cross
, Parser
, Grouping
, SymbolTable
, Symbols
, Expressions
, Width
, Frontend
, BuildVersion
build-depends: base >=4.6.0.1 && <4.12
, array >= 0.4
, containers >= 0.5
, parsec >= 3.1.0
, transformers >= 0.3.0
hs-source-dirs: src/frontend
default-language: Haskell2010
ghc-options: -fwarn-incomplete-patterns
Test-Suite test-acov
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules: TestRangeList
build-depends: base >=4.6.0.1 && <4.12
, test-framework >= 0.8.0.3
, test-framework-hunit >= 0.3
, test-framework-quickcheck2 >= 0.3.0
, HUnit >= 1.2.5
, QuickCheck >= 2.6
, parsec >= 3.1.0
, containers >= 0.5
, acov
hs-source-dirs: src/test-acov
default-language: Haskell2010
ghc-options: -fwarn-incomplete-patterns
executable acov
main-is: Main.hs
other-modules: Verilog
, Printer
, DPI
, SV
, BuildVersion
build-depends: base >=4.6.0.1 && <4.12
, array >= 0.4
, containers >= 0.5
, directory >= 1.2
, filepath >= 1.3
, optparse-applicative >= 0.7
, acov
hs-source-dirs: src/acov
default-language: Haskell2010
ghc-options: -fwarn-incomplete-patterns
executable acov-report
main-is: Main.hs
other-modules: Raw
, Merge
, CountPass
, Time
, Report
, BuildVersion
, Paths_acov
build-depends: base >=4.6.0.1 && <4.12
, array >= 0.4
, containers >= 0.5
, directory >= 1.2
, filepath >= 1.3
, optparse-applicative >= 0.7
, parsec >= 3.1.0
, time >= 1.4.0
, acov
hs-source-dirs: src/acov-report
default-language: Haskell2010
ghc-options: -fwarn-incomplete-patterns
other-extensions: CPP
if impl(ghc <= 7.6.3)
build-depends: old-locale >= 1.0.0.5