-
Notifications
You must be signed in to change notification settings - Fork 2
/
package.yaml
60 lines (54 loc) · 1021 Bytes
/
package.yaml
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
name: clash-with-stack
extra-source-files:
- README.md
dependencies:
- base >= 4.7 && < 5
- clash-lib
- clash-prelude
# - clash-cosim
- ghc-typelits-natnormalise
- ghc-typelits-extra
- ghc-typelits-knownnat
- template-haskell
build-tools:
- clash-ghc
default-extensions:
- BinaryLiterals
- ConstraintKinds
- DataKinds
- DeriveAnyClass
- DeriveGeneric
- DeriveLift
- DerivingStrategies
- ExplicitForAll
- ExplicitNamespaces
- FlexibleContexts
- FlexibleInstances
- KindSignatures
- MagicHash
- MonoLocalBinds
- QuasiQuotes
- ScopedTypeVariables
- TemplateHaskellQuotes
- TypeApplications
- TypeFamilies
- TypeOperators
- NoImplicitPrelude
- NoMonomorphismRestriction
- NoStrict
- NoStrictData
- PartialTypeSignatures
- NumDecimals
- NumericUnderscores
- RankNTypes
- OverloadedStrings
- OverloadedLists
- AllowAmbiguousTypes
ghc-options:
- -fplugin=GHC.TypeLits.Normalise
- -fplugin=GHC.TypeLits.Extra.Solver
- -fplugin=GHC.TypeLits.KnownNat.Solver
- -Wall
- -Wno-partial-type-signatures
library:
source-dirs: src