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 = "0.3.0" ; } ;
15
+ license = "BSD-3-Clause" ;
16
+ copyright = "2023 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 . buildPackages . Cabal or ( pkgs . buildPackages . Cabal or ( errorHandler . setupDepError "Cabal" ) ) )
26
+ ( hsPkgs . buildPackages . base or ( pkgs . buildPackages . base or ( errorHandler . setupDepError "base" ) ) )
27
+ ( hsPkgs . buildPackages . process or ( pkgs . buildPackages . process or ( errorHandler . setupDepError "process" ) ) )
28
+ ] ;
29
+ } ;
30
+ components = {
31
+ "library" = {
32
+ depends = [
33
+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
34
+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
35
+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
36
+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
37
+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
38
+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
39
+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
40
+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
41
+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
42
+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
43
+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
44
+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
45
+ ( hsPkgs . "string-interpolate" or ( errorHandler . buildDepError "string-interpolate" ) )
46
+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
47
+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
48
+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
49
+ ] ;
50
+ build-tools = [
51
+ ( hsPkgs . buildPackages . BNFC . components . exes . bnfc or ( pkgs . buildPackages . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
52
+ ( hsPkgs . buildPackages . alex . components . exes . alex or ( pkgs . buildPackages . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
53
+ ( hsPkgs . buildPackages . happy . components . exes . happy or ( pkgs . buildPackages . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
54
+ ] ;
55
+ buildable = true ;
56
+ } ;
57
+ exes = {
58
+ "normalizer" = {
59
+ depends = [
60
+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
61
+ ( hsPkgs . "aeson-pretty" or ( errorHandler . buildDepError "aeson-pretty" ) )
62
+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
63
+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
64
+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
65
+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
66
+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
67
+ ( hsPkgs . "eo-phi-normalizer" or ( errorHandler . buildDepError "eo-phi-normalizer" ) )
68
+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
69
+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
70
+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
71
+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
72
+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
73
+ ( hsPkgs . "optparse-applicative" or ( errorHandler . buildDepError "optparse-applicative" ) )
74
+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
75
+ ( hsPkgs . "string-interpolate" or ( errorHandler . buildDepError "string-interpolate" ) )
76
+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
77
+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
78
+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
79
+ ] ;
80
+ build-tools = [
81
+ ( hsPkgs . buildPackages . BNFC . components . exes . bnfc or ( pkgs . buildPackages . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
82
+ ( hsPkgs . buildPackages . alex . components . exes . alex or ( pkgs . buildPackages . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
83
+ ( hsPkgs . buildPackages . happy . components . exes . happy or ( pkgs . buildPackages . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
84
+ ] ;
85
+ buildable = true ;
86
+ } ;
87
+ } ;
88
+ tests = {
89
+ "spec" = {
90
+ depends = [
91
+ ( hsPkgs . "QuickCheck" or ( errorHandler . buildDepError "QuickCheck" ) )
92
+ ( hsPkgs . "aeson" or ( errorHandler . buildDepError "aeson" ) )
93
+ ( hsPkgs . "array" or ( errorHandler . buildDepError "array" ) )
94
+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
95
+ ( hsPkgs . "blaze-html" or ( errorHandler . buildDepError "blaze-html" ) )
96
+ ( hsPkgs . "blaze-markup" or ( errorHandler . buildDepError "blaze-markup" ) )
97
+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
98
+ ( hsPkgs . "eo-phi-normalizer" or ( errorHandler . buildDepError "eo-phi-normalizer" ) )
99
+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
100
+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
101
+ ( hsPkgs . "generic-lens" or ( errorHandler . buildDepError "generic-lens" ) )
102
+ ( hsPkgs . "hspec" or ( errorHandler . buildDepError "hspec" ) )
103
+ ( hsPkgs . "hspec-discover" or ( errorHandler . buildDepError "hspec-discover" ) )
104
+ ( hsPkgs . "lens" or ( errorHandler . buildDepError "lens" ) )
105
+ ( hsPkgs . "mtl" or ( errorHandler . buildDepError "mtl" ) )
106
+ ( hsPkgs . "scientific" or ( errorHandler . buildDepError "scientific" ) )
107
+ ( hsPkgs . "string-interpolate" or ( errorHandler . buildDepError "string-interpolate" ) )
108
+ ( hsPkgs . "template-haskell" or ( errorHandler . buildDepError "template-haskell" ) )
109
+ ( hsPkgs . "text" or ( errorHandler . buildDepError "text" ) )
110
+ ( hsPkgs . "yaml" or ( errorHandler . buildDepError "yaml" ) )
111
+ ] ;
112
+ build-tools = [
113
+ ( hsPkgs . buildPackages . BNFC . components . exes . bnfc or ( pkgs . buildPackages . bnfc or ( errorHandler . buildToolDepError "BNFC:bnfc" ) ) )
114
+ ( hsPkgs . buildPackages . alex . components . exes . alex or ( pkgs . buildPackages . alex or ( errorHandler . buildToolDepError "alex:alex" ) ) )
115
+ ( hsPkgs . buildPackages . happy . components . exes . happy or ( pkgs . buildPackages . happy or ( errorHandler . buildToolDepError "happy:happy" ) ) )
116
+ ] ;
117
+ buildable = true ;
118
+ } ;
119
+ } ;
120
+ } ;
121
+ }
0 commit comments