sv2v.cabal 3.22 KB
Newer Older
1 2
cabal-version: 2.4

3
name: sv2v
Zachary Snow committed
4
version: 0.0.12
5 6
synopsis: SystemVerilog to Verilog conversion
description:
7 8 9
  A tool for coverting SystemVerilog to Verilog. Originally forked from the
  Verilog parser found at https://github.com/tomahawkins/verilog
category: Language, Hardware, Embedded, Development
10

11
author: Zachary Snow <zach@zachjs.com>, Tom Hawkins <tomahawkins@gmail.com>
12
maintainer: Zachary Snow <zach@zachjs.com>
13
license: BSD-3-Clause
14
license-file: LICENSE
15
license-files: NOTICE
16 17
homepage: https://github.com/zachjs/sv2v

Zachary Snow committed
18 19 20 21
extra-doc-files:
  README.md
  CHANGELOG.md

22 23 24
executable sv2v
  default-language: Haskell2010
  main-is: sv2v.hs
25
  hs-source-dirs: src
26
  build-tool-depends:
Zachary Snow committed
27 28
    , alex:alex >= 3.2 && < 4
    , happy:happy >= 1.19 && < 2
Zachary Snow committed
29
  build-depends:
30 31 32 33 34 35
    , array
    , base
    , cmdargs
    , containers
    , directory
    , filepath
Zachary Snow committed
36
    , githash
37 38
    , hashable
    , mtl
39
    , vector
Zachary Snow committed
40
  other-modules:
41
    -- SystemVerilog modules
Zachary Snow committed
42 43
    Language.SystemVerilog
    Language.SystemVerilog.AST
44
    Language.SystemVerilog.AST.Attr
45
    Language.SystemVerilog.AST.Decl
46
    Language.SystemVerilog.AST.Description
47
    Language.SystemVerilog.AST.Expr
48
    Language.SystemVerilog.AST.GenItem
49
    Language.SystemVerilog.AST.LHS
50
    Language.SystemVerilog.AST.ModuleItem
51
    Language.SystemVerilog.AST.Number
52 53
    Language.SystemVerilog.AST.Op
    Language.SystemVerilog.AST.ShowHelp
54
    Language.SystemVerilog.AST.Stmt
55
    Language.SystemVerilog.AST.Type
Zachary Snow committed
56
    Language.SystemVerilog.Parser
57
    Language.SystemVerilog.Parser.Keywords
Zachary Snow committed
58 59
    Language.SystemVerilog.Parser.Lex
    Language.SystemVerilog.Parser.Parse
60
    Language.SystemVerilog.Parser.ParseDecl
61
    Language.SystemVerilog.Parser.Preprocess
Zachary Snow committed
62
    Language.SystemVerilog.Parser.Tokens
63
    -- Conversion modules
64
    Convert
65
    Convert.AlwaysKW
66
    Convert.AsgnOp
67
    Convert.Assertion
68
    Convert.BlockDecl
69
    Convert.Cast
70
    Convert.DimensionQuery
Zachary Snow committed
71
    Convert.DoWhile
72
    Convert.DuplicateGenvar
73
    Convert.EmptyArgs
74
    Convert.Enum
75
    Convert.EventEdge
76
    Convert.ExprAsgn
77
    Convert.ExprUtils
78
    Convert.ForAsgn
79
    Convert.Foreach
80
    Convert.FuncRet
81
    Convert.FuncRoutine
82
    Convert.GenvarName
83
    Convert.HierConst
84
    Convert.ImplicitNet
85
    Convert.Inside
86
    Convert.Interface
87
    Convert.IntTypes
88
    Convert.Jump
89
    Convert.KWArgs
90
    Convert.Logic
91
    Convert.LogOp
92
    Convert.MultiplePacked
93
    Convert.NamedBlock
94
    Convert.Package
95
    Convert.ParamNoDefault
96
    Convert.ParamType
97
    Convert.PortDecl
98
    Convert.RemoveComments
99
    Convert.ResolveBindings
100
    Convert.Scoper
101
    Convert.Simplify
102
    Convert.Stream
103
    Convert.StringParam
104
    Convert.StringType
105
    Convert.Struct
106
    Convert.StructConst
107
    Convert.TFBlock
108
    Convert.Traverse
109
    Convert.Typedef
110
    Convert.TypeOf
111
    Convert.UnbasedUnsized
112
    Convert.Unique
113
    Convert.UnnamedGenBlock
114
    Convert.UnpackedArray
115
    Convert.Unsigned
116
    Convert.Wildcard
117
    -- sv2v CLI modules
118
    Job
119
    Split
120
    Paths_sv2v
Zachary Snow committed
121 122
  autogen-modules:
    Paths_sv2v
123
  default-extensions:
124 125
    PatternSynonyms
    TupleSections
126 127 128 129
  ghc-options:
    -O3
    -threaded
    -rtsopts
130
    "-with-rtsopts=-N -A32m"
131 132
    -funbox-strict-fields
    -Wall
Zachary Snow committed
133
    -Wno-incomplete-uni-patterns
134 135 136 137

source-repository head
  type:     git
  location: git://github.com/zachjs/sv2v.git