1
+ { system
2
+ , compiler
3
+ , flags
4
+ , pkgs
5
+ , hsPkgs
6
+ , pkgconfPkgs
7
+ , errorHandler
8
+ , config
9
+ , ... } :
10
+ {
11
+ flags = { test-different-solvers = false ; } ;
12
+ package = {
13
+ specVersion = "1.12" ;
14
+ identifier = { name = "call-alloy" ; version = "0.5" ; } ;
15
+ license = "MIT" ;
16
+ copyright = "2019-2024 Marcellus Siegburg" ;
17
+
18
+ author = "Marcellus Siegburg" ;
19
+ homepage = "https://github.com/marcellussiegburg/call-alloy#readme" ;
20
+ url = "" ;
21
+ synopsis = "A simple library to call Alloy given a specification" ;
22
+ description = "Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>" ;
23
+ buildType = "Simple" ;
24
+ } ;
25
+ components = {
26
+ "library" = {
27
+ depends = [
28
+ ( hsPkgs . "async" or ( errorHandler . buildDepError "async" ) )
29
+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
30
+ ( hsPkgs . "bytestring" or ( errorHandler . buildDepError "bytestring" ) )
31
+ ( hsPkgs . "containers" or ( errorHandler . buildDepError "containers" ) )
32
+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
33
+ ( hsPkgs . "exceptions" or ( errorHandler . buildDepError "exceptions" ) )
34
+ ( hsPkgs . "extra" or ( errorHandler . buildDepError "extra" ) )
35
+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
36
+ ( hsPkgs . "process" or ( errorHandler . buildDepError "process" ) )
37
+ ( hsPkgs . "split" or ( errorHandler . buildDepError "split" ) )
38
+ ( hsPkgs . "transformers" or ( errorHandler . buildDepError "transformers" ) )
39
+ ( hsPkgs . "trifecta" or ( errorHandler . buildDepError "trifecta" ) )
40
+ ] ++ ( if system . isWindows
41
+ then [ ( hsPkgs . "Win32" or ( errorHandler . buildDepError "Win32" ) ) ]
42
+ else [ ( hsPkgs . "unix" or ( errorHandler . buildDepError "unix" ) ) ] ) ;
43
+ buildable = true ;
44
+ } ;
45
+ tests = {
46
+ "call-alloy-test" = {
47
+ depends = [
48
+ ( hsPkgs . "async" or ( errorHandler . buildDepError "async" ) )
49
+ ( hsPkgs . "base" or ( errorHandler . buildDepError "base" ) )
50
+ ( hsPkgs . "bytestring" or ( errorHandler . buildDepError "bytestring" ) )
51
+ ( hsPkgs . "call-alloy" or ( errorHandler . buildDepError "call-alloy" ) )
52
+ ( hsPkgs . "containers" or ( errorHandler . buildDepError "containers" ) )
53
+ ( hsPkgs . "directory" or ( errorHandler . buildDepError "directory" ) )
54
+ ( hsPkgs . "exceptions" or ( errorHandler . buildDepError "exceptions" ) )
55
+ ( hsPkgs . "extra" or ( errorHandler . buildDepError "extra" ) )
56
+ ( hsPkgs . "file-embed" or ( errorHandler . buildDepError "file-embed" ) )
57
+ ( hsPkgs . "filepath" or ( errorHandler . buildDepError "filepath" ) )
58
+ ( hsPkgs . "hspec" or ( errorHandler . buildDepError "hspec" ) )
59
+ ( hsPkgs . "process" or ( errorHandler . buildDepError "process" ) )
60
+ ( hsPkgs . "split" or ( errorHandler . buildDepError "split" ) )
61
+ ( hsPkgs . "string-interpolate" or ( errorHandler . buildDepError "string-interpolate" ) )
62
+ ( hsPkgs . "transformers" or ( errorHandler . buildDepError "transformers" ) )
63
+ ( hsPkgs . "trifecta" or ( errorHandler . buildDepError "trifecta" ) )
64
+ ] ++ ( if system . isWindows
65
+ then [ ( hsPkgs . "Win32" or ( errorHandler . buildDepError "Win32" ) ) ]
66
+ else [ ( hsPkgs . "unix" or ( errorHandler . buildDepError "unix" ) ) ] ) ;
67
+ buildable = true ;
68
+ } ;
69
+ } ;
70
+ } ;
71
+ }
0 commit comments