1+ { system
2+ , compiler
3+ , flags
4+ , pkgs
5+ , hsPkgs
6+ , pkgconfPkgs
7+ , errorHandler
8+ , config
9+ , ... } :
10+ {
11+ flags = { } ;
12+ package = {
13+ specVersion = "1.24" ;
14+ identifier = { name = "eo-phi-normalizer" ; version = "2.1.0" ; } ;
15+ license = "BSD-3-Clause" ;
16+ copyright = "2023-2024 EO/Polystat Development Team" ;
17+ 18+ author = "EO/Polystat Development Team" ;
19+ homepage = "https://github.com/objectionary/eo-phi-normalizer#readme" ;
20+ url = "" ;
21+ synopsis = "Command line normalizer of 𝜑-calculus expressions." ;
22+ description = "Please see the README on GitHub at <https://github.com/objectionary/eo-phi-normalizer#readme>" ;
23+ buildType = "Custom" ;
24+ setup-depends = [
25+ ( hsPkgs . pkgsBuildBuild . Cabal or ( pkgs . pkgsBuildBuild . Cabal or ( errorHandler . setupDepError "Cabal" ) ) )
26+ ( hsPkgs . pkgsBuildBuild . PyF or ( pkgs . pkgsBuildBuild . PyF or ( errorHandler . setupDepError "PyF" ) ) )
27+ ( hsPkgs . pkgsBuildBuild . base or ( pkgs . pkgsBuildBuild . base or ( errorHandler . setupDepError "base" ) ) )
28+ ( hsPkgs . pkgsBuildBuild . process or ( pkgs . pkgsBuildBuild . process or ( errorHandler . setupDepError "process" ) ) )
29+ ] ;
30+ } ;
31+ components = {
32+ "library" = {
33+ depends = [
34+ ( hsPkgs . "PyF" or ( errorHandler . buildDepError "PyF" ) )
35+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
36+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
37+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
38+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
39+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
40+ ( hsPkgs . "bytestring" or ( errorHandler . buildDepError "bytestring" ) )
41+ ( hsPkgs . "cereal" or ( errorHandler . buildDepError "cereal" ) )
42+ ( hsPkgs . "containers" or ( errorHandler . buildDepError "containers" ) )
43+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
44+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
45+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
46+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
47+ ( hsPkgs . "hashable" or ( errorHandler . buildDepError "hashable" ) )
48+ ( hsPkgs . "hspec" or ( errorHandler . buildDepError "hspec" ) )
49+ ( hsPkgs . "hspec-core" or ( errorHandler . buildDepError "hspec-core" ) )
50+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
51+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
52+ ( hsPkgs . "regex-compat" or ( errorHandler . buildDepError "regex-compat" ) )
53+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
54+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
55+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
56+ ( hsPkgs . "unordered-containers" or ( errorHandler . buildDepError "unordered-containers" ) )
57+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
58+ ] ;
59+ build-tools = [
60+ ( hsPkgs . pkgsBuildBuild . BNFC . components . exes . bnfc or ( pkgs . pkgsBuildBuild . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
61+ ( hsPkgs . pkgsBuildBuild . alex . components . exes . alex or ( pkgs . pkgsBuildBuild . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
62+ ( hsPkgs . pkgsBuildBuild . happy . components . exes . happy or ( pkgs . pkgsBuildBuild . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
63+ ] ;
64+ buildable = true ;
65+ } ;
66+ exes = {
67+ "eo-phi-normalizer" = {
68+ depends = [
69+ ( hsPkgs . "PyF" or ( errorHandler . buildDepError "PyF" ) )
70+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
71+ ( hsPkgs . "aeson-pretty" or ( errorHandler . buildDepError "aeson-pretty" ) )
72+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
73+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
74+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
75+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
76+ ( hsPkgs . "bytestring" or ( errorHandler . buildDepError "bytestring" ) )
77+ ( hsPkgs . "cereal" or ( errorHandler . buildDepError "cereal" ) )
78+ ( hsPkgs . "containers" or ( errorHandler . buildDepError "containers" ) )
79+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
80+ ( hsPkgs . "eo-phi-normalizer" or ( errorHandler . buildDepError "eo-phi-normalizer" ) )
81+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
82+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
83+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
84+ ( hsPkgs . "hashable" or ( errorHandler . buildDepError "hashable" ) )
85+ ( hsPkgs . "hspec" or ( errorHandler . buildDepError "hspec" ) )
86+ ( hsPkgs . "hspec-core" or ( errorHandler . buildDepError "hspec-core" ) )
87+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
88+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
89+ ( hsPkgs . "optparse-applicative" or ( errorHandler . buildDepError "optparse-applicative" ) )
90+ ( hsPkgs . "regex-compat" or ( errorHandler . buildDepError "regex-compat" ) )
91+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
92+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
93+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
94+ ( hsPkgs . "unordered-containers" or ( errorHandler . buildDepError "unordered-containers" ) )
95+ ( hsPkgs . "with-utf8" or ( errorHandler . buildDepError "with-utf8" ) )
96+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
97+ ] ;
98+ build-tools = [
99+ ( hsPkgs . pkgsBuildBuild . BNFC . components . exes . bnfc or ( pkgs . pkgsBuildBuild . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
100+ ( hsPkgs . pkgsBuildBuild . alex . components . exes . alex or ( pkgs . pkgsBuildBuild . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
101+ ( hsPkgs . pkgsBuildBuild . happy . components . exes . happy or ( pkgs . pkgsBuildBuild . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
102+ ] ;
103+ buildable = true ;
104+ } ;
105+ } ;
106+ tests = {
107+ "doctests" = {
108+ depends = [
109+ ( hsPkgs . "PyF" or ( errorHandler . buildDepError "PyF" ) )
110+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
111+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
112+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
113+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
114+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
115+ ( hsPkgs . "bytestring" or ( errorHandler . buildDepError "bytestring" ) )
116+ ( hsPkgs . "cereal" or ( errorHandler . buildDepError "cereal" ) )
117+ ( hsPkgs . "containers" or ( errorHandler . buildDepError "containers" ) )
118+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
119+ ( hsPkgs . "doctest-parallel" or ( errorHandler . buildDepError "doctest-parallel" ) )
120+ ( hsPkgs . "eo-phi-normalizer" or ( errorHandler . buildDepError "eo-phi-normalizer" ) )
121+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
122+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
123+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
124+ ( hsPkgs . "hashable" or ( errorHandler . buildDepError "hashable" ) )
125+ ( hsPkgs . "hspec" or ( errorHandler . buildDepError "hspec" ) )
126+ ( hsPkgs . "hspec-core" or ( errorHandler . buildDepError "hspec-core" ) )
127+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
128+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
129+ ( hsPkgs . "regex-compat" or ( errorHandler . buildDepError "regex-compat" ) )
130+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
131+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
132+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
133+ ( hsPkgs . "unordered-containers" or ( errorHandler . buildDepError "unordered-containers" ) )
134+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
135+ ] ;
136+ build-tools = [
137+ ( hsPkgs . pkgsBuildBuild . BNFC . components . exes . bnfc or ( pkgs . pkgsBuildBuild . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
138+ ( hsPkgs . pkgsBuildBuild . alex . components . exes . alex or ( pkgs . pkgsBuildBuild . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
139+ ( hsPkgs . pkgsBuildBuild . happy . components . exes . happy or ( pkgs . pkgsBuildBuild . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
140+ ] ;
141+ buildable = true ;
142+ } ;
143+ "spec" = {
144+ depends = [
145+ ( hsPkgs . "PyF" or ( errorHandler . buildDepError "PyF" ) )
146+ ( hsPkgs . "QuickCheck" or ( errorHandler . buildDepError "QuickCheck" ) )
147+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
148+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
149+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
150+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
151+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
152+ ( hsPkgs . "bytestring" or ( errorHandler . buildDepError "bytestring" ) )
153+ ( hsPkgs . "cereal" or ( errorHandler . buildDepError "cereal" ) )
154+ ( hsPkgs . "containers" or ( errorHandler . buildDepError "containers" ) )
155+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
156+ ( hsPkgs . "eo-phi-normalizer" or ( errorHandler . buildDepError "eo-phi-normalizer" ) )
157+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
158+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
159+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
160+ ( hsPkgs . "hashable" or ( errorHandler . buildDepError "hashable" ) )
161+ ( hsPkgs . "hspec" or ( errorHandler . buildDepError "hspec" ) )
162+ ( hsPkgs . "hspec-core" or ( errorHandler . buildDepError "hspec-core" ) )
163+ ( hsPkgs . "hspec-discover" or ( errorHandler . buildDepError "hspec-discover" ) )
164+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
165+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
166+ ( hsPkgs . "regex-compat" or ( errorHandler . buildDepError "regex-compat" ) )
167+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
168+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
169+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
170+ ( hsPkgs . "unordered-containers" or ( errorHandler . buildDepError "unordered-containers" ) )
171+ ( hsPkgs . "with-utf8" or ( errorHandler . buildDepError "with-utf8" ) )
172+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
173+ ] ;
174+ build-tools = [
175+ ( hsPkgs . pkgsBuildBuild . BNFC . components . exes . bnfc or ( pkgs . pkgsBuildBuild . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
176+ ( hsPkgs . pkgsBuildBuild . alex . components . exes . alex or ( pkgs . pkgsBuildBuild . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
177+ ( hsPkgs . pkgsBuildBuild . happy . components . exes . happy or ( pkgs . pkgsBuildBuild . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
178+ ] ;
179+ buildable = true ;
180+ } ;
181+ } ;
182+ } ;
183+ }
0 commit comments