/
HerbiePlugin.cabal
152 lines (118 loc) · 3.95 KB
/
HerbiePlugin.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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
-- Initial herbie-haskell.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
-- The name of the package.
name: HerbiePlugin
-- The package version. See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary: +-+------- breaking API changes
-- | | +----- non-breaking API additions
-- | | | +--- code changes with no API change
version: 0.2.0.0
-- A short (one-line) description of the package.
synopsis: automatically improve your code's numeric stability
-- A longer description of the package.
description:
This package contains a GHC plugin that automatically improves the numerical stability of your Haskell code.
See <http://github.com/mikeizbicki/HerbiePlugin the github repo> for details on how it works and how to use it.
-- URL for the project homepage or repository.
homepage: github.com/mikeizbicki/herbie-haskell
-- The license under which the package is released.
license: BSD3
-- The file containing the license text.
license-file: LICENSE
-- The package author(s).
author: Mike Izbicki
-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer: mike@izbicki.me
-- A copyright notice.
-- copyright:
category: Math
build-type: Simple
-- Extra files to be distributed with the package, such as examples or a
-- README.
-- extra-source-files:
data-files:
Herbie.db
data-dir:
data
-- Constraint on the version of Cabal needed to build this package.
cabal-version: >=1.10
source-repository head
type: git
location: http://github.com/mikeizbicki/HerbiePlugin
--------------------------------------------------------------------------------
library
-- Modules exported by the library.
exposed-modules:
Herbie
-- Modules included in this library but not exported.
other-modules:
Herbie.CoreManip
Herbie.ForeignInterface
Herbie.MathExpr
Herbie.MathInfo
Herbie.Options
Show
Paths_HerbiePlugin
-- LANGUAGE extensions used by modules in this package.
default-extensions:
MultiWayIf
ScopedTypeVariables
DeriveGeneric
DeriveAnyClass
DeriveDataTypeable
StandaloneDeriving
-- Other library packages from which modules are imported.
build-depends: base >=4.8 && <4.9
, ghc
, template-haskell
, process >= 1.1.0.0
, sqlite-simple
, text
, directory
, deepseq
, mtl
, split
-- Directories containing source files.
hs-source-dirs: src
-- Base language which the package is written in.
default-language: Haskell2010
--------------------------------------------------------------------------------
Test-Suite Tests
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Tests.hs
ghc-options:
-fplugin=Herbie
build-depends:
base,
subhask,
HerbiePlugin
Test-Suite SpecialFunctions
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: SpecialFunctions.hs
ghc-options:
-fplugin=Herbie
build-depends:
base,
subhask,
HerbiePlugin
-- linear
Test-Suite ValidRewrite
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: ValidRewrite.hs
ghc-options:
-fplugin=Herbie
-fplugin-opts=Herbie:tol=0
build-depends:
base,
subhask,
HerbiePlugin
-- linear